La programmation logique inductive (ILP de l'anglais Inductive Logic Programming) est un sous-domaine de l'apprentissage automatique basée sur la programmation logique. En ILP, on représente dans un formalisme logique à la fois les exemples, les hypothèses et les connaissances expertes. Le terme inductive fait ici référence à la notion philosophique et logique d'induction (le fait de suggérer une théorie pour expliquer des faits observés) plutôt qu'à son pendant mathématique (le fait de prouver une propriété pour tous les membres d'un ensemble bien fondé).
À partir d'un ensemble de connaissances préalables et de résultats attendus, divisés en exemples positifs et négatifs, un système ILP déduit un programme logique hypothétique qui confirme les exemples positifs et infirme les exemples négatifs. On peut résumer le principe de fonctionnement d'un système ILP par le schéma suivant : exemples positifs + exemples négatifs + connaissances préalables ⇒ programme hypothétique.
La programmation logique inductive est particulièrement utile en bio-informatique et pour le traitement automatique du langage naturel.
Historique Gordon Plotkin et ont posé les fondations théoriques de l'apprentissage automatique inductif dans un contexte logique. Shapiro, Ehud Y. Inductive inference of theories from facts, Research Report 192, Yale University, Department of Computer Science, 1981. Reprinted in J.-L. Lassez, G. Plotkin (Eds.), Computational Logic, The MIT Press, Cambridge, MA, 1991, pp. 199–254. Shapiro, Ehud Y. (1983). Algorithmic program debugging. Cambridge, Mass: MIT Press. . Shapiro créa une première implémentation (Model Inference System) en 1981 Shapiro, Ehud Y. "The model inference system." Proceedings of the 7th international joint conference on Artificial intelligence-Volume 2. Morgan Kaufmann Publishers Inc., 1981.: un programme Prolog capable d'inférer par induction un programme logique à partir d'exemples positifs et négatifs.
Le terme programmation logique inductive (en anglais Inductive Logic Programming) fut utilisé pour la première fois Luc De Raedt. A Perspective on Inductive Logic Programming. The Workshop on Current and Future Trends in Logic Programming, Shakertown, to appear in Springer LNCS, 1999. CiteSeerX: dans un article de en 1991. Muggleton est aussi à l'origine de la création de la conférence internationale de programmation logique inductive, un événement annuel. Il a défini les notions théoriques d'invention de prédicat, de résolution inversée et d'implication inversée. Le système développé par Muggleton implémente l'implication inversée.
Notes et références Notes
Références
Articles liés Unification Anti-unification
Catégorie:Intelligence artificielle Catégorie:Langage de programmation logique Catégorie:Programmation informatique Catégorie:Apprentissage automatique