A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

by   Xiao Huang, et al.

In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formulas, and the solution is an action tree branching on sensing results. To support efficient reasoning in the multi-agent KD45 logic, we make use of a normal form called alternating cover disjunctive formulas (ACDFs). We propose basic revision and update algorithms for ACDFs. We also handle static propositional common knowledge, which we call constraints. Based on our reasoning, revision and update algorithms, adapting the PrAO algorithm for contingent planning from the literature, we implemented a multi-agent epistemic planner called MEPK. Our experimental results show the viability of our approach.


page 1

page 2

page 3

page 4


When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

The early literature on epistemic logic in philosophy focused on reasoni...

Knowledge Compilation in Multi-Agent Epistemic Logics

Epistemic logics are a primary formalism for multi-agent systems but maj...

What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS

Epistemic planning --- planning with knowledge and belief --- is essenti...

Neural Amortized Inference for Nested Multi-agent Reasoning

Multi-agent interactions, such as communication, teaching, and bluffing,...

Anticipating Responsibility in Multiagent Planning

Responsibility anticipation is the process of determining if the actions...

Modelling Multi-Agent Epistemic Planning in ASP

Designing agents that reason and act upon the world has always been one ...

DELPHIC: Practical DEL Planning via Possibilities (Extended Version)

Dynamic Epistemic Logic (DEL) provides a framework for epistemic plannin...

Please sign up or login with your details

Forgot password? Click here to reset