Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38412
Titel: | The Markgraf Karl Refutation Procedure PLL: a First-Order Language for an Automated Theorem Prover |
VerfasserIn: | Walther, Christoph |
Sprache: | Englisch |
Erscheinungsjahr: | 1982 |
Erscheinungsort: | Karlsruhe |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | The PREDICATE LOGIC LANGUAGE (PLL), a formal language in which first-order predicate logic formulas are formulated, is described. In PLL axioms and theorems are represented which are given to the MARKGRAF KARL REFUTATION PROCEDURE. Certain expressions of PLL which reflect the special facilities of this system are exhibited, viz. - an inference mechanism based on a many-sorted calculus, - the incorporation of special axioms into the inference mechanism, and - the control of the inference mechanism using special derivation strategies. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-384122 hdl:20.500.11880/35037 http://dx.doi.org/10.22028/D291-38412 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 82,35 |
Datum des Eintrags: | 30-Jan-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 Memo 82-35-IB_Walther_The-Markgraf-Karl-Refutation-Procedure-PLL.pdf | 19,14 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.