Communicating ASP and the Polynomial Hierarchy

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.

• Type: Journal
• Year: 2011
• Where: LPNMR
• Authors: Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
• Keywords: Answer Set Programming, Automated Reasoning, LPNMR 2011, Polynomial Hierarchy, Stable Models