Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40905
Titel: Methods : The Basic Units for Planning and Verifying Proofs
VerfasserIn: Huang, Xiaorong
Kerber, Manfred
Kohlhase, Michael
Sprache: Englisch
Erscheinungsjahr: 1992
Erscheinungsort: Saarbrücken
Freie Schlagwörter: Deduction
Planning and Verification
Methods
Declarative and Procedural Knowledge
Tactics
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This paper concerns a knowledge structure called method, within a computational model for human oriented deduction. With human oriented theorem proving cast as an interleaving process of planning and verification, the body of all methods reflects the reasoning repertoire of a reasoning system. While we adopt the general structure of methods introduced by Alan Bundy, we make an essential advancement in that we strictly separate the declarative knowledge from the procedural knowledge. This is achieved by postulating some standard types of knowledge we have identified, such as inference rules, assertions, and proof schemata, together with corresponding knowledge interpreters. Our approach in effect changes the way deductive knowledge is encoded: A new compound declarative knowledge structure, the proof schema, takes the place of complicated procedures for modeling specific proof strategies. This change of paradigm not only leads to representations easier to understand, it also enables us modeling the even more important activity of formulating meta-methods, that is, operators that adapt existing methods to suit novel situations. In this paper, we first introduce briefly the general framework for describing methods. Then we turn to several types of knowledge with their interpreters. Finally, we briefly illustrate some meta-methods.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-409050
hdl:20.500.11880/37697
http://dx.doi.org/10.22028/D291-40905
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 92,20
Datum des Eintrags: 23-Mai-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-92-20_Huang-Kerber-Kohlhase_Methods,-The-Basic-Units-for-Planning-and-Verifying-Proofs.pdf1,34 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.