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

摘要

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.