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


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • 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.

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 : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • 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.