Studia Logica

, Volume 79, Issue 1, pp 115–134 | Cite as

Alan: An Action Language For Modelling Non-Markovian Domains

  • Graciela GonzálezEmail author
  • Chitta Baral
  • Michael Gelfond


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.


Markovian Model Mathematical Logic Logic Program Temporal Action Future State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    BACCHUS, F., C. BOUTILIER, and A. GROVE, ‘Structured solution methods for nonmarkovian decision processes’, in AAAI 97, 1997, pp. 112–117.Google Scholar
  3. 3.
    BARAL, C., ‘Knowledge Representation, Reasoning and Declarative Problem Solving’, Cambridge University Press, 2003.Google Scholar
  4. 4.
    BARAL, C., and M. GELFOND, ‘Reasoning agents in dynamic domains’, in J Minker, (ed.), Logic Based AI, Kluwer, 2000.Google Scholar
  5. 5.
    BARAL, C., M. GELFOND, and A. PROVETTI, ‘Representing Actions: Laws, Observations and Hypothesis’, Journal of Logic Programming, 31(1–3):201–243, May 1997.CrossRefGoogle Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    GABALDON, A., ‘Non-markovian control in the situation calculus’, in Proceedings of the Second International Workshop on Cognitive Robotics, Berlin, Germany, 2000.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    GELFOND, M., and V. LIFSCHITZ, ‘Representing actions and change by logic programs’, Journal of Logic Programming, 17(2,3,4):301–323, 1993.CrossRefGoogle Scholar
  10. 10.
    GELFOND, M., and V. LIFSCHITZ, ‘Action languages’, ETAI, 2(3–4):193–210, 1998.Google Scholar
  11. 11.
    GONZALEZ, G., A Display Specification Language for Multimedia Databases, 2000, Ph. D. Thesis, Department of Computer Science, University of Texas at El Paso.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    HIRZALLA, N., B. FALCHUK, and A. KARMOUCH, ‘A temporal model for interactive multimedia scenarios’, IEEE MultiMedia, 2(3):24–31, Fall 1995.CrossRefGoogle Scholar
  15. 15.
    KERAMANE, C., and A. DUDA, ‘Operator based composition of structured multimedia presentations’, in COST 237 Workshop, 1997, pp. 1–17.Google Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    MCCAIN, N., and H. TURNER, Causal theories of action and change. In Proc. of AAAI, pages 460–465, 1997.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    MENDEZ, G., J LLOPIS, J. LOBO, and C. BARAL, ‘Temporal logic and reasoning about actions’, in Common Sense 96, 1996.Google Scholar
  21. 21.
    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.Google Scholar
  22. 22.
    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.Google Scholar
  23. 23.
    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.Google Scholar
  24. 24.
    SANDEWALL, E., Special issue. Electronic Transactions on Artificial Intelligence, 2(3-4):159–330, 1998. Scholar
  25. 25.
    WAHL, T., and K. ROTHERMEL, ‘Representing time in multimedia systems’, in International Conference on Multimedia Computing and Systems, 1994, pp. 538–543.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  • Graciela González
    • 1
    Email author
  • Chitta Baral
    • 2
  • Michael Gelfond
    • 3
  1. 1.Dept. of Computer ScienceSam Houston State UniversityHuntsvilleU.S.A.
  2. 2.Dept. of Computer ScienceArizona State UniversityTempeUSA
  3. 3.Dept. of Computer ScienceTexas Tech UniversityLubbockU.S.A.

Personalised recommendations