2015
DOI: 10.1609/aaai.v29i1.9665
|View full text |Cite
|
Sign up to set email alerts
|

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

Abstract: Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, c… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
50
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
6
3

Relationship

2
7

Authors

Journals

citations
Cited by 37 publications
(50 citation statements)
references
References 21 publications
0
50
0
Order By: Relevance
“…The framework is however restricted to single-agent planning, does not support higher-order reasoning, and allows only a restricted form of quantification. The multi-agent planning frameworks in [46,61] follow a compilation approach, translating restricted fragments of epistemic planning into classical planning languages.…”
Section: Epistemic Planningmentioning
confidence: 99%
See 1 more Smart Citation
“…The framework is however restricted to single-agent planning, does not support higher-order reasoning, and allows only a restricted form of quantification. The multi-agent planning frameworks in [46,61] follow a compilation approach, translating restricted fragments of epistemic planning into classical planning languages.…”
Section: Epistemic Planningmentioning
confidence: 99%
“…In [47], the authors extend this framework to cover on-line planning from the perspective of the agents themselves. The planner in Muise et al [61] requires a finite depth of nesting of modalities and no disjunctions. Cooper et al [23] use an encoding based on special variables describing what agents can see.…”
Section: Epistemic Planningmentioning
confidence: 99%
“…can change the state of the world, which we refer to as ontic actions, as defined in Muise et al (2015), and a set of potential queries Q it can ask. Similarly, A T = O T ∪ R is a set of ontic actions that the teammate can execute O T and the set of possible responses R to the ego agent's query.…”
Section: Introductionmentioning
confidence: 99%
“…There, reasoning is strictly more complex than in classical logic: the satisfiability problem is at least in PSPACE (Halpern and Moses 1992). Based on earlier work by Levesque, Muise et al studied epistemic planning in fragments of standard epistemic logic (Muise et al 2015). They considered state descriptions in terms of conjunctions of epistemic literals: formulas that do not contain any conjunction or disjunction.…”
Section: Introductionmentioning
confidence: 99%