Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40822
Titel: Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
VerfasserIn: Kerber, Manfred
Präcklein, Axel
Sprache: Englisch
Erscheinungsjahr: 1992
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: problem formulation
theorem proving
tactics
resolution
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: We transform a user-friendly formulation of a problem to a machine-friendly one exploiting the variability of first-order logic to express facts. The usefulness of tactics to improve the presentation is shown with several examples. In particular it is shown how tactical and resolution theorem proving can be combined.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-408223
hdl:20.500.11880/37691
http://dx.doi.org/10.22028/D291-40822
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 92,9
Datum des Eintrags: 23-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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.