Raisonnement temporel pour la planification et la reconnaissance de situations

par Amine Mounir Alaoui

Thèse de doctorat en Informatique

Sous la direction de Malik Ghallab.

Soutenue en 1990

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : III-138 f

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I.2-MOU
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1990TOU30154
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.