Strong equivalence for causal theories

Hudson Turner

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

20 Scopus citations


Strong equivalence is an important property for nonmonotonic formalisms, allowing safe local changes to a nonmonotonic theory This paper considers strong equivalence for nonmonotonic causal theories of the kind introduced by McCain and Turner. Causal theories T1 and T2 are strongly equivalent if, for every causal theory T, T1 U T and T2 U T are equivalent (that is, have the same causal models). The paper introduces a convenient characterization of this property in terms of so-called SE-models, much as was done previously for answer set programs and default theories. A similar result is provided for the nonmonotonic modal logic UCL. The paper also introduces a reduction from the problem of deciding strong equivalence of two causal theories to the problem of deciding equivalence of two sets of propositional formulas.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning
EditorsIlkka Niemela, Vladimir Lifschitz
PublisherSpringer Verlag
Number of pages13
ISBN (Electronic)354020721X, 9783540207214
StatePublished - 2004
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)
ISSN (Print)0302-9743


Other7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004
Country/TerritoryUnited States
CityFort Lauderdale

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2004.


Dive into the research topics of 'Strong equivalence for causal theories'. Together they form a unique fingerprint.

Cite this