TY - GEN
T1 - Preferential semantics for causal fixpoints
AU - Peppas, Pavlos
AU - Pagnucco, Maurice
AU - Prokopenko, Mikhail
AU - Foo, Norman
PY - 1997
Y1 - 1997
N2 - In this paper we concentrate on the causal theory of action developed by McCain and Turner [2] for computing ramifications. Our aim here is to characterise this theory of action in terms of a preferentialstyle semantics in the spirit of Shoham [4]. Such a result would not only place McCain and Turner's theory in a uniform setting, facilitating comparison with other logics of action, but also give a clearer insight into the nature and behaviour of causality captured by their framework. We first show that this objective is not attainable via a traditional preferential semantics. However, preferential semantics is not abandoned entirely. Rather, it is augmented to arrive at the desired result. We maintain that two components — minimal change and causality — are essential in providing a (concise) solution to the frame and ramification problems.
AB - In this paper we concentrate on the causal theory of action developed by McCain and Turner [2] for computing ramifications. Our aim here is to characterise this theory of action in terms of a preferentialstyle semantics in the spirit of Shoham [4]. Such a result would not only place McCain and Turner's theory in a uniform setting, facilitating comparison with other logics of action, but also give a clearer insight into the nature and behaviour of causality captured by their framework. We first show that this objective is not attainable via a traditional preferential semantics. However, preferential semantics is not abandoned entirely. Rather, it is augmented to arrive at the desired result. We maintain that two components — minimal change and causality — are essential in providing a (concise) solution to the frame and ramification problems.
UR - http://www.scopus.com/inward/record.url?scp=84961320136&partnerID=8YFLogxK
U2 - 10.1007/3-540-63797-4_72
DO - 10.1007/3-540-63797-4_72
M3 - Conference proceeding contribution
AN - SCOPUS:84961320136
SN - 3540637974
SN - 9783540637974
VL - 1342
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 197
EP - 206
BT - Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
A2 - Sattar, Abdul
PB - Springer, Springer Nature
CY - Berlin; New York
T2 - 10th Australian Joint Conference on Artificial Intelligence, AI 1997
Y2 - 30 November 1997 through 4 December 1997
ER -