Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

by   Pedro Cabalar, et al.

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.



There are no comments yet.



Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

In the context of planning and reasoning about actions and change, we ca...

Dynamic Term-Modal Logics for Epistemic Planning

Classical planning frameworks are built on first-order languages. The fi...

selp: A Single-Shot Epistemic Logic Program Solver

Epistemic Logic Programs (ELPs) are an extension of Answer Set Programmi...

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Dynamic Epistemic Logic (DEL) is a logic that models information change ...

Structural Decompositions of Epistemic Logic Programs

Epistemic logic programs (ELPs) are a popular generalization of standard...

Learning to Act and Observe in Partially Observable Domains

We consider a learning agent in a partially observable environment, with...

ReAct! An Interactive Tool for Hybrid Planning in Robotics

We present ReAct!, an interactive tool for high-level reasoning for cogn...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.