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.


References:


Comments:

Add Comment

No comments.