IXTET: extension de la représentation pour la prise en compte des effets dépendant du contexte et des axiomes du domaine

par Patrick Albers

Thèse de doctorat en Informatique

Sous la direction de Malik Ghallab.

Soutenue en 1997

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    La planification est un element indispensable pour doter un robot autonome de capacites decisionnelles. Ce qui nous interesse dans cette these est le niveau predictif plutot que le niveau reactif d'un systeme decisionnel, et en particulier la planification de taches. Le travail propose a pour objectif d'etendre la representation temporelle pour prendre en compte les actions avec effets dependant du contexte. Toute action peut avoir des effets supplementaires selon le contexte dans lequel elle s'execute. Il s'agit de caracteriser les contextes par un ensemble de preconditions et par des effets supplementaires. Le but initial est d'accroitre l'expressivite des actions ; mais cette extension a egalement permis d'ameliorer les performances du planificateur. La deuxieme partie de cette these s'interesse a l'integration des axiomes du domaine dans le processus de planification. Ces axiomes permettent d'exprimer des incoherences du monde que le systeme doit prendre en compte lors de l'elaboration d'une solution. L'utilisation des axiomes augmente l'expressivite en specifiant des lois generales, qui sont la plupart du temps difficile voire impossible a exprimer dans les actions. Ces travaux reposent sur la representation temporelle du systeme ixtet, dans lequel ont ete integrees les extensions proposees. Le travail a egalement porte sur le developpement et le test d'une application industrielle en planification. Il s'agit de la gestion de la production des avions des usines dassault aviation. L'analyse de ce probleme ainsi que les solutions proposees pour sa resolution sont egalement presentees.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (166 p.)
  • Annexes : Références bibliogr. p. 157-166

Où se trouve cette thèse ?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 97 ALB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : I.2-ALB
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1997TOU30098
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : ALBERS i
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.