A general multi-agent epistemic planner based on higher-order belief change

DOI10.1016/J.ARTINT.2021.103562MaRDI QIDQ2060686zbMATH OpenOpenAlexFDO

Authors Hai Wan, Biqing Fang, Yong-Mei Liu

Publication date 13 December 2021

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.11298

zbMATH Keywords

belief changeepistemic planningmulti-agent epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Abstract: 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.

Recommendations

• A simple account of multi-agent epistemic planning
• Modelling multi-agent epistemic planning in ASP
• Epistemic planning for single- and multi-agent systems
• Dynamic term-modal logics for first-order epistemic planning
• A lightweight epistemic logic and its application to planning

Cites work

• A qualitative theory of dynamic interactive belief revision
• A simple account of multi-agent epistemic planning
• A survey of gossiping and broadcasting in communication networks
• Automata for the modal -calculus and related results
• DEL planning and some tractable cases
• DEL-sequents for progression
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Epistemic planning for single- and multi-agent systems
• Finitary \(\mathbf {S5}\)-theories
• Finite models constructed from canonical formulas
• Generalizing AGM to a multi-agent setting
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 6747860 (Why is no real title available?)
• Normal forms in modal logic
• On distances between KD45\(_n\) Kripke models and their use for belief revision
• On modal -calculus with explicit interpolants
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Refinement quantified logics of knowledge and belief for multiple agents
• Representing action and change by logic programs

Cited in

(9)

• Efficient multi-agent epistemic planning: teaching planners about nested belief
• Multi-agent conformant planning with distributed knowledge
• A simple account of multi-agent epistemic planning
• scientific article; zbMATH DE number 2088150 (Why is no real title available?)
• scientific article; zbMATH DE number 7453144 (Why is no real title available?)
• Modelling multi-agent epistemic planning in ASP
• Epistemic planning: perspectives on the special issue
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• Knowing how to plan about planning: higher-order and meta-level epistemic planning

This page was built for publication: A general multi-agent epistemic planner based on higher-order belief change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2060686)