Dynamic term-modal logics for first-order epistemic planning

DOI10.1016/j.artint.2020.103305zbMath1471.68274arXiv1906.06047OpenAlexW3026707756MaRDI QIDQ2211848

Andreas Achen, Rasmus K. Rendsvig, Andrés Occhipinti Liberman

Publication date: 16 November 2020

Published in: Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

multi-agent systemsdynamic epistemic logicepistemic planningterm-modal logicplanning formalisms

Mathematics Subject Classification ID

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

Related Items (7)

Epistemic planning with attention as a bounded resource ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Erratum to: ``Dynamic term-modal logics for first-order epistemic planning ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Epistemic planning: perspectives on the special issue ⋮ A lightweight epistemic logic and its application to planning ⋮ Quantifier-free epistemic term-modal logic with assignment operator

Uses Software

• PDDL
• SMCDEL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• An internal version of epistemic logic
• Propositional epistemic logics with quantification over agents of knowledge
• Naming and identity in epistemic logic. II: A first-order logic for naming
• The monodic fragment of propositional term modal logic
• Free quantified epistemic logics
• Propositional modal logic with implicit modal quantification
• Dynamic term-modal logic for epistemic social network dynamics
• Term-sequence-modal logics
• Intensional protocols for dynamic epistemic logic
• Logics for epistemic programs
• Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
• An essay in modal logic
• Epistemic planning for single- and multi-agent systems
• Conditional Epistemic Planning
• DEL Planning and Some Tractable Cases
• Logical Dynamics of Information and Interaction
• A New Approach to Epistemic Logic
• Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• Constructive knowledge: what agents can achieve under imperfect information
• The Undecidability of Monadic Modal Quantification Theory
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Modeling Semantic Competence: A Critical Review of Frege’s Puzzle about Identity
• When Names Are Not Commonly Known: Epistemic Logic with Assignments
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Term-modal logics

This page was built for publication: Dynamic term-modal logics for first-order epistemic planning