Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40498
Titel: The Markgraf Karl Refutation Procedure
VerfasserIn: Ohlbach, Hans Jürgen
Siekmann, Jörg H.
Sprache: Englisch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: automated deduction
resolution
clause graphs
sorted logics
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving significant mathematical theorems. Our first implementation, the Markgraf Karl Refutation Procedure1 (MKRP) realizes some of the ideas we have developed to this end. It is a general purpose resolution based deduction system that exploits the representation of formulae as a graph (clause graph). The main features are its well tailored selection components, heuristics and control mechanisms for guiding the search for a proof. This paper gives an overview of the system. It summarizes and evaluates our experience with the system in particular, and the logics we use as well as the clause graph approach: as 1990 marks the fifteenth birthday of the system, the time may have come to ask: “Was it worth the effort?”
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-404981
hdl:20.500.11880/37704
http://dx.doi.org/10.22028/D291-40498
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 89,19
Datum des Eintrags: 24-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-89-19_Ohlbach-Siekmann_The-Markgraf-Karl-Refutation-Procedure.pdf78 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.