Theory completion using inverse entailment
(2000)
Book Chapter
Muggleton, S., & Bryant, C. (2000). Theory completion using inverse entailment. In J. Cussens, & A. Frisch (Eds.), Inductive Logic Programming (130-146). London, UK: Springer. https://doi.org/10.1007/3-540-44960-4_8
The main real-world applications of Inductive Logic Programming (ILP) to date involve the "Observation Predicate Learning" (OPL) assumption, in which both the examples and hypotheses define the same predicate. However, in both scientific discovery... Read More about Theory completion using inverse entailment.