DEL-sequents for regression and epistemic planning

DOI10.1080/11663081.2012.736703MaRDI QIDQ4583175zbMATH OpenOpenAlexFDO

Authors Guillaume Aucher

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00856471/file/JANCL2012-Camera-Ready.pdf

zbMATH Keywords

regressionbelief changedynamic epistemic logicsequent calculusepistemic planning

Mathematics Subject Classification ID

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

Recommendations

• DEL-sequents for progression
• Generalized DEL-Sequents
• DEL planning and some tractable cases
• Tableau method and NEXPTIME-completeness of DEL-sequents
• Dynamic epistemic logic in update logic

Cites work

• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• An internal version of epistemic logic
• DEL planning and some tractable cases
• DEL-sequents for progression
• Dynamic epistemic logic
• Dynamic logic for belief revision
• Epistemic planning for single- and multi-agent systems
• Finite models constructed from canonical formulas
• Generalized DEL-Sequents
• Logics for epistemic programs
• Modal logic
• Tableau method and NEXPTIME-completeness of DEL-sequents
• The logic of public announcements, common knowledge, and private suspicions
• What will they say? -- Public announcement games

Cited in

(15)

• A dynamic epistemic framework for conformant planning
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
• Generalized DEL-Sequents
• To be announced
• Refinement modal logic
• DEL planning and some tractable cases
• Multi-agent conformant planning with distributed knowledge
• Knowledge-based programs as succinct policies for partially observable domains
• Planning-based knowing how: a unified approach
• Dynamic Epistemic Logic as a Substructural Logic
• Dynamic epistemic logic with branching temporal structures
• Epistemic planning: perspectives on the special issue
• DEL-sequents for progression
• Exploring the power of converse events

This page was built for publication: DEL-sequents for regression and epistemic planning

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