Contribution au contrôle dynamique de la cohérence dans les systèmes à base de connaissances

par Thierry Emery

Thèse de doctorat en Contrôle des Systèmes

Sous la direction de Philippe Cornu.


  • Résumé

    Les systèmes à base de connaissances qui abordent des problèmes complexes du monde réel sont confrontés à l'erreur, au manque d'informations à l'imprécision, à l'incertitude, et au temps. Les erreurs ne se manifestent que par l'apparition d'incohérences, qui doivent être traitées. Le manque d'informations impose la déduction de faits à partir d'informations partielles, et l'émission d'hypothèses. Leur invalidation nécessite une capacité de raisonnement non monotone. Nous avons proposé un paradigme de système à base de connaissances, qui nous a permis d'analyser et de définir l'incohérence, de poser le problème du contrôle de la cohérence, et d'étudier et de discuter les modèles et les applications des approches existantes. Nous avons réalisé un système original de contrôle dynamique de la cohérence des faits, CUTE-ATMS, en intégrant dans un même formalisme de représentation-objet les concepts d'imprécision, d'incertitude, et de temporalité. La détection des incohérences fait appel à des primitives d'incohérence définies par la modélisation des objets et des attributs, et à des contraintes clausales de cohérence exploitées en chainage mixte. Le contrôle de la cohérence et la gestion de la non-monotonie utilisent le raisonnement hypothétique base sur des suppositions incertaines et temporelles.

  • Titre traduit

    Contribution to dynamic consistency control in knowledge-based systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (249 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 99 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 1989 EME 180
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : EMERY c

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1989-EME
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.