Assertion Level Proof Planning with Compiled Strategies
- Urheber: Dietrich, Dr. Dominik
- Verfügbarkeit: Auf Lager
- EAN: 9783863760199
€39,90
This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus...
This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.
Details
- Titel: Assertion Level Proof Planning with Compiled Strategies
- Autor: Dr. Dominik Dietrich
- Auflage: 1. Auflage
- Hochschule: Universität des Saarlandes
- Erschienen: 1. Aufl. 10.08.2012
- Fachbereich: Elektro- & Informationstechnik
- Produkttyp: Buch (Gebunden)
- Produktart: Dissertation
- Sprache: Englisch
- Einband: Softcover (Paperback)
- Maße: 21,0 x 14,8 cm (DIN A5)
- Umfang: XX / 341 Seiten
- Zustand: Neu (eingeschweißt in Folie)
- Keywords: assertion level, backward aplication, CORE, declarative proof, declarative tactic, deduction modul, deep aplication, deep inference, inference paradigm, level proof, proof planning, proof refinement, proof scripts, proof strategies, proof theory, tautologies
Autor
Dominik Dietrich was born in 1980 in Saarbrücken, Germany. He studied Computer science and Mathematics at Saarland University in Saarbrücken, where he earned his Ph.D in 2011 under the supervision of Jörg Siekmann. His research focuses on automated reasoning, formal methods, and semantic based data and process management. Dominik is currently working as a researcher in the Cyber Physical Systems department of the German Research Center for Artificial Intelligence (DFKI) in Bremen.
Downloads
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.