This chapter introduces Inductive Logic Programming (ILP) and Learning Language in Logic (LLL). No previous knowledge of logic programming, ILP or LLL is assumed. Elementarytopics are covered and more advanced topics are discussed. For example, in the ILP section we discuss subsumption, inverse resolution, least general generalisation, relative least general generalisation, inverse entailment, saturation, refinement and abduction. We conclude with an overview of this volume and pointers to future work.
|Title of host publication||Learning Language in Logic|
|Number of pages||34|
|Publication status||Published - 1999|
|Name||Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence|
Dzeroski, S., & Cussens, J. (1999). An Introduction to Inductive Logic Programming and Learning Language in Logic. In Learning Language in Logic (Vol. 1925/2000, pp. 3-36). (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/3-540-40030-3_1