Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40236
Titel: | Reducing the Derivation of Redundant Clauses in Reasoning Systems |
VerfasserIn: | Socher-Ambrosius, Rolf |
Sprache: | Englisch |
Erscheinungsjahr: | 1989 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question how the derivation of redundant clauses, such as duplicates or instances of already retained clauses, can be substantially reduced. The second one asks for a criterion to decide, which clauses need not be tested for reduncancy. In this paper we consider a particular kind of reduncancy, which we call ancestor subsumption, that is the subsumption of a resolvent by one of its ancestors. We give a complete syntactic characterization of clause sets producing ancestor subsumed clauses. This characterization partially answers the two questions. First, if a clause set is known to exclude ancestor subsumption, linear resolution turns out to be a preferable strategy in order to reduce the generation of subsumed clauses. Concerning the second question, this result allows a suitable restriction of the (usually very expensive) subsumption test. Finally, we show that in particular cases those clauses that account for the occurrence of ancestor subsumption can be excluded from the resolution process. SAM’s lemma will serve as an example for demonstrating various possibilities to remove reduncancy-generating clauses. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-402363 hdl:20.500.11880/37676 http://dx.doi.org/10.22028/D291-40236 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 89,4 |
Datum des Eintrags: | 22-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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-89-04_Socher=Ambrosius_Reducing-the-Derivation-of-Redundant-Clauses in-Reasoning-Systems.pdf | 1,35 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.