@inbook{c71a12035f534ef690c3bddd469ccb6e,
title = "Causal propagation semantics—a study",
abstract = "A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke{\textquoteright}s possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham{\textquoteright}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.",
keywords = "common-sense reasoning, nonmonotonic reasoning, temporal reasoning",
author = "Mikhail Prokopenko and Maurice Pagnucco and Pavlos Peppas and Abhaya Nayak",
year = "1999",
doi = "10.1007/3-540-46695-9_32",
language = "English",
isbn = "9783540668220",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "378--392",
editor = "Norman Foo",
booktitle = "Advanced Topics in Artificial Intelligence",
address = "United States",
note = "12th Australian Joint Conference on Artificial Intelligence, AI 1999 ; Conference date: 06-12-1999 Through 10-12-1999",
}