human
Veuillez expliquer ce qu'est la "programmation logique inductive"
gpt
La programmation logique inductive (PLI) est un sous-domaine de l'intelligence artificielle symbolique qui utilise la programmation logique comme représentation uniforme pour des exemples, des connaissances de base et des hypothèses. Étant donné un codage des connaissances de base connues et un ensemble d'exemples représentés sous la forme d'une base de données logique de faits, un système ILP dérivera un programme logique hypothétique qui implique tous les exemples positifs et aucun des exemples négatifs.
La programmation logique inductive est particulièrement utile en bioinformatique et en traitement du langage naturel. Gordon Plotkin et Ehud Shapiro ont posé les bases théoriques initiales de l'apprentissage automatique inductif dans un cadre logique. Shapiro a construit sa première implémentation (Model Inference System) en 1981 : un programme Prolog qui déduit de manière inductive des programmes logiques à partir d'exemples positifs et négatifs. La première implémentation complète de premier ordre de la programmation logique inductive était Theorist en 1986. les idées théoriques d'invention de prédicat, de résolution inverse et d'implication inverse.[10] Muggleton a d'abord implémenté l'implication inverse dans le système PROGOL. Le terme «inductif» fait ici référence à une induction philosophique (c'est-à-dire suggérer une théorie pour expliquer des faits observés) plutôt que mathématique (c'est-à-dire prouver une propriété pour tous les membres d'un ensemble bien ordonné).