Please use this identifier to cite or link to this item:
Title: SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
Authors: Loveland, Donald
Yahya, Adnan
Issue Date: Dec-2001
Publisher: ResearchGate
Abstract: SATCHMORE was introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO. This made it possible to avoid invoking some clauses that appear in no refutation, which was a ma jor drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire set of negative clauses and no distinction is accorded to the query negation. Under unfavorable circumstances, such as in the presence of large amounts of negative data, this can reduce the e ciency of SATCHMORE. In this paper we introduce a further re nement of SATCHMO called SATCHMOREBID: SATCHMORE with BIDirectional relevancy. SATCHMOREBID uses only the negation of the query for relevancy determination at the start. Other negative clauses are introduced on demand and only if a refutation is not possible using the current set of negative clauses. The search for the relevant negative clauses is performed in a forward chaining mode as opposed to relevancy propagation in SATCHMORE which is based on backward chaining. SATCHMOREBID is shown to be refutationally sound and complete. Experiments on a prototype SATCHMOREBID implementation point to its potential to enhance the e ciency of the query answering process in disjunctive databases
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat
SATCHMOREBID_SATCHMORE_with_BIDirectional_relevanc.pdf393.03 kBAdobe PDFView/Open
Show full item record

Page view(s)

Last Week
Last month
checked on Jun 27, 2024


checked on Jun 27, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.