Abstract
The first step in reasoning about actions and change involves reasoning about how the world would evolve if a certain action is executed in a certain state. Most research on this assumes the evolution to be only a single step and focus on formulating the transition function that defines changes between states due to actions. In this paper we consider cases where the evolution is more than just a single change between one state and another. This is manifested when the execution of an action may trigger execution of other actions, or when multiple agents act on the environment following certain strategies.
Similar content being viewed by others
References
BARAL, C., M. GELFOND, and A. PROVETTI, ‘Representing actions: Laws, observations and hypothesis’, Journal of Logic Programming, 31(1–3):201–243, May 1997.
BARAL, C., V. KREINOVICH, and R. TREJO, ‘Computational complexity of planning with temporal goals’, in Proc. IJCAI'01, 2001.
BARAL, C., N. TRAN, and T. LE, ‘Reasoning about actions in a probabilistic setting’, in Proc. AAAI'02, 2002, pp. 507–512.
CALVANESE, D., G. DE GIACOMO, and M. VARDI, ‘Reasoning about actions and planning in LTL action theories’, in Proc. KR'02, 2002, pp. 593–602.
GELFOND, M., and V. LIFSCHITZ, ‘Representing actions and change by logic programs’, J. Logic Prog., 17:301–323, 1993.
GEORGEFF, M., (ed.), Journal of Logic and Computation, Special issue on Action and Processes, volume 4, Oxford University Press, October 1994.
HANCOCK, J., Cell signalling, Longman, 1997.
LEVESQUE, H., ‘What is planning in the presence of sensing’, in Proc. AAAI'96, 1996, pp. 1139–1146,
LIFSCHITZ, V., (ed.), Special issue of Journal of Logic Programming on reasoning about actions and change, volume 31, May 1997.
MCCAIN, N., and H. TURNER, ‘A causal theory of ramifications and qualifications’, in Proc. of IJCAI'95, 1995, pp. 1978–1984.
PEARL, J., ‘Reasoning with cause and effect’, in Proc. of IJCAI'99, 1999, pp. 1437–1449.
PEARL, J., Causality, Cambridge University Press, 2000.
PINTO, J. A., Temporal reasoning in the situation calculus, PhD thesis, University of Toronto, Department of Computer Science, 1994.
PIRRI, F., and R. Reiter, Planning with natural actions in the situation calculus, 2000, pp. 213–231.
POOLE, D., ‘The independent choice logic for modelling multiple agents under uncertainty’, AI journal, 94:7–56, 1997.
REITER, R., ‘Natural actions, concurrency and continuous time in the situation calculus’, in L. Aiello, J. Doyle, and S. Shapiro, (eds.), KR'96, 1996, pp. 2–13,
REITER, R., A formal account of planning with concurrency, continuous time and natural actions.
SANDEWALL, E., Special issue, ETAI, 2(3-4):159–330, 1998.
SANDEWALL, E., ‘Combining logic and di.erential equations for describing real-world systems’, in R. Brachman, H. Levesque, and R. Reiter, (eds.), Proceedings of KR, Morgan Kaufmann, Toronto, Canada, 1989, pp. 412–420.
SHANAHAN, M., ‘Representing continuous change in the event calculus’, in European Conference on Artificial Intelligence, 1990, pp. 598–603.
SON, T., and C. BARAL, ‘Formalizing sensing actions: a transition function based approach’, AI journal, 125(1-2):19–93, 2001.
THIELSCHER, M., ‘Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains — and a case study’, in Proceedings of AAAI/IAAI 2000, 2000, pp. 497–502.
WIDOM, J., and S. CERI, (eds.), Active Database Systems - Triggers and Rules for advanced database processing, Morgan Kaufmann, 1996.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Baral, C., Tran, N. Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. Stud Logica 79, 33–46 (2005). https://doi.org/10.1007/s11225-005-0493-x
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-0493-x