COLBERT: A Language for Reactive Control in Sapphira

The design criteria for Colbert are: 1. To have a simple language with standard iterative, sequential and conditional constructs. 2. To have a clear and understandable semantics based on FSAs. 3. To have a debugging environment in which the user can check the state of the system and redefine Colbert activities. 4. To have an small, fast, and portable executive.

[1]  David E. Wilkins,et al.  A Common Knowledge Representation for Plan Generation and Reactive Execution , 1995, J. Log. Comput..

[2]  Ronald C. Arkin,et al.  Integrating behavioral, perceptual, and world knowledge in reactive navigation , 1990, Robotics Auton. Syst..

[3]  David W. Payton,et al.  Plan guided reaction , 1990, IEEE Trans. Syst. Man Cybern..

[4]  R. James Firby.  Modularity Issues in Reactive Planning , 1996, AIPS.

[5]  W. Graham Richards,et al.  Art of electronics , 1983, Nature.

[6]  Jonathan H. Connell,et al.  SSS: a hybrid architecture applied to robot navigation , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[7]  Erann Gat,et al.  Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.

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

[9]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[10]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[12]  R. James Firby.  Task Networks for Controlling Continuous Processes , 1994, AIPS.

[13]  Leslie Pack Kaelbling,et al.  Action and planning in embedded agents , 1990, Robotics Auton. Syst..

[14]  Alessandro Saffiotti,et al.  The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..

[15]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[16]  Paul Horowitz,et al.  The Art of Electronics , 1980 .