Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expressiveness of this framework crucially depends on the nature of the communication mechanism that is adopted. The communication mechanism we introduce in this paper allows us to focus on a sequence of programs, where each program in the sequence may successively eliminate some of the remaining models. The underlying intuition is that of leaders and followers: each agent’s decisions are limited by what its leaders have previously decided. We show that extending answer set programs in this way allows us to capture the entire polynomial hierarchy.
|Title of host publication||Logic Programming and Nonmonotonic Reasoning: Proceedings of the 11th International Conference, LPNMR|
|Editors||James P. Delgrande, Wolfgang Faber|
|Number of pages||13|
|ISBN (Electronic)||978-3-642-20895-9 |
|Publication status||Published - 2011|
|Name||Lecture Notes in Computer Science|