Planning-based knowing how: a unified approach

DOI10.1016/J.ARTINT.2021.103487MaRDI QIDQ2238589zbMATH OpenOpenAlexFDO

Authors Yanjun Li, Yanjing Wang

Publication date 2 November 2021

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2021.103487

zbMATH Keywords

conformant planningcontingent planningepistemic logicepistemic planningknow-howknowledge-based programs

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Recommendations

• A Logic of Knowing How
• A logic of goal-directed knowing how
• Planning using dynamic epistemic logic: correspondence and complexity
• BISIMULATIONS FOR KNOWING HOW LOGICS
• An epistemic logic for planning with trials

Cites work

• A brief history of process algebra
• A Concise Introduction to Models and Methods for Automated Planning
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• A logic of goal-directed knowing how
• A Logic of Knowing How
• A logic of knowing how with skippable plans
• A logic of knowing why
• A Modal Logic for Coalitional Power in Games
• Achieving while maintaining: a logic of knowing how with intermediate constraints
• Alternating-time temporal logic
• Beyond knowing that: a new generation of epistemic logics
• Coalition logic with individual, distributed and common knowledge
• Conditional epistemic planning
• Conditionally knowing what
• Contingency and knowing whether
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• DEL planning and some tractable cases
• DEL-sequents for regression and epistemic planning
• Don't plan for the unexpected planning based on plausibility models
• Epistemic planning for single- and multi-agent systems
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Knowing-how under uncertainty
• Knowledge-based programs
• Knowledge-based programs as plans. The complexity of plan verification
• Modal logic
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• Not all those who wander are lost: dynamic epistemic reasoning in navigation
• On axiomatizations of public announcement logic
• Representing imperfect information of procedures with hyper models
• Semantics with applications: an appetizer.
• Together we know how to achieve: an epistemic logic of know-how
• Together we know how to achieve: an epistemic logic of know-how (extended abstract)
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(15)

• Inquisitive logic as an epistemic logic of knowing how
• A logic of goal-directed knowing how
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• Tableau-based decision procedure for logic of knowing-how via simple plans
• scientific article; zbMATH DE number 1664937 (Why is no real title available?)
• scientific article; zbMATH DE number 44143 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Epistemic planning: perspectives on the special issue
• Tableaux for the Logic of Strategically Knowing How
• Neighborhood semantics for logic of knowing how
• How easy it is to know how: an upper bound for the satisfiability problem
• Knowing how to plan
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• Uncertainty-based knowing how logic

This page was built for publication: Planning-based knowing how: a unified approach

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