A Preliminary Study on Reasoning about Causes

Pedro Cabalar

This paper presents some preliminary work on causal reasoning about actions studying the causes of derived formulas in a given transition, in terms of subsets of the performed actions. We present a general top-level semantics that allows deciding which actions have resulted relevant for establishing the truth value of a given formula. After that, we propose a practical implementation that deals with a basic causal rule syntax, translated afterwards into logic programming under answer sets semantics.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.