Cyclic Causality in Reasoning about Action

LUO Bin,GE Ye-Ting,ZHU Zhao-hui,CHEN Shi-Fu
DOI: https://doi.org/10.3321/j.issn:0254-4164.2005.05.011
2005-01-01
Chinese Journal of Computers
Abstract:Intelligent behaviors of humans require the ability to predict the result of actions. McCarthy holds the view that reasoning about action plays an essential role in commonsense reasoning. In recent years, reasoning about action is a popular issue in AI domain and becomes a discussion subject in IJCAI for several years. Ramification problem is currently one of the central problems is reasoning about action.This paper describes some background and the main task of reasoning about action, recapitulates the ramification problem and points out the dificulty in it. Most of the current methods of reasoning about action cannot handle cyclic causal relation. This paper presents a solution to this problem. Firstly, based on modified causal theory of McCain and Turner, it puts forward an automatable procedure that transforms a syntactically restricted causal theory into a monotonic one without cyclic causality. Next, it proves the correctness of the procedure under causal closure semantic by showing that an interpretation is the model of the transformed theory if and only if it is the model of original theory. This paper also proves that the method yields the same results as that of McCain and Turner (1997) when the theory is stratified.
What problem does this paper attempt to address?