Inductive logic programming (ILP) symbolic AI
noun phrase
Definition: An approach to machine learning in which background knowledge, positive examples, and negative examples are represented in predicate logic, and the system learns a logic-based hypothesis (typically in Prolog-like form) that explains the positive examples while excluding the negative ones [Raynor 1999].
Example in context: “Inductive logic programming (ILP) is a form of machine learning.” [A. Cropper 2022].
Synonyms: ILP; relational machine learning (in some contexts)
Related terms: logic programming, inductive reasoning, Prolog, first-order learning