Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

05/25/2019
by   Pedro Cabalar, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

08/11/2021

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

In the context of planning and reasoning about actions and change, we ca...
06/14/2019

Dynamic Term-Modal Logics for Epistemic Planning

Classical planning frameworks are built on first-order languages. The fi...
01/04/2020

selp: A Single-Shot Epistemic Logic Program Solver

Epistemic Logic Programs (ELPs) are an extension of Answer Set Programmi...
05/02/2022

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

Dynamic Epistemic Logic (DEL) is a logic that models information change ...
01/13/2020

Structural Decompositions of Epistemic Logic Programs

Epistemic logic programs (ELPs) are a popular generalization of standard...
09/13/2021

Learning to Act and Observe in Partially Observable Domains

We consider a learning agent in a partially observable environment, with...
07/29/2013

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.