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 .

mots clés

• Sciences appliquees
• Recherche operationnelle, gestion
• Planification
• Robotique
• Systeme autonome
• Decision
• Application industrielle
• Gestion production
• Avion
• Representation action
• Effet dependant du contexte
• Axiome domaine
• Planning
• Robotics
• Autonomous system
• Decision
• Industrial application
• Production management
• Airplane
• Planification -- Informatique
• Représentation des connaissances
• Avions -- Conception et construction
• Axiomes -- Applications industrielles

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.

Titre traduit

Ixtet : extension of the representation in order to take into account the context dependent effects and the domain axioms

Pas de résumé disponible.