Preferential semantics for causal fixpoints

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Foo

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

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
EditorsAbdul Sattar
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Number of pages10
ISBN (Electronic)9783540696490
ISBN (Print)3540637974, 9783540637974
Publication statusPublished - 1997
Event10th Australian Joint Conference on Artificial Intelligence, AI 1997 - Perth, Australia
Duration: 30 Nov 19974 Dec 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)03029743
ISSN (Electronic)16113349


Other10th Australian Joint Conference on Artificial Intelligence, AI 1997

Fingerprint Dive into the research topics of 'Preferential semantics for causal fixpoints'. Together they form a unique fingerprint.

Cite this