A unifying semantics for causal ramifications

Mikhail Prokopenko*, Maurice Pagnucco, Pavlos Peppas, Abhaya Nayak

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

2 Citations (Scopus)


A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. However, it has been shown recently that a pure preferential semantics alone is not capable of providing such a unifying framework. On the other hand, variants of preferential semantics augmented by additional structures on the state space have been successfully used to characterise some influential approaches to reasoning about action and causality. The primary aim of this paper is to provide an augmented preferential semantics that is general enough to unify two prominent frameworks for reasoning about action and causality - Sandewall's causal propagation semantics [4] and Thielscher's causal relationships approach [5]. There are indications that these and other different augmented preferential semantical approaches can by unified into a general framework, and provide the unified semantics that is lacking so far.

Original languageEnglish
Title of host publicationPRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Number of pages12
Volume1886 LNAI
ISBN (Print)3540679251, 9783540679257
Publication statusPublished - 2000
Event6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 - Melbourne, VIC, Australia
Duration: 28 Aug 20001 Sep 2000

Publication series

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


Other6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000
CityMelbourne, VIC


Dive into the research topics of 'A unifying semantics for causal ramifications'. Together they form a unique fingerprint.

Cite this