Cookies?
Library Header Image
LSE Research Online LSE Library Services

Dynamic term-modal logics for first-order epistemic planning

Liberman, Andrés Occhipinti, Achen, Andreas and Rendsvig, Rasmus K. (2020) Dynamic term-modal logics for first-order epistemic planning. Artificial Intelligence, 286. ISSN 1561-5375

[img] Text (Dynamic term-modal logics for first-order epistemic planning) - Accepted Version
Repository staff only until 27 May 2022.
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (533kB) | Request a copy
Identification Number: 10.1016/j.artint.2020.103305

Abstract

Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as ¬∃xblocks_door(x). In contrast, several recent epistemic planning frameworks are built on propositional epistemic logic. The epistemic language is useful to describe planning problems involving higher-order reasoning or epistemic goals such as Ka¬problem. This paper develops a first-order version of Dynamic Epistemic Logic (DEL). In this framework, for example, ∃xKx∃yblocks_door(y) is a formula. The formalism combines the strengths of DEL (higher-order reasoning) with those of first-order logic (lifted representation) to model multi-agent epistemic planning. The paper introduces an epistemic language with a possible-worlds semantics, followed by novel dynamics given by first-order action models and their execution via product updates. Taking advantage of the first-order machinery, epistemic action schemas are defined to provide compact, problem-independent domain descriptions, in the spirit of PDDL. Concerning metatheory, the paper defines axiomatic normal term-modal logics, shows a Canon- ical Model Theorem-like result which allows establishing completeness through frame characterization formulas, shows decidability for the finite agent case, and shows a general completeness result for the dynamic extension by reduction axioms.

Item Type: Article
Official URL: http://old.ipai.net.ua/general/ai.php3?l=e
Additional Information: © 2020 Elsevier B.V.
Divisions: Philosophy, Logic and Scientific Method
Subjects: B Philosophy. Psychology. Religion > BC Logic
Q Science > QA Mathematics
Date Deposited: 22 May 2020 09:15
Last Modified: 28 Jul 2020 08:09
URI: http://eprints.lse.ac.uk/id/eprint/104541

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics