Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

TL;DR

This paper introduces DEL[ASP], a variant of Dynamic Epistemic Logic that uses Answer Set Programming to describe actions, enabling more expressive modeling of knowledge updates and applications to conditional planning in partially observable domains.

Contribution

The paper proposes DEL[ASP], integrating ASP into DEL for richer action representation and demonstrates its use in generating conditional plans in complex, partially observable environments.

Findings

DEL[ASP] allows modeling of indirect effects, defaults, and recursive fluents.

Application to conditional planning shows improved expressiveness.

Framework supports reasoning about knowledge updates in complex domains.

Abstract

Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge is captured by modal epistemic operators whereas the system evolution is described in terms of (some subset of) dynamic logic modalities in which actions are usually represented as semantic objects called event models. In this paper, we study a variant of DEL, that wecall DEL[ASP], where actions are syntactically described by using an Answer Set Programming (ASP) representation instead of event models. This representation directly inherits high level expressive features like indirect effects, qualifications, state constraints, defaults, or recursive fluents that are common in ASP descriptions of action domains. Besides, we illustrate how this approach can be applied for obtaining conditional plans in single-agent, partially observable domains where knowledge acquisition may be represented as indirect effects of actions.