Planning for Multiagent Using ASP-Prolog

Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen

Abstract: This paper presents an Answer Set Programming based approach to multiagent planning. The proposed methodology extends the action language $\cal B$ in [12] to represent and reason about plans with cooperative actions of an individual agent operating in a multiagent environment. This language is used to formalize multiagent planning problems and the notion of a joint plan for multiagent in the presence of cooperative actions. Finally, the paper presents a system for computing joint plans based on the ASP-Prolog system.