Proceedings:
Logical Formalization of Commonsense Reasoning
Volume
Issue:
Papers from the 2003 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
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.
Spring
Papers from the 2003 AAAI Spring Symposium