Name
Title | ||
|---|---|---|
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains |
Abstract | ||
|---|---|---|
This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m $\mathcal{A}_{0}$ language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-30743-0_35 | Correct Reasoning |
Keywords | Field | DocType |
proposed asp model,action language,multiple agent domain,epistemic action,answer set programming,ontic action,update model,planning problem,world-altering action,kripke structure,model epistemic,multi-agent domain | Action language,Artificial intelligence,Application service provider,Answer set programming,Ontic,Mathematics | Conference |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Enrico Pontelli | 1 | 1901 | 181.26 |
| Tran Cao Son | 2 | 1795 | 169.42 |
| Chitta Baral | 3 | 2353 | 269.58 |
| Gregory Gelfond | 4 | 24 | 3.97 |