|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
On Arbitrary Selection Strategies for Basic Superposition
Aleksic, Vladimir and Degtyarev, Anatoli (2006) On Arbitrary Selection Strategies for Basic Superposition. In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006.
For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.
Repository Staff Only: item control page