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)

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.

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
Pages197-206
Number of pages10
Volume1342
ISBN (Electronic)9783540696490
ISBN (Print)3540637974, 9783540637974
DOIs
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)
Volume1342
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other10th Australian Joint Conference on Artificial Intelligence, AI 1997
CountryAustralia
CityPerth
Period30/11/974/12/97

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

Cite this