Abstract
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.
The current implementation of Colbert fulfills these objectives. Whether Colbert will be successful as a robot control language remains to be seen. Currently it is only available as part of a larger robot architecture, Sapphira, and so is limited to that user community. But it should be possible to adjoin Colbert to other architectures, where it would function as the sequential controller for the system. Given that Colbert programs are compact and easily transferred, we hope to build up a library of useful routines that can be shared in the user community.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. C. Arkin, Integrating behavioral, perceptual and world knowledge in reactive navigation, Robotics and Autonomous Systems, 6:105–122, 1990.
R A. Brooks and C. Rosenberg, L-A Common Lisp for embedded systems, Association of Lisp Users Meeting and Workshop LUV (1995).
J. Connell, SSS: A hybrid architecture applied to robot navigation, in Proceedings of the IEEE Conference on Robotics and Automation, pp. 2719–2724, 1992.
R. J. Firby, Task networks for controlling continuous processes, in Second International Conference on AI Planning Systems, pp. 49–54, 1994.
R. J. Firby, Modularity issues in reactive planning, in Third International Conference on AI Planning Systems, Edinburgh, Scotland, pp. 78–85, 1996.
E. Gat, Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots, in Proceedings of the AAAI Conference, 1992.
M. P. Georgeff and A. L. Lansky, Reactive reasoning and planning, in Proceedings AAAI Conference, pp. 677–682, 1987.
J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory Languages, and Computation, Addison-Wesley, 1979.
P. Horowitz and W. Hill, The Art of Electronics, Cambridge University Press, 1989.
L. Kaelbling and S. Rosenschein, Action and planning in embedded agents, Robotics and Autonomous Systems, 6:35–48, 1990.
K. Konolige, K. Myers, A. Saffiotti and E. Ruspini, The Saphira architecture: a design for autonomy, Journal of Experimental and Theoretical Artificial Intelligence, 9 (1997) pp. 215–235.
H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R, Scherl, GOLOG: A logic programming language for dynamic domains, Journal of Logic Programming, 1996.
H. Levesque, Concurrency in the situation calculus, in preparation.
K. L. Myers, A procedural knowledge approach to task-level control, in Proceedings of the Third International Conference on A1 Planning Systems, AAAI Press, 1996.
D. W. Payton, J. K. Rosenblatt, and D.M. Keirsey, Plan guided reaction, IEEE Trans. on Systems, Man, and Cybernetics 20 (6), 1990.
D. E. Wilkins and K. L. Myers, A common knowledge representation for plan generation and reactive execution, Journal of Logic and Computation 5(6), pp. 731–761, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Konolige, K. (1997). COLBERT: A language for reactive control in Sapphira. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_2
Download citation
DOI: https://doi.org/10.1007/3540634932_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63493-5
Online ISBN: 978-3-540-69582-0
eBook Packages: Springer Book Archive