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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.