Advertisement

Design and Implementation of \({\mathcal A}_T\): A Real-Time Action Description Language

  • Luke Simon
  • Ajay Mallya
  • Gopal Gupta
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3901)

Abstract

Real world applications of action description languages involve systems that have real-time constraints. The occurrence of an action is just as important as the time at which the action occurs. In order to be able to model such real-time systems, the action description language A is extended with real-time clocks and constraints. The formal syntax and semantics of the extended language are defined, and the use of logic programming as a means to an implementation of real-time A is discussed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alur, R.: Timed Automata, NATO-ASI, Summer School on Verification of Digital and Hybrid Systems (1998)Google Scholar
  2. 2.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)CrossRefzbMATHGoogle Scholar
  3. 3.
    Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)Google Scholar
  4. 4.
    Gelfond, M., Lifschitz, V.: Representing Action and Change by Logic Programs. Journal of Logic Programming 17, 301–321 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI 3(16) (1998)Google Scholar
  6. 6.
    Gupta, G., Pontelli, E.: A Constraint based Approach to the Specification and Verification of Real-Time Systems. In: Proc. IEEE RTSS, pp. 230–239 (1997)Google Scholar
  7. 7.
    Marriott, K., Stuckey, P.: Constraint Programming. MIT Press, Cambridge (1998)zbMATHGoogle Scholar
  8. 8.
    Lifschitz, V.: Answer set planning. In: Proc. ICLP 1999. LNCS, Springer, Heidelberg (1999)Google Scholar
  9. 9.
    Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)Google Scholar
  10. 10.
    Miller, R., Shanahan, M.: Narratives in the Situation Calculus. Journal of Logic and Computation (1994)Google Scholar
  11. 11.
    Miller, R., Shanahan, M.: Some Alternative Formulations of the Event Calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, Springer, Heidelberg (2002)Google Scholar
  12. 12.
    Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamic Systems, vol. 1. Oxford University Press, Oxford (1995)zbMATHGoogle Scholar
  13. 13.
    Doherty, P., et al.: TAL: Temporal Action Logics Language, http://www.ep.liu.se/ea/cis/1998/015/
  14. 14.
    Mukhopadhyay, S., Podelski, A.: Model Checking for Timed Logic Processes. Computational Logic, 598–612 (2000)Google Scholar
  15. 15.
    Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Pinto, J.: Occurrences and narratives as constraints in the branching structure of the Situation Calculus. Journal of Logic and Computation 8, 777–808 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Reiter, R.: Natural actions, concurrency and continuous time in the situation calculus. In: Proc. KR, pp. 2–13. Morgan-Kauffman, San Francisco (1996)Google Scholar
  18. 18.
    Pinto, J., Reiter, R.: Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence 14, 251–268Google Scholar
  19. 19.
    Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31, 245–298 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Ulusar, U.D., Akin, H.L.: Design and Implementation of a Real Time Planner for Robots. In: Proc. TAINN 2004, pp. 263–270 (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Luke Simon
    • 1
  • Ajay Mallya
    • 1
  • Gopal Gupta
    • 1
  1. 1.Department of Computer ScienceUniversity of Texas at DallasUSA

Personalised recommendations