Utilisation des logiques de description pour l'aide a la decision

par MARTINA KULLMANN

Thèse de doctorat en Sciences et techniques

Sous la direction de Bernard Keith.

Soutenue en 2001

à Strasbourg 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    En utilisant les logiques de description (ld) pour la modelisation des situations complexes et dynamiques ainsi que des reactions appropriees, nous proposons un schema base sur les ld pour l'aide a la decision. Suivant ce schema, pour une application donnee des modeles de ld plus specifiques peuvent etre elabores. Comme extension de ce schema nous proposons l'utilisation du raisonnement ld pour construire un modele de la base de connaissance consideree. En se basant sur la connaissance generale d'un domaine d'application considere et sur une description specifique d'une situation donnee, il est possible de deduire des actions concretes adaptees a cette situation. Ces actions ne sont pas forcement predefinies d'une facon explicite. De plus, une mis a jour reguliere de la base de connaissances permet d'effectuer le raisonnement ld par rapport a l'etat courant de la situation consideree. En pratique, la construction de modeles a l'aide des ld necessite une adaptation de l'algorithme conventionnel de raisonnement, c'est-a-dire au lieu de verifier seulement l'existence ou l'inexistence d'un seul modele l'algorithme doit calculer et stocker plusieurs modeles en entier. Pour resoudre le probleme de memoire ainsi que du temps de calcul, nous proposons d'utiliser un tableau optimise en structure de treillis. Un deuxieme avantage du stockage des modeles est la reutilisation des resultats des calculs precedents pour realiser de nouveaux calculs, ce qui implique une reduction du temps de calcul. En plus nous proposons une maniere d'exploiter la nouvelle structure de tableau pour un raisonnement non-monotone et pour fournir des explications sur les origines des contradictions.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 147 p.
  • Annexes : 100 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Strasbourg. Service commun de la documentation. Bibliothèque Blaise Pascal.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.