Efficient multi-agent epistemic planning: teaching planners about nested belief

DOI10.1016/J.ARTINT.2021.103605MaRDI QIDQ2060737zbMATH OpenOpenAlexFDO

Authors Christian Muise, Vaishak Belle, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg, Sheila A. McIlraith

Publication date 13 December 2021

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

automated planningepistemic planningknowledge and belief

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 7453144
• Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
• A general multi-agent epistemic planner based on higher-order belief change
• Modelling multi-agent epistemic planning in ASP
• Multi-agent conformant planning with distributed knowledge

Cites work

• A completeness theorem in modal logic
• A lightweight epistemic logic and its application to planning
• A logic of believing, knowing, and inferring
• A simple account of multi-agent epistemic planning
• An introduction to the planning domain definition language
• Answer set programming and its applications in planning and multi-agent systems
• Belief tracking for planning with sensing: width, complexity and approximations
• Compiling uncertainty away in conformant planning problems with bounded width
• DEL planning and some tractable cases
• Dynamic Epistemic Logic and Knowledge Puzzles
• Efficient reasoning in multiagent epistemic logics
• Epistemic planning for single- and multi-agent systems
• Gossips and telegraphs
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1407685 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• On the logic of theory change: Partial meet contraction and revision functions
• On the status of the postulate of recovery in the logic of theory change
• Online planning for multi-agent systems with bounded communication
• Prime implicates and prime implicants: from propositional to modal logic
• Propositional belief base update and minimal change
• Refinement quantified logics of knowledge and belief for multiple agents
• Relevant minimal change in belief update
• Replanning in domains with partial information and sensing actions
• State Constraints Revisited
• Subjunctives, dispositions and chances

Cited in

(5)

• scientific article; zbMATH DE number 7453144 (Why is no real title available?)
• Epistemic planning: perspectives on the special issue
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• Learnability with PAC semantics for multi-agent beliefs
• R-Mod: minimal structural revision of \(\mathrm{S}5\) epistemic models

This page was built for publication: Efficient multi-agent epistemic planning: teaching planners about nested belief

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