Multi-Agent Plan Verification with Answer Set Programming

Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multiagent modelling language ALICA. For a proper judgement several reasoning tasks of different complexity are investigated. The overall architecture is highlighted and encountered problems are discussed. Finally it is concluded that answer set programming is a promising approach for reasoning about multi-agent plans.