inductive logic programming

Inductive logic programming (ILP) is a subfield of machine learning  which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive an hypothesised logic program which entails all the positive and none of the negative examples.
See more at Wikipedia.org...

La programmation logique inductive (PLI) est une approche de l'apprentissage automatique qui utilise les techniques de la programmation logique. A partir d'une base de faits et de résultats attendus, divisés en exemples positifs et négatifs, un système de PLI essaie de déduire un programme logique qui confirme les exemples positifs et infirme les exemples négatifs.
Pour la suite, voir Wikipédia.org…