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.
This is a preview of subscription content, log in via an institution to check access.
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
Alur, R.: Timed Automata, NATO-ASI, Summer School on Verification of Digital and Hybrid Systems (1998)
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Gelfond, M., Lifschitz, V.: Representing Action and Change by Logic Programs. Journal of Logic Programming 17, 301–321 (1993)
Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AIÂ 3(16) (1998)
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)
Marriott, K., Stuckey, P.: Constraint Programming. MIT Press, Cambridge (1998)
Lifschitz, V.: Answer set planning. In: Proc. ICLP 1999. LNCS, Springer, Heidelberg (1999)
Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)
Miller, R., Shanahan, M.: Narratives in the Situation Calculus. Journal of Logic and Computation (1994)
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)
Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamic Systems, vol. 1. Oxford University Press, Oxford (1995)
Doherty, P., et al.: TAL: Temporal Action Logics Language, http://www.ep.liu.se/ea/cis/1998/015/
Mukhopadhyay, S., Podelski, A.: Model Checking for Timed Logic Processes. Computational Logic, 598–612 (2000)
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)
Pinto, J.: Occurrences and narratives as constraints in the branching structure of the Situation Calculus. Journal of Logic and Computation 8, 777–808 (1994)
Reiter, R.: Natural actions, concurrency and continuous time in the situation calculus. In: Proc. KR, pp. 2–13. Morgan-Kauffman, San Francisco (1996)
Pinto, J., Reiter, R.: Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence 14, 251–268
Turner, H.: Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31, 245–298 (1997)
Ulusar, U.D., Akin, H.L.: Design and Implementation of a Real Time Planner for Robots. In: Proc. TAINN 2004, pp. 263–270 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simon, L., Mallya, A., Gupta, G. (2006). Design and Implementation of \({\mathcal A}_T\): A Real-Time Action Description Language. In: Hill, P.M. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2005. Lecture Notes in Computer Science, vol 3901. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11680093_4
Download citation
DOI: https://doi.org/10.1007/11680093_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32654-0
Online ISBN: 978-3-540-32656-4
eBook Packages: Computer ScienceComputer Science (R0)