Reasoning about actions with EL ontologies with temporal answer sets

07/18/2021
by   Laura Giordano, et al.
0

We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditions under which action consistency can be guaranteed with respect to an ontology, by a polynomial encoding of an action theory extended with an EL^knowledge base (in normal form) into a temporal action theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/17/2011

Reasoning about Actions with Temporal Answer Sets

In this paper we combine Answer Set Programming (ASP) with Dynamic Linea...
research
02/04/2014

Description Logic Knowledge and Action Bases

Description logic Knowledge and Action Bases (KAB) are a mechanism for p...
research
11/23/2014

Logics of Temporal-Epistemic Actions

We present Dynamic Epistemic Temporal Logic, a framework for reasoning a...
research
03/09/2000

PAL: Pertinence Action Language

The current document contains a brief description of a system for Reason...
research
01/16/2014

On Action Theory Change

As historically acknowledged in the Reasoning about Actions and Change c...
research
05/19/2015

Modular Action Language ALM

The paper introduces a new modular action language, ALM, and illustrates...
research
03/01/2014

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

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

Please sign up or login with your details

Forgot password? Click here to reset