Please use this identifier to cite or link to this item: doi:10.22028/D291-25677
Title: Hierarchical contextual reasoning
Author(s): Autexier, Serge
Language: English
Year of Publication: 2003
SWD key words: Inferenz <Künstliche Intelligenz>
DDC notations: 004 Computer science, internet
Publikation type: Doctoral Thesis
Abstract: 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 to this record: urn:nbn:de:bsz:291-scidok-1441
hdl:20.500.11880/25733
http://dx.doi.org/10.22028/D291-25677
Advisor: Jörg H. Siekmann
Date of oral examination: 19-Dec-2003
Date of registration: 6-Feb-2004
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
SergeAutexier_ProfDrJoergHSiekmann.pdf1,27 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.