DeepAI AI Chat
Log In Sign Up

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

by   Manfred Eppe, et al.
Universität Bremen

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.


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

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

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

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

Thinking About Causation: A Causal Language with Epistemic Operators

This paper proposes a formal framework for modeling the interaction of c...

Formalizing Falsification of Causal Structure Theories for Consciousness Across Computational Hierarchies

There is currently a global, multimillion-dollar effort to experimentall...

Reasoning about actions with EL ontologies with temporal answer sets

We propose an approach based on Answer Set Programming for reasoning abo...

Backtracking Counterfactuals

Counterfactual reasoning – envisioning hypothetical scenarios, or possib...

Probabilistic Causal Reasoning

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