ccGolog -- A Logical Language Dealing with Continuous Change

High-level robot controllers often need to specify event-driven behavior and they operate low-level processes which change the world in a continuous fashion. While non logic-based control languages have existed for some time to address these issues, this is not the case for logic-based languages. To remedy the situation, we show how to incorporate continuous change and event-driven behavior into the action language GOLOG. Besides proposing a suitable semantics for the new language, which we call cc-Golog, we show how a robot architecture where a high-level controller communicates via messages with low-level routines can be modeled naturally in this new dialect. Finally, we demonstrate how on-line execution and off-line projection can be combined in this language.

[1]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[2]  MA John Harrison PhD.  Theorem Proving with the Real Numbers , 1998, Distinguished Dissertations.

[3]  Karen L. Myers.  A Procedural Knowledge Approach to Task-Level Control , 1996, AIPS.

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

[5]  Raymond Reiter,et al.  Sequential, Temporal GOLOG , 1998, KR.

[6]  Alan Burns,et al.  Real-time systems and their programming languages , 1986, International computer science series.

[7]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[8]  Drew McDermott,et al.  A reactive plan language , 1991 .

[9]  Michael Beetz.  Structured reactive controllers: controlling robots that perform everyday activity , 1999, AGENTS '99.

[10]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[11]  Karen Zita Haigh,et al.  A layered architecture for office delivery robots , 1997, AGENTS '97.

[12]  Karen Zita Haigh,et al.  Xavier: experience with a layered robot architecture , 1997, SGAR.

[13]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

[14]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[15]  Michael Thielscher,et al.  The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.

[16]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[17]  Drew McDermott,et al.  Robot Planning , 1991, AI Mag..

[18]  Hector J. Levesque,et al.  Incremental execution of guarded theories , 2001, ACM Trans. Comput. Log..

[19]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[20]  Gerhard Lakemeyer,et al.  cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.

[21]  Javier Pinto,et al.  Integrating Discrete and Continuous Change in a Logical Framework , 1998, Comput. Intell..

[22]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[23]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[24]  Gerhard Lakemeyer,et al.  Turning High-Level Plans into Robot Programs in Uncertain Domains , 2000, ECAI.

[25]  Kurt Konolige.  COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.

[26]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

[27]  Gerhard Lakemeyer,et al.  Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework , 2000, Künstliche Intell..

[28]  Wolfram Burgard,et al.  MINERVA: a second-generation museum tour-guide robot , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[29]  Drew McDermott,et al.  An Algorithm for Probabilistic, Totally-Ordered Temporal Projection , 1994 .

[30]  Gerhard Lakemeyer,et al.  Belief Update in the pGOLOG Framework , 2001, KI/ÖGAI.

[31]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[32]  Wolfram Burgard,et al.  GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot , 1998, KI.

[33]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[34]  Christian Holzbaur.  OFAI clp(Q,R) Manual , 1995 .

[35]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[36]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[37]  Michael Beetz,et al.  Causal Models of Mobile Service Robot Behavior , 1998, AIPS.

[38]  Rob Miller,et al.  A Case Study in Reasoning about Actions and Continuous Change , 1996, ECAI.

[39]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .