Abstract
In this paper, we further develop a framework for reasoning about action. We show how the proposed formalism copes with complex action domains in the presence of indirect effects. Furthermore, we also introduce an alternative representation of dynamic systems that enables the proposed formalism to deal with sophisticated problems. We consider this to be the intermediate level between common-sense knowledge and scientific knowledge.
This work was performed while the first author was at the School of Computer Science and Engineering, University of New South Wales.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Bondarenko, Phan M. Dung, Robert A. Kowalski, and Francesca Toni. An abstract, argumentation-theoretic approach to default reasoning. AIJ, 93:63–101, 1997.
T. Drakengren and M. Bjäreland. Reasoning about action in polynomial time. AIJ, 115:1–24, 1999.
Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In International Joint Conference on Artificial Intelligence, 1995.
Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications. In International Joint Conference on Artificial Intelligence, 1995.
Norman McCain and Hudson Turner. Causal theories of action and change. In National Conference on Artificial Intelligence, pages 460–465, 1997.
Eric Sandewall. Features and Fluents. Oxford University Press, Oxford, 1994.
Michael Thielscher. Ramification and causality. AIJ, 89:317–364, 1997.
Quoc Bao Vo. M eta-Constructs and Their Roles in Common Sense Reasoning. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, 2001. Submitted.
Quoc Bao Vo and Norman Y. Foo. Solving the qualification problem (in the presence of the frame problem). In Australian Joint Conference on Artificial Intelligence, pages 519–531, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vo, Q.B., Foo, N.Y. (2002). Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. In: Ishizuka, M., Sattar, A. (eds) PRICAI 2002: Trends in Artificial Intelligence. PRICAI 2002. Lecture Notes in Computer Science(), vol 2417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45683-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-45683-X_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44038-3
Online ISBN: 978-3-540-45683-4
eBook Packages: Springer Book Archive