Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
Gerhard Lakemeyer · 2002
In previous work, Levesque proposed an evaluation-based reasoning procedure for socalled proper KBs, equivalent to a possibly incomplete possibly infinite set of function-free ground literals. The procedure, called V; preserved the efficiency and logical soundness of database query evaluation. Moreover, if the query was constrained to be in a special normal form, V was also logically complete. In this paper, we propose an extension to this work to handle disjunctive information in a KB. We define a query evaluation procedure X that generalizes V to deal with KBs that are equivalent to a possibly infinite set of function-free ground clauses.