Please use this identifier to cite or link to this item:
DC FieldValueLanguage
dc.contributor.authorLoveland, Donald-
dc.contributor.authorYahya, Adnanen_US
dc.description.abstractSATCHMORE 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-
dc.subject.lcshDeductive databases-
dc.subject.lcshQuestion-answering systems-
dc.subject.lcshDatabase searching-
dc.subject.lcshOptimality theory (Linguistics) - Computer program-
dc.subject.lcshComputational linguistics-
dc.subject.lcshSemantics - Data processing-
dc.subject.lcshAutomatic theorem proving-
dc.subject.lcshLogic, Symbolic and mathematical - Congresses-
dc.titleSATCHMOREBID: SATCHMO(RE) with BIDirectional relevancyen_US
newfileds.departmentEngineering and Technologyen_US
item.fulltextWith Fulltext-
Appears in Collections:Fulltext Publications
Files in This Item:
File Description SizeFormat
SATCHMOREBID_SATCHMORE_with_BIDirectional_relevanc.pdf393.03 kBAdobe PDFView/Open
Show simple item record

Page view(s)

Last Week
Last month
checked on May 11, 2022


checked on May 11, 2022

Google ScholarTM


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