Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

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.



Add Comment

No comments.