Optimal methods for reasoning about actions and plans in multi-agent systems

par Tiago de Lima

Thèse de doctorat en Informatique

Sous la direction de Andréas Herzig.

Soutenue en 2007

à Toulouse 3 .

  • Titre traduit

    Méthodes optimales pour le raisonnement sur actions et plans dans des systèmes multi-agents


  • Résumé

    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.


  • Résumé

    This work presents a solution to the inferential frame problem. We do so by providing a polynomial reduction from a fragment of situation calculus to espistemic dynamic logic (DEL). Then, a novel proof method for DEL, such that the computational complexity is much lower than that of Retier's proof method for situation caluculs, is proposed. This work also presents a new logic for reasoning about actions. This logic allows to formally express that "there exists a sequence of actions that leads to the goal". The idea is that, with quantification over actions, planning can become a validity problem. An axiomatisation and some expressivity results are provided, as well as a proof method based on sematic tableaux.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (132 p.)
  • Annexes : Bibliogr. p. 87-93

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 2007 TOU3 0134
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.