We present a formalization of multi-agent planning problems in which agents are explicitly represented. In contrast with previous formalisations, we discuss the advantages of representing agents explicitly and show the implementation in the Unified Planning formalism and some practical examples. The proposed formalism is equivalent to other models, in particular to Multi Agent Planning Domain Definition Language (MA-PDDL), and can thus be compiled into it and solved by existing multi-agent planning solvers. Moreover, we present a further extension to define more complex multi-agent problems with explicit models of other agents.
2023, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, Pages 816-823
A formalization of multi-agent planning with explicit agent representation (04b Atto di convegno in volume)
Trapasso Alessandro, Santilli Sofia, Iocchi Luca, Patrizi Fabio