Causal propagation semantics—a study

Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya Nayak

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Citations (Scopus)


A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke’s possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham’s work on preferential semantics similarly provided a much needed framework to uniformly represent and compare a variety of nonmonotonic logics (including some logics of action). The present work develops a novel type of semantics for a particuleir causal approach to reasoning about action. The basic idea is to abandon the standard statespace of possible worlds and consider instead a larger set of possibiUties—a hyper-space—tracing the effects of auctions (including indirect effects) with the states in the hyper-space. Intuitively, the purpose of these hyper-states is to supply extra context to record the process of causality.

Original languageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence
Subtitle of host publication12th Australian Joint Conference on Artificial Intelligence, AI’99 Sydney, Australia, December 6–10, 1999 Proceedings
EditorsNorman Foo
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages15
ISBN (Electronic)9783540466956
ISBN (Print)9783540668220
Publication statusPublished - 1999
Event12th Australian Joint Conference on Artificial Intelligence, AI 1999 - Sydney, Australia
Duration: 6 Dec 199910 Dec 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th Australian Joint Conference on Artificial Intelligence, AI 1999


  • common-sense reasoning
  • nonmonotonic reasoning
  • temporal reasoning


Dive into the research topics of 'Causal propagation semantics—a study'. Together they form a unique fingerprint.

Cite this