Systèmes à contraintes évolutifs en intelligence artificielle

par Christian Bessière

Thèse de doctorat en Informatique

Sous la direction de Michel Habib.

Soutenue en 1992

à Montpellier 2 .


  • Pas de résumé disponible.


  • Résumé

    La premiere partie de cette these constitue un petit rappel des principales methodes de resolution des problemes de satisfaction de contraintes (csp). Dans la deuxieme partie, apres une definition des csp dynamiques (necessaires dans tous les systemes evolutifs qui utilisent les csp), deux algorithmes de maintien de l'arc-consistance dans un csp dynamique sont proposees. La troisieme partie presente les systemes de maintenance de la verite (tms) et notamment ceux bases sur la logique des propositions. Un codage de tms en psq dynamique est donne et l'equivalence entre deduction simple dans un tms (methode la plus utilisee) et arc-consistance dans le codage en csp est montree. Un algorithme de deduction plus performant est fourni, qui utilise une methode de filtrage des csp. La derniere partie propose un codage de toute formule booleenne en csp binaire (contraintes portant sur deux variables) pour essayer de trouver de nouvelles classes polynomiales en calcul propositionnel en projetant celles connues sur les csp binaires

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 175 f. ou p
  • Annexes : Bibliogr.: p.159-175

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 92.MON-166

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Non disponible pour le PEB
  • Cote : MF-1992-BES
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.