LogoLogo

De Lima, Tiago. Optimal methods for reasoning about actions and plans in multi-agent systems

De Lima, Tiago (2007) Optimal methods for reasoning about actions and plans in multi-agent systems.

[img]
Preview
PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
850Kb

Résumé en francais

Cet travail présente une solution au problème du décor inférenciel. Nous réalisons cela en donnant une éducation polynomiale d'un fragment du calcul des situations vers la logique épistémique dynamique (DEL). En suite, une nouvelle méthode de preuve pour DEL, dont la complexité algorithmique est inférieure à celle de la méthode de Reiter pour le calcul de situations, est proposée. Ce travail présente aussi une nouvelle logique pour raisonner sur les actions. Cette logique permet d'exprimer formellement "qu'il existe une suite d'action conduisant au but". L'idée étant que, avec la quantification sur les actions, la planification devient un problème de validité. Une axiomatisation et quelques résultats d'expressivité sont donnés, ainsi qu'une méthode de preuve basée sur les tableaux sémantiques.

Sous la direction du :
Directeur de thèse
Herzig, Andreas
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Raisonnement sur actions et plans - Raisonnement sur la connaissance - Logique épistémique dynamique - Calcul des situations - Problème du décor
Sujets :Informatique
Déposé le :12 Oct 2011 15:05