Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli |
PosterID:
14
PDF
Slides
Poster
BibTeX
|
| Multi-agent systems have been employed to model, simulate and investigate a variety of real-world scenarios. It is becoming more and more important to investigate formalism and tools that would allow us to exploit automated reasoning in these domains. An area that has received increased 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. | |
| Canb | 10/27/2020, 21:00 – 22:00 |
| 10/31/2020, 04:00 – 05:00 |
| Paris | 10/27/2020, 11:00 – 12:00 |
| 10/30/2020, 18:00 – 19:00 |
| NYC | 10/27/2020, 06:00 – 07:00 |
| 10/30/2020, 13:00 – 14:00 |
| LA | 10/27/2020, 03:00 – 04:00 |
| 10/30/2020, 10:00 – 11:00 |
Probabilistic Robust Multi-Agent Path Finding
Dor Atzmon, Roni Stern, Ariel Felner, Nathan R. Sturtevant, Sven Koenig
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli
Privacy Preserving Planning in Stochastic Environments
Guy Shani, Roni Stern, Tommy Hefner
Multi-agent path finding on real robots
Roman Barták, Jiří Švancara, Věra Škopková, David Nohejl, Ivan Krasičenko