Abstract FR:

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.