DeepAI AI Chat
Log In Sign Up

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

03/01/2014
by   Manfred Eppe, et al.
Universität Bremen
0

We present an epistemic action theory for tractable epistemic reasoning as an extension to the h-approximation (HPX) theory. In contrast to existing tractable approaches, the theory supports functional fluents and postdictive reasoning with static causal laws. We argue that this combination is particularly synergistic because it allows one not only to perform direct postdiction about the conditions of actions, but also indirect postdiction about the conditions of static causal laws. We show that despite the richer expressiveness, the temporal projection problem remains tractable (polynomial), and therefore the planning problem remains in NP. We present the operational semantics of our theory as well as its formulation as Answer Set Programming.

READ FULL TEXT
09/22/2020

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

We investigate the use of Answer Set Programming to solve variations of ...
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...
10/30/2020

Thinking About Causation: A Causal Language with Epistemic Operators

This paper proposes a formal framework for modeling the interaction of c...
06/12/2020

Formalizing Falsification of Causal Structure Theories for Consciousness Across Computational Hierarchies

There is currently a global, multimillion-dollar effort to experimentall...
07/18/2021

Reasoning about actions with EL ontologies with temporal answer sets

We propose an approach based on Answer Set Programming for reasoning abo...
11/01/2022

Backtracking Counterfactuals

Counterfactual reasoning – envisioning hypothetical scenarios, or possib...
03/27/2013

Probabilistic Causal Reasoning

Predicting the future is an important component of decision making. In m...