Design and Implementation of AT: A Real-Time Action Description Language

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.

[1]  Enrico Pontelli,et al.  A constraint-based approach for specification and verification of real-time systems , 1997, Proceedings Real-Time Systems Symposium.

[2]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.

[3]  Danny De Schreye,et al.  Answer Set Planning , 1999 .

[4]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[5]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[6]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[7]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

[8]  Michael Gelfond,et al.  An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.

[9]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[10]  Enn Tyugu,et al.  Constraint Programming , 1994, NATO ASI Series.

[11]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[12]  Javier Pinto,et al.  Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus , 1998, J. Log. Comput..

[13]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

[14]  Supratik Mukhopadhyay,et al.  Model Checking for Timed Logic Processes , 2000, Computational Logic.

[15]  Raymond Reiter,et al.  Reasoning about time in the situation calculus , 1995, Annals of Mathematics and Artificial Intelligence.

[16]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..