Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25677
Titel: Hierarchical contextual reasoning
Verfasser: Autexier, Serge
Sprache: Englisch
Erscheinungsjahr: 2003
SWD-Schlagwörter: Inferenz <Künstliche Intelligenz>
DDC-Sachgruppe: 004 Informatik
Dokumentart : Dissertation
Kurzfassung: Computer supported development of proofs requires user interaction even for theorems that are simple by human standards. In this thesis we define a communication infrastructure as a mediator between the user and the automatic reasoning procedures. It is based on a new uniform meta proof theory for contextual reasoning and encompasses most aspects of communication from the presentation of the proof state, via the supply of relevant contextual information about possible proof continuations, to the support for a hierarchical proof development. The proof theory is uniform for a variety of logics. It exploits proof theoretic annotations in formulas for a contextual reasoning style that is as far as possible intuitive for the user while at the same time still adequate for automatic reasoning procedures. Furthermore, concepts are defined to accomodate both the use and the explicit representation of hierarchies that are inherent in problem solving in general.
Das computergestuetzte Beweisen von Theoremen erfordert den Eingriff des menschlichen Benutzers selbst fuer nach menschlichen Maßstaeben einfache Theoreme. Diese Arbeit definiert eine Kommunikationsplattform, die eine synergetische Kooperationsform des Benutzers mit dem Beweisverfahren ermöglicht.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-1441
hdl:20.500.11880/25733
http://dx.doi.org/10.22028/D291-25677
Erstgutachter: Jörg H. Siekmann
Tag der mündlichen Prüfung: 19-Dez-2003
SciDok-Publikation: 6-Feb-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
SergeAutexier_ProfDrJoergHSiekmann.pdf1,27 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.