Sciweavers

Share
LPNMR
2011
Springer

Communicating ASP and the Polynomial Hierarchy

9 years 15 days ago
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.
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart
Added 16 Sep 2011
Updated 16 Sep 2011
Type Journal
Year 2011
Where LPNMR
Authors Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
Comments (0)
books