Apprentissage de programmes logiques avec contraintes : le système IC-Log

par Marc Bernard

Thèse de doctorat en Informatique

Sous la direction de François Jacquenet.

Soutenue en 1998

à Dijon .

mots clés

• Intelligence artificielle
• Publication assistée par ordinateur

Résumé

L'intelligence artificielle est une discipline visant à doter les machines d'un comportement intelligent. A ce titre, elle s'intéresse principalement a trois facettes de l'intelligence humaine : la connaissance, le raisonnement, et l'apprentissage. Cette thèse traite d'une technique d'apprentissage, la programmation logique inductive (PLI). La PLI a pour objet d'apprendre un modèle général d'un concept - sous la forme d'un programme logique - à partir d'un ensemble d'observations décrivant des instances de ce concept. Les programmes appris héritent des limitations classiques de la programmation logique lorsqu'il s'agit de traiter des problèmes numériques fortement combinatoires. C'est pourquoi, à l'instar de la programmation logique qui a évolué vers la programmation logique avec contraintes, la PLI s'oriente actuellement vers l'induction de programmes logiques avec contraintes. Les systèmes d'induction de programmes logiques avec contraintes développés ces dernières années reposent tous sur la sémantique normale de la PLI. Nous présentons une nouvelle méthode d'induction de programmes logiques avec contraintes basée sur une extension de la sémantique non monotone de la PLI. Le systèmeIC-Log, que nous avons développé sur la base de ce formalisme, dispose d'un biais déclaratif qui lui permet de parcourir un espace de recherche contenant des clauses contraintes. IC-Log est ainsi capable d'induire des contraintes sur le domaine des variables, des contraintes d’égalité linéaires, et un ensemble de contraintes non linéaires. Nous avons validé notre approche en utilisant le système IC-Log en publication assistée par ordinateur dans le cadre d'un quotidien régional. Dans un journal, la mise en page est réalisée par les secrétaires de rédaction selon leur sens de l'esthétique. L'objectif de cette application est de modéliser le style d'un secrétaire de rédaction à partir d'un ensemble de pages qu'il a composé.

Titre traduit

Learning constraint logic programs : the IC-Log system

Pas de résumé disponible.