Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Inverting the resolution principle
Machine intelligence 12
Duce, an oracle-based approach to constructive induction
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Towards the Integration of Inductive and Nonmonotonic Logic Programming
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Inverse Entailment in Nonmonotonic Logic Programs
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
| Hi-index | 0.00 |
This paper studies the properties of inverse resolution in normal logic programs. The V-operators are known as operations for inductive generalization in definite logic programs. In the presence of negation as failure in a program, however, the V-operators do not work as generalization operations in general and often make a consistent program inconsistent. Moreover, they may destroy the syntactic structure of logic programs such as acyclicity and local stratification. On the procedural side, unrestricted application of the V-operators may lose answers computed in the original program and make queries flounder. We provide sufficient conditions for the V-operators to avoid these problems.