Thèse soutenue

Raisonnement temporel pour la planification et la reconnaissance de situations
FR
Accès à la thèse
Auteur / Autrice : Amine Mounir Alaoui
Direction : Malik Ghallab
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1990
Etablissement(s) : Toulouse 3

Résumé

FR

Le travail presente dans ce memoire propose une contribution au raisonnement sur le temps et sa prise en compte en intelligence artificielle pour la description d'actions et de situations dans des taches de planification et de surveillance. Notre travail a porte tout d'abord sur l'etude et la realisation d'un systeme de gestion de relations temporelles symboliques efficace appele ixtet et qui travaille sur des instants comme representation de base du temps. L'algorithme proposee est complete, de faible complexite, et non monotone. Ce gestionnaire de relations temporel a ete pris comme base d'un systeme de raisonnement temporal complet permettant l'utilisation d'assertions (t, p) ou p est une proposition et t, sa qualification temporelle. Ixtet a ensuite ete utilise dans deux applications. La premiere: un systeme de planification presentant un formalisme qui permet deux niveaux de granularite (actions et taches) pour la description des operateurs. Il utilise un ensemble d'axiomes du domaine pour la deduction des effets induits indirectement par les actions et taches. Il gere une description des buts et des evenements dans une structure temporelle plus complexe que la simple conjonction. Un ensemble de regles de comportement peuvent etre mises en uvre pour diriger la reactivite et la dynamique du systeme. Un systeme de pretraitement des actions et taches permet l'alleger le travail du planificateur proprement dit. Les algorithmes de planification correspondants ont ete developpes et illustres sur des exemples. La seconde: un systeme de reconnaissance de situations complexes en milieu evolutif presentant un formalisme qui permet de decrire une situation comme un ensemble de faits ou evenements temporellement contraints. Les situations ainsi decrites sont pretraitees hors-ligne de facon a etre reconnues le plus efficacement par la suite par le systeme de reconnaissance de situations qui est amene a travail