EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations

Download

• Paper
• Supplementary material
• Code and data

Abstract

Multi-agent systems have been employed to model, simulate and explore a variety of real-world scenarios. It is becoming more and more important to investigate formalisms and tools that would allow us to exploit automated reasoning in these domains. An area that has received increasing attention is the use of multi-agent systems which allow an agent to reason about the knowledge and beliefs of other agents. This type of reasoning, i.e., about agents’ perception of the world and also about agents’ knowledge of her and others’ knowledge, is referred to as epistemic reasoning. This paper presents an updated formalization and implementation of a multi-agent epistemic planner, called EFP. In particular, the paper explores the advantages of using alternative state representations that deviate from the commonly used Kripke structures. The paper explores such alternatives in the context of an action language for multi-agent epistemic planning. The paper presents also an actual implementation of a planner that uses the novel ideas, demonstrating concrete performance improvements on benchmarks collected from the literature.

Citation

Fabiano, F., Burigana, A., Dovier, A., and Pontelli, E. 2020. “EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations”, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, Vol. 30: 101–109. https://ojs.aaai.org/index.php/ICAPS/article/view/6650 .

@inproceedings{conf/aips/FabianoBDP2020,
    author    = {Francesco Fabiano and
                 Alessandro Burigana and
                 Agostino Dovier and
                 Enrico Pontelli},
    editor    = {J. Christopher Beck and
                 Olivier Buffet and
                 J{\"{o}}rg Hoffmann and
                 Erez Karpas and
                 Shirin Sohrabi},
    title     = {{EFP} 2.0: {A} Multi-Agent Epistemic Solver with Multiple E-State
                 Representations},
    booktitle = {Proceedings of the Thirtieth International Conference on Automated
                 Planning and Scheduling, Nancy, France, October 26-30, 2020},
    volume    = {30},
    pages     = {101--109},
    publisher = {{AAAI} Press},
    year      = {2020},
    url       = {https://ojs.aaai.org/index.php/ICAPS/article/view/6650}
}

Related material

• Slides