Abstract
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 language | English (US) |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning |
Editors | Ilkka Niemela, Vladimir Lifschitz |
Publisher | Springer Verlag |
Pages | 289-301 |
Number of pages | 13 |
ISBN (Electronic) | 354020721X, 9783540207214 |
State | Published - 2004 |
Event | 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 - Fort Lauderdale, United States Duration: Jan 6 2004 → Jan 8 2004 |
Publication series
Name | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) |
---|---|
Volume | 2923 |
ISSN (Print) | 0302-9743 |
Other
Other | 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 |
---|---|
Country/Territory | United States |
City | Fort Lauderdale |
Period | 1/6/04 → 1/8/04 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2004.