Abstract
In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model interactive multimedia presentations where the Markov property does not always hold. In general, Alan allows the specification of systems where the future state of the world depends not only on the current state, but also on the past states of the world. To the best of our knowledge, Alan is the first action language which incorporates causality with temporal formulas. In the process of defining the effect of actions we define the closure with respect to a path rather than to a state, and show that the non-Markovian model is an extension of the traditional Markovian model. Finally, we establish relationship between theories of Alan and logic programs.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
ARAVINDAN, C., and P. DUNG, ‘On the correctness of unfold/fold transformation of normal and extended logic programs’, in Journal of Logic Programming, 1995, pp. 201–217.
BACCHUS, F., C. BOUTILIER, and A. GROVE, ‘Structured solution methods for nonmarkovian decision processes’, in AAAI 97, 1997, pp. 112–117.
BARAL, C., ‘Knowledge Representation, Reasoning and Declarative Problem Solving’, Cambridge University Press, 2003.
BARAL, C., and M. GELFOND, ‘Reasoning agents in dynamic domains’, in J Minker, (ed.), Logic Based AI, Kluwer, 2000.
BARAL, C., M. GELFOND, and A. PROVETTI, ‘Representing Actions: Laws, Observations and Hypothesis’, Journal of Logic Programming, 31(1–3):201–243, May 1997.
CITRIGNO, S., T. EITER, W. FABER, G. GOTTLOB, C. KOCH, N. LEONE, C. MATEIS, G. PFEIFER, and F. SCARCELLO, ‘The dlv system: Model generator and application front ends’, in Proceedings of the 12th Workshop on Logic Programming, 1997, pp. 128–137.
GABALDON, A., ‘Non-markovian control in the situation calculus’, in Proceedings of the Second International Workshop on Cognitive Robotics, Berlin, Germany, 2000.
GELFOND, M., and V. LIFSCHITZ, ‘The stable model semantics for logic programming’, in R. Kowalski and K. Bowen, (eds.), Logic Programming: Proc. of the Fifth International Conference and Symposium, MIT Press, 1988, pp. 1070–1080.
GELFOND, M., and V. LIFSCHITZ, ‘Representing actions and change by logic programs’, Journal of Logic Programming, 17(2,3,4):301–323, 1993.
GELFOND, M., and V. LIFSCHITZ, ‘Action languages’, ETAI, 2(3–4):193–210, 1998.
GONZALEZ, G., A Display Specification Language for Multimedia Databases, 2000, Ph. D. Thesis, Department of Computer Science, University of Texas at El Paso.
GONZALEZ, G., C. BARAL, and P. COOPER, ‘Modeling multimedia displays using action based temporal logic’, in IFIP Sixth Working Conference on Visual Database Systems, Brisbane, Australia, Kluwer, 2002, pp. 141–155.
HAUSER, J., ‘Realization of an Extensible Multimedia Document Model’, in Multimedia '99 - Media Convergence: Models, Technologies and Applications, Milano, Italy, Springer Verlag, Wien, September 1999, pp. 113–122.
HIRZALLA, N., B. FALCHUK, and A. KARMOUCH, ‘A temporal model for interactive multimedia scenarios’, IEEE MultiMedia, 2(3):24–31, Fall 1995.
KERAMANE, C., and A. DUDA, ‘Operator based composition of structured multimedia presentations’, in COST 237 Workshop, 1997, pp. 1–17.
MAREK, W., and V. S. SUBRAHMANIAN, ‘The relationship between logic program semantics and non-monotonic reasoning’, in G. Levi and M. Martelli, (eds.), Proc. of the Sixth International Conference on Logic Programming, 1989, pp. 600–617.
MCCAIN, N., and H. TURNER, ‘A causal theory of rami.cations and quali.cations’, in C. Mellish, (ed.), Proc. of IJCAI 95, Morgan Kaufmann, 1995, pp. 1978–1984.
MCCAIN, N., and H. TURNER, Causal theories of action and change. In Proc. of AAAI, pages 460–465, 1997.
MCCARTHY, J., and P. HAYES, ‘Some philosophical problems from the standpoint of artificial intelligence’, in B. Meltzer and D. Michie, (eds.), Machine Intelligence, volume 4, Edinburgh University Press, Edinburgh, 1969, pp. 463–502.
MENDEZ, G., J LLOPIS, J. LOBO, and C. BARAL, ‘Temporal logic and reasoning about actions’, in Common Sense 96, 1996.
NIEMELA, I., and P. SIMONS, ‘Smodels – an implementation of the stable model and well-founded semantics for normal logic programs’, in Proc. 4th International Conference on Logic Programming and Non-monotonic Reasoning, Springer, 1997, pp. 420–429.
PAZANDAK, P., and J. SRIVASTAVA, ‘Interactive Multi-User Multimedia Environments on the Internet: An Overview of DAMSEL and Its Implementation’, in Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996, pp. 287-290.
SAMPAIO, P. N. M., and J.-P. COURTIAT, ‘A formal approach for the presentation of interactive multimedia documents’, in ACM Multimedia, 2000, pp. 435–438.
SANDEWALL, E., Special issue. Electronic Transactions on Artificial Intelligence, 2(3-4):159–330, 1998.http://www.ep.liu.se/ej/etai/
WAHL, T., and K. ROTHERMEL, ‘Representing time in multimedia systems’, in International Conference on Multimedia Computing and Systems, 1994, pp. 538–543.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
González, G., Baral, C. & Gelfond, M. Alan: An Action Language For Modelling Non-Markovian Domains. Stud Logica 79, 115–134 (2005). https://doi.org/10.1007/s11225-005-0498-5
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-0498-5