DeepAI AI Chat
Log In Sign Up

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

by   Wolfgang Faber, et al.

In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the original state. Renewed interest in this area has led to several results in the context of the PDDL language, widely used for describing planning tasks. In this paper, we propose several solutions to the computational problem of deciding the reversibility of an action. In particular, we leverage an existing translation from PDDL to Answer Set Programming (ASP), and then use several different encodings to tackle the problem of action reversibility for the STRIPS fragment of PDDL. For these, we use ASP, as well as Epistemic Logic Programming (ELP), an extension of ASP with epistemic operators, and compare and contrast their strengths and weaknesses. Under consideration for acceptance in TPLP.


page 1

page 2

page 3

page 4


Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has ...

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

We investigate the use of Answer Set Programming to solve variations of ...

An Empirical Comparison of PDDL-based and ASP-based Task Planners

General purpose planners enable AI systems to solve many different types...

Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction

We present an epistemic action theory for tractable epistemic reasoning ...

Formalisation of Action with Durations in Answer Set Programming

In this paper, I will discuss the work I am currently doing as a Ph.D. s...

An ASP Framework for the Refinement of Authorization and Obligation Policies

This paper introduces a framework for assisting policy authors in refini...

COREALMLIB: An ALM Library Translated from the Component Library

This paper presents COREALMLIB, an ALM library of commonsense knowledge ...