Learning Sets of Rules

• Motivation
• Sequential Covering
• Sequential Covering Algorithm
• How to Learn-One-Rule
• General to Specific Beam Search
• Variation
• Design Choices in Learning Rule Sets
• Exhaustive Rule Learning - Brute
• Other Brute Features
• Learning First Order Rules
• First Order Horn Clauses
• Terminology
• FOIL
• FOIL Algorithm
• Differences between FOIL & Sequential COvering
• Generating Candidate Specializations
• Example
• Guiding Search in FOIL
• Evaluation Function
• Learning Recursive Rule Sets
• Summary of FOIL
• Induction as Inverted Deduction
• Example
• Inverse Entailment Operators
• Inverting Resolution
• Resolution
• First Order Resolution
• Example
• 1st Order Resolution Rule
• Inverting First Order Resolution
• Inverse Example
• Summary Inverse Resolution
• Generalization,Subsumption,Entailment
• Inverse Example
• Progol
• Summary