Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-41455
Titel: | Adaptation of Declaratively Represented Methods in Proof Planning |
VerfasserIn: | Huang, Xiaorong Kerber, Manfred Cheikhrouhou, Lassaad |
Sprache: | Englisch |
Erscheinungsjahr: | 1995 |
Erscheinungsort: | Saarbrücken |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their domain-specific problem solving knowledge. Such knowledge is, however, intrinsically incomplete. In order to model the human ability of adapting existing methods to new situations we present in this work a declarative approach for representing methods, which can be adapted by so-called meta-methods. Since apparently the success of this approach relies on the existence of general and strong meta-methods, we describe several meta-methods of general interest in detail by presenting the problem solving process of two familiar classes of mathematical problems. These examples should illustrate our philosophy of proof planning as well: besides planning with the current repertoire of methods, the repertoire of methods evolves with experience in that new ones are created by meta-methods which modify existing ones. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-414556 hdl:20.500.11880/37803 http://dx.doi.org/10.22028/D291-41455 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 95,12 |
Datum des Eintrags: | 6-Jun-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-95-12_Huang-Kerber-Cheikhrouhou_Adaptation-of-Declaratively-Represented-Methods-in-Proof-Planning .pdf | 1,42 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.