Dynamic Epistemic Logic with ASP Updates: Application to Conditional
  Planning
  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.
