Preferential Semantics for Causal Systems

Peppas, Pavlos; Pagnucco, Maurice; Prokopenko, Mikhail; Foo, Norman Y.; Nayak, Abhaya C.

Preferential Semantics for Causal Systems

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak

Download BibTeX Cite

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 118-122.

Abstract

In the present work we examine the causal theory of actions put forward by McCain and Turner [McCain and Turner, 1995] for determining ramifications. Our principal aim is to provide a characterisation of this causal theory of actions in terms of a Shoham-like preferential semantics [Shoham, 1988]. This would have a twofold advantage: it would place McCain and Turner's theory in perspective, allowing a comparison with other logics of action; and, it would allow us to glean further insights into the nature of causality underlying their work. We begin by showing that our aim is not attainable by a preferential mechanism alone. At this point we do not abandon preferential semantics altogether but augment it in order to arrive at the desired result. We draw •'le following moral which is at the heart of our paper: two components - minimal change under a preferential structure and causality - are required to provide a concise solution to the frame and ramification problems.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, and Abhaya C. Nayak. 1999. Preferential Semantics for Causal Systems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. IJCAI, 118–122. https://ijcai.org/proceedings/1999/18

@inproceedings{ijcai1999p18,
  title     = {Preferential Semantics for Causal Systems},
  author    = {Peppas, Pavlos and Pagnucco, Maurice and Prokopenko, Mikhail and Foo, Norman Y. and Nayak, Abhaya C.},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-99}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Thomas Dean},
  pages     = {118--122},
  year      = {1999},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1999/18},
}

TY  - CPAPER
TI  - Preferential Semantics for Causal Systems
AU  - Peppas, Pavlos
AU  - Pagnucco, Maurice
AU  - Prokopenko, Mikhail
AU  - Foo, Norman Y.
AU  - Nayak, Abhaya C.
T2  - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1999
SP  - 118
EP  - 122
UR  - https://ijcai.org/proceedings/1999/18
ER  -