System: | Abductive Concept Learning (ACL) |
Code: | SICStus Prolog 2.1 #8 source code, Solaris platform (because of ICL) |
References: | Kakas and Riguzzi 1997 |
Other comments: | needs the system ICL |
ACL learns abductive theories. An abductive theory is a triple where is a logic program, is a set of predicates about which assumptions can be made, called abducibles, and is a set of integrity constraints in the form of denials. The notion of entailment is replaced by that of abductive entailment: a goal is abductively entailed from (we write ) if there exists a set of ground facts ( abductive explanation) such that ( explains ) and ( is consistent with the integrity constraints).
The input of ACL consists of an abductive theory as background knowledge and two sets of ground atoms as positive and negative examples. ACL finds an abductive theory with and such that and , where stands for the conjunction of all positive examples.
Learning abductive theories allows to learn from incomplete knowledge, since abducible predicates can be used in order to represent incomplete knowledge.
The algorithm learns first all the rules and then all the constraints. Rule learning is performed by a top-down ILP algorithm where coverage testing is performed using an abductive proof procedure. The algorithm adopts a beam search strategy and a special heuristic function that gives different weights to examples covered with or without abduction. The output of the rule learning phase is a set of rules and a set of explanations: one explanation (possibly empty) for each positive example and all possible explanations (of which none is empty) for each negative examples. The requirement that no explanation for negative examples is empty is needed in order to be able to exclude all of them in the second phase by learning constraints.
Constraints are learned using ICL. The input to ICL consists of the abductive explanations for positive examples as positive interpretations and the abductive explanations for negative examples as negative interpretations. Rules previously learned together with those from the background knowledge constitute the background knowledge of ICL.