Temps, espace, action et décision
Olivier.Gasquet,
Andreas Herzig,
Jerome Lang,
Laure Vieu
Duree envisagée : 21 h (3 x 7h)
Intervenants : O. Gasquet, A. Herzig, J. Lang, L. Vieu
Motivations et positionnement dans le DEA
L'objectif de ce cours est la représentation des connaissances et la
modélisation de la prise de décision d'agents évoluant dans un monde
dynamique (cf. la terminologie "cognitive robotics" décrivant les
activités actuelles des équipes de Reiter à Toronto et de Shoham à
Stanford). Il comporte une partie de raisonnement sur le temps,
l'action et le changement, une partie de raisonnement spatial,
et une partie sur la prise de décision. Il peut etre vu comme la base
formelle de la représentation des connaissances pour la robotique
(cependant il ne comprend absolument pas de robotique proprement dite,
ni de traitements dits "de bas niveau" comme la vision ou la commande
de systèmes -- ces thèmes n'étant pas concernés par ce DEA).
Ce cours met en pratique certains outils formels vus dans les cours de
tronc commun (en particulier MTIA et complexité). Il est conseillé aux
étudiants suivant ce cours de suivre aussi le cours RPI ainsi que les
cours sur la planification et sur les CSP, mais ceci n'est cependant
pas indispensable (le seul prérequis impératif est le cours MTIA).
Plan
- Raisonnement sur le temps et l'action
- Algèbres d'intervalles (Allen, van Benthem ...)
- Logiques temporelles
- Logique dynamique
- Changement des croyances
- Mise-à-jour (Katsuno-Mendelzon)
- Révision (AGM)
- Minimisation des changements
- Langages d'action :
- GOLOG (Reiter)
- langage A (Gelfond et Lifschitz)
- Raisonnement spatial qualitatif
- Espaces à base de points :
- orientation
- distance
- géométries
- Extensions de l'algèbre d'intervalles d'Allen, espaces matriciels
- Espaces à base de régions :
- méréotopologies (Whitehead, Cohn)
- géométrie des corps (Tarski)
- Espace-temps et mouvement
- Prise de décision
- Théories classiques de la décision
(von Neumann-Morgenstern, Savage)
- Décision dans l'incertain, décision multi-critère, décision de groupe
- Représentation de préférences, modèles qualitatifs
- Eléments de raisonnement et décision à partir de cas
- Décision en environnement dynamique
- Processus décisionnels markoviens
- Observabilité partielle, notion de valeur de l'information et
application au diagnostic dynamique (avec actions de test et de
réparation)
Andreas.Herzig@irit.fr |
http://www.irit.fr/~Andreas.Herzig