# Catalogue of Artificial Intelligence Techniques

View Maths as: Images | MathML

## Inverse Resolution

**Keywords:**
learning

### Categories: Learning

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.

### References:

- 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.

### Comments:

No comments.