Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40247
Titel: | Some Aspects of Analogy in Mathematical Reasoning |
VerfasserIn: | Kerber, Manfred |
Sprache: | Englisch |
Erscheinungsjahr: | 1989 |
Erscheinungsort: | Kaiserslautern |
Freie Schlagwörter: | analogy theorem proving proof plans abstract description |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | An important research problem is the incorporation of “declarative” knowledge into an automated theorem prover that can be utilized in the search for a proof. An interesting proposal in this direction is Alan Bundy’s approach of using explicit proof plans that encapsulate the general form of a proof and is instantiated into a particular proof for the case at hand. We give some examples that show how a “declarative” highlevel description of a proof can be used to find proofs of apparently “similiar” theorems by analogy. This “analogical” information is used to select the appropriate axioms from the database so that the theorem can be proved. This information is also used to adjust some options of a resolution theorem prover. In order to get a powerful tool it is necessary to develop an epistemologically appropriate language to describe proofs, for which a large set of examples should be used as a testbed. We present some ideas in this direction. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-402471 hdl:20.500.11880/36254 http://dx.doi.org/10.22028/D291-40247 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 89,12 |
Datum des Eintrags: | 14-Aug-2023 |
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-89-12_Kerber_Some-Aspects-of-Analogy-in-Mathematical-Reasoning.pdf | 2,86 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.