Catalogue of Artificial Intelligence Techniques
Author(s): Steve Muggleton
This machine learning technique involves the construction of First-order Logic clauses by the inversion of single Resolution steps. Two inverse resolution operators exist, the V and the W. The V operator takes the consequent clause and one of the antecedent clauses of a resolution step and constructs the other antecedent. The W operator takes the consequents of two resolutions which have a common antecedent and constructs all three antecedents, thus introducing a new predicate symbol. Inverse resolution is provably capable of constructing a wide class of theories, including Recursive Theories, given a set of ground unit examples.
- Muggleton, S. and Buntine, W., Machine invention of first-order predicates by inverting resolution.
Proceedings of the Fifth International Conference on Machine Learning
(1988), Morgan Kaufmann, San Mateo, California, 339--352.