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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-92-20_Huang-Kerber-Kohlhase_Methods,-The-Basic-Units-for-Planning-and-Verifying-Proofs.pdf | 1,34 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.