Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40263
Titel: | Deduction Systems Based on Resolution |
VerfasserIn: | Eisinger, Norbert Ohlbach, Hans Jürgen |
Sprache: | Englisch |
Erscheinungsjahr: | 1990 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | A general theory of deduction systems is presented. The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a deduction system: the logic, which establishes a notion of semantic entailment; the calculus which provides the syntactic counterpart of entailment; the logical state transition system, which determines the representation of formulae or sets of formulae together with their interrelationships, and also may allow additional operations reducing the search space; the control, which comprises the strategies and heuristics used to choose the most promising from among all applicable derivation steps. For the last two levels many alternatives are presented and appropriately adjusted notions of soundness, completeness, confluence, and Noetherianness are introduced in order to characterize the properties of particular deduction systems. For more complex deduction systems, where logical and topological phenomena interleave, these properties can be far from obvious. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-402637 hdl:20.500.11880/36269 http://dx.doi.org/10.22028/D291-40263 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 90,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-90-12_Eisinger-Ohlbach_Deduction-Systems-Based-on-Resolution.pdf | 5,08 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.