@inproceedings{ff3d9a97e4af423c95ec13ca69c3420d,
title = "Preferential semantics for causal fixpoints",
abstract = "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.",
author = "Pavlos Peppas and Maurice Pagnucco and Mikhail Prokopenko and Norman Foo",
year = "1997",
doi = "10.1007/3-540-63797-4_72",
language = "English",
isbn = "3540637974",
volume = "1342",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "197--206",
editor = "Abdul Sattar",
booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",
address = "United States",
}