Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41394
Titel: Analogies between Proofs : A Case Study
VerfasserIn: Melis, Erica
Sprache: Englisch
Erscheinungsjahr: 1993
Erscheinungsort: Saarbrücken
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This case study examines in detail the theorems and proofs that are shown by analogy in a mathematical textbook on semigroups and automata, that is widely used as an undergraduate textbook in theoretical computer science at German universities (P. Deussen, Halbgruppen und Automaten, Springer 1971). The study shows the important rôle of restructuring a proof for finding analogous subproofs, and of reformulating a proof for the analogical transformation. It also emphasizes the importance of the relevant assumptions of a known proof, i.e., of those assumptions actually used in the proof. In this document we show the theorems, the proof structure, the sub-problems and the proofs of subproblems and their analogues with the purpose to provide an empirical test set of cases for automated analogy-driven theorem proving. Theorems and their proofs are given in natural language augmented by the usual set of mathematical symbols in the studied textbook. As a first step we encode the theorems in logic and show the actual restructuring. Secondly, we code the proofs in a Natural Deduction calculus such that a formal analysis becomes possible and mention reformulations that are necessary in order to reveal the analogy.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-413942
hdl:20.500.11880/37716
http://dx.doi.org/10.22028/D291-41394
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 93,13
Datum des Eintrags: 27-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-93-13_Melis_Analogies-between-Proofs-A-Case-Study .pdf2,52 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.