Nondefinite vs. Definite causal theories

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning
EditorsIlkka Niemela, Vladimir Lifschitz
PublisherSpringer Verlag
Pages141-153
Number of pages13
ISBN (Electronic)354020721X, 9783540207214
StatePublished - Jan 1 2004
Externally publishedYes
Event7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 - Fort Lauderdale, United States
Duration: Jan 6 2004Jan 8 2004

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2923
ISSN (Print)0302-9743

Conference

Conference7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004
CountryUnited States
CityFort Lauderdale
Period1/6/041/8/04

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Lee, J. (2004). Nondefinite vs. Definite causal theories. In I. Niemela, & V. Lifschitz (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 141-153). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 2923). Springer Verlag.