Programmation logique inductive
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique.
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.
