TY - GEN

T1 - Nondefinite vs. Definite causal theories

AU - Lee, Joohyung

N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2004.

PY - 2004

Y1 - 2004

N2 - Nonmonotonic causal logic can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. The definite fragment of causal logic can be mapped to propositional logic by the process of completion, and this idea has led to the development of the Causal Calculator. In this note, we show how to turn arbitrary causal theories into definite theories without changing the sets of models. The translation consists of two parts: one is a set of definite rules which is obtained from the given theory by translating each rule one by one, in a modular way, and the other is a set of constraints similar to loop formulas for logic programs. Our result characterizes the semantics of causal logic in terms of propositional logic and tells us that an essential difference between the semantics of causal logic and the answer set semantics is related to the definition of a loop in each.

AB - Nonmonotonic causal logic can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. The definite fragment of causal logic can be mapped to propositional logic by the process of completion, and this idea has led to the development of the Causal Calculator. In this note, we show how to turn arbitrary causal theories into definite theories without changing the sets of models. The translation consists of two parts: one is a set of definite rules which is obtained from the given theory by translating each rule one by one, in a modular way, and the other is a set of constraints similar to loop formulas for logic programs. Our result characterizes the semantics of causal logic in terms of propositional logic and tells us that an essential difference between the semantics of causal logic and the answer set semantics is related to the definition of a loop in each.

UR - http://www.scopus.com/inward/record.url?scp=9444282648&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=9444282648&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:9444282648

T3 - Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

SP - 141

EP - 153

BT - Logic Programming and Nonmonotonic Reasoning

A2 - Niemela, Ilkka

A2 - Lifschitz, Vladimir

PB - Springer Verlag

T2 - 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004

Y2 - 6 January 2004 through 8 January 2004

ER -