Analytical Learning
Prolog-EGB(TargetConcept, TraningExamples, DomainTheory)
- LearnedRules = {}
- Pos = the positive examples from TraningExamples.
- for each PositiveExample in Pos that is not covered by LearnedRules do
- Explanation = an explanation in terms of
DomainTheory that Pos satisfies the TargetConcept.
- SufficientConditions = the most general set of
features of PositiveExample sufficient to satisfy the
TargetConcept according to the Explanation.
- LearnedRules = LearnedRules + {TargetConcept ← SufficientConditions}.
- return LearnedRules
12 of 29