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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (217 p.)
  • Annexes : Bibliographie : 160 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bourgogne. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : TDDIJON/1998/2

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1998DIJOS002
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.