Ciclop : les logiques de description appliquées à la configuration

par Michael Christian Schlick

Thèse de doctorat en Électronique, électrotechnique, automatique

Sous la direction de Bernard Keith et de François Rousselot.

Soutenue en 1999

à Mulhouse .


  • Résumé

    Les systèmes de configuration sont parmi les applications les plus prometteuses des systèmes à base de connaissances. Mais pour des applications concrètes plus complexes, ils manquent encore d'expressivité et de services de raisonnement pour traiter les différentes classes de problème de configuration, configuration de routine, configuration innovatrice et configuration créative. Les logiques de description sont des formalismes de représentation de connaissances qui semblent très prometteurs. Le but de ce travail est de construire un système de logiques de description adapté aux besoins des systèmes de configuration. La thèse introduit les systèmes de configuration à base de connaissances et les logiques de description. Il est étudié comment les logiques de description peuvent être utilisées comme formalisme de représentation de connaissances pour des systèmes de configuration. Les questions ouvertes sont posées. Le système de logiques de description CICLOP intègre des extensions qui répondent à la plus grande partie de cette question. Il offre une expressivité élevée, une base de connaissances multiple et un service explication d'inconsistance d'individu. Une partie majeure de ce travail est l'introduction des nouvelles hypothèses concernant le monde et les services de raisonnement correspondants. L'hypothèse du langage clos est utilisée pour traiter les problèmes de configuration innovatrice. L'hypothèse du domaine clos permet la restriction de la recherche aux composants déjà existants. Elle permet la configuration de routine. En appliquant les différentes hypothèses sur les diverses parties d'une base de connaissances multiple cela permet de traiter les problèmes mixtes comme la configuration des unités de contrôle du véhicule.

  • Titre traduit

    Ciclop : Description logics for configuration


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (162 p.)
  • Annexes : Bibliogr. [177] réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Non disponible pour le PEB
  • Bibliothèque : Université de Haute-Alsace (Mulhouse). Service Commun de l'Université. Section Lettres et Sciences humaines.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1999-SCH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.