A dynamic epistemic framework for conformant planning

MaRDI QIDQ5015399zbMATH OpenFDO

Authors Quan Yu, Yanjun Li, Yanjing Wang

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1606.07528, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2015.21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• More for free: a dynamic epistemic framework for conformant planning over transition systems
• Conditional epistemic planning
• Planning using dynamic epistemic logic: correspondence and complexity
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• Dynamic term-modal logics for first-order epistemic planning

Cites work

• A note on the space complexity of some decision problems for finite automata
• Belief tracking for planning with sensing: width, complexity and approximations
• Conditional epistemic planning
• Conformant planning via heuristic forward search: A new approach
• Conformant planning via symbolic model checking and heuristic search
• Conformant plans and beyond: principles and complexity
• DEL planning and some tractable cases
• DEL-sequents for regression and epistemic planning
• Don't plan for the unexpected planning based on plausibility models
• Dynamic epistemic logic
• Epistemic planning for single- and multi-agent systems
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 1560498 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• Knowledge-based programs
• Knowledge-based programs as plans. The complexity of plan verification
• Logics for epistemic programs
• Model checking propositional dynamic logic with all extras
• Not all those who wander are lost: dynamic epistemic reasoning in navigation
• On axiomatizations of public announcement logic
• Planning graph heuristics for belief space search

Cited in

(19)

• Epistemic planning with attention as a bounded resource
• Multi-agent conformant planning with distributed knowledge
• A logic of goal-directed knowing how
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• Planning using dynamic epistemic logic: correspondence and complexity
• Epistemic planning for single- and multi-agent systems
• Conditional epistemic planning
• Don't plan for the unexpected planning based on plausibility models
• An epistemic logic for planning with trials
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• Automata techniques for epistemic protocol synthesis
• Achieving while maintaining: a logic of knowing how with intermediate constraints
• Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis
• Not all those who wander are lost: dynamic epistemic reasoning in navigation
• Logic Programming and Nonmonotonic Reasoning
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning
• CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement
• Conformant plans and beyond: principles and complexity

This page was built for publication: A dynamic epistemic framework for conformant planning

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