Abstract
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 particular causal approach to reasoning about action. The basic idea is to abandon the standard state-space of possible worlds and consider instead a larger set of possibilities — a hyper-space — tracing the effects of actions (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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge Massachusetts, 1988.
Matthew L. Ginsberg and David E. Smith. Reasoning about action I: A possible worlds approach. Artificial Intelligence 35:165–195, 1988.
Joakim Gustafsson and Patrick Doherty. Embracing occlusion in specifying the indirect effects of actions. In L. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning, pp. 87–98. Morgan-Kaufmann, 1996.
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects (Preliminary report). In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 341–350. Bonn, 1994.
Sarit Kraus, Daniel Lehmann and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics, Artificial intelligence, 44:167–207,1991.
Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In Proceedings of International Joint Conference on Artificial Intelligence, Montreal 1985–1991, 1995.
Vladimir Lifschitz. Two components of an action language. In Proceedings of the Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, 1996.
Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1978–1984. Montreal, 1995.
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Abhaya Nayak and Norman Foo. Preferential semantics for causal systems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 118–123. Stockholm, 1999.
Mikhail Prokopenko and Pavlos Peppas. Modelling inertia in action languages (Extended Report). In G. Antoniou, A. K. Ghose and M. Truszczynski (eds.) Inducing and Reasoning with Complex Representations, Springer Verlag Lecture Notes in AI, Volume 1359, pages 236–249, 1998.
Erik Sandewall. Assessments of ramification methods that use static domain constraints. In L. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning. Morgan-Kaufmann, 1996.
Yoav Shoham. Reasoning About Change. MIT Press, Cambridge, Massachusetts, 1988.
Michael Thielscher. Ramification and causality. Artificial Intelligence 89: 317–364, 1997.
Marianne Winslett. Reasoning about actions using a possible models approach. In Proceedings of the Seventh National Artificial Intelligence Conference, pp. 89–93, San Mateo, CA., 1988. Morgan Kaufmann Publishers.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prokopenko, M., Pagnucco, M., Peppas, P., Nayak, A. (1999). Causal Propagation Semantics — A Study. In: Foo, N. (eds) Advanced Topics in Artificial Intelligence. AI 1999. Lecture Notes in Computer Science(), vol 1747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46695-9_32
Download citation
DOI: https://doi.org/10.1007/3-540-46695-9_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66822-0
Online ISBN: 978-3-540-46695-6
eBook Packages: Springer Book Archive