Apprentissage de programmes logiques avec contraintes : le systeme ic-log

par Marc Bernard

Thèse de doctorat en Sciences appliquées

Sous la direction de FRANCOIS JACQUENET.

Soutenue en 1998

à Dijon .

mots clés

Résumé

L'intelligence artificielle est une discipline visant a doter les machines d'un comportement intelligent. A ce titre, elle s'interesse principalement a trois facettes de l'intelligence humaine : la connaissance, le raisonnement, et l'apprentissage. Cette these traite d'une technique d'apprentissage, la programmation logique inductive (pli). La pli a pour objet d'apprendre un modele general d'un concept - sous la forme d'un programme logique - a partir d'un ensemble d'observations decrivant des instances de ce concept. Les programmes appris heritent des limitations classiques de la programmation logique lorsqu'il s'agit de traiter des problemes numeriques fortement combinatoires. C'est pourquoi, a l'instar de la programmation logique qui a evolue vers la programmation logique avec contraintes, la pli s'oriente actuellement vers l'induction de programmes logiques avec contraintes. Les systemes d'induction de programmes logiques avec contraintes developpes ces dernieres annees reposent tous sur la semantique normale de la pli. Nous presentons une nouvelle methode d'induction de programmes logiques avec contraintes basee sur une extension de la semantique non monotone de la pli. Le systeme ic-log, que nous avons developpe sur la base de ce formalisme, dispose d'un biais declaratif 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'egalite lineaires, et un ensemble de contraintes non lineaires. Nous avons valide notre approche en utilisant le systeme ic-log en publication assistee par ordinateur dans le cadre d'un quotidien regional. Dans un journal, la mise en page est realisee par les secretaires de redaction selon leur sens de l'esthetique. L'objectif de cette application est de modeliser le style d'un secretaire de redaction a partir d'un ensemble de pages qu'il a compose.

Pas de résumé disponible.