Abstract
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in an active environment. The agent and the environment are modelled symmetrically as, possibly hybrid, dynamical systems in Constraint Nets, as developed by Zhang and Mackworth. This paper is a tutorial overview of the development and application of the CBA framework, emphasizing the important special case where the agent is an online constraint-satisfying device. Here it is often possible to verify complex agents as obeying real-time temporal constraint specifications and, sometimes, to synthesize controllers automatically. The CBA framework demonstrates the power of viewing constraint programming as the creation of online constraint-solvers in dynamic environments.
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
R. A. Barman, S. J. Kingdon, J. J. Little, A. K. Mackworth, D. K. Pai, M. Sahota, H. Wilkinson, and Y. Zhang. Dynamo: Real-time experiments with multiple mobile robots. In Intelligent Vehicles Symposium, pages 261–266, Tokyo, July 1993.
R. A. Brooks. Intelligence without reason. In IJCAI-91, pages 569–595, Sydney, Australia, Aug. 1991.
J. Lavignon and Y. Shoham. Temporal automata. Technical Report STAN-CS-90-1325, Stanford University, Stanford, CA, 1990.
A. K. Mackworth. On seeing robots. In A. Basu and X. Li, editors, Computer Vision: Systems, Theory, and Applications, pages 1–13. World Scientific Press, Singapore, 1993.
A. K. Mackworth. Quick and clean: Constraint-based vision for situated robots. In IEEE Int’l. Conf. on Image Processing, pages 789–792, Lausanne, Switzerland, Sept. 1996.
A. K. Mackworth. Constraint-based design of embedded intelligent systems. Constraints, 2(1):83–86, 1997.
A. K. Mackworth. The dynamics of intelligence: Constraint-satisfying hybrid systems for perceptual agents. In Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, number SS-99-05 in AAAI, Spring Symposium Series, pages 210–214, Stanford, CA, Mar. 1999.
D. L. Poole, A. K. Mackworth, and R. G. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York, 1998.
S. J. Rosenschein and L. P. Kaelbling. The synthesis of machines with provable epistemic properties. In Joseph Halpern, editor, Proc. Conf. on Theoretical Aspects of Reasoning about Knowledge, pages 83–98. Morgan Kaufmann, Los Altos, CA, 1986.
M. Sahota and A. K. Mackworth. Can situated robots play soccer? In Proc. Artificial Intelligence 94, pages 249–254, Banff, Alberta, May 1994.
Y. Zhang and A. K. Mackworth. Modeling behavioral dynamics in discrete robotic systems with logical concurrent objects. In S. G. Tzafestas and J. C. Gentina, editors, Robotics and Flexible Manufacturing Systems, pages 187–196. Elsevier Science Publishers B. V., 1992.
Y. Zhang and A. K. Mackworth. Specification and verification of constraint-based dynamic systems. In A. Borning, editor, Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 229–242. Springer-Verlag, 1994.
Y. Zhang and A. K. Mackworth. Will the robot do the right thing? In Proc. Artificial Intelligence 94, pages 255–262, Banff, Alberta, May 1994.
Y. Zhang and A. K. Mackworth. Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138:211–239, 1995.
Y. Zhang and A. K. Mackworth. Constraint programming in Constraint Nets. In V. Saraswat and P. Van Hentenryck, editor, Principles and Practice of Constraint Programming, chapter 3, pages 49–68. The MIT Press, Cambridge, MA, 1995.
Y. Zhang and A. K. Mackworth. Synthesis of hybrid constraint-based controllers. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552–567. Springer Verlag, 1995.
Y. Zhang and A. K. Mackworth. A constraint-based controller for soccer-playing robots. In Proceedings of IROS’ 98, pages 1290–1295, Victoria, BC, Canada, Oct. 1998.
Y. Zhang and A. K. Mackworth. Using reactive deliberation for real-time control of soccer-playing robots. In H. Kitano, editor, RoboCup-97: Robot Soccer World Cup 1, pages 508–512. Springer-Verlag, Aug. 1998.
Y. Zhang and A. K. Mackworth. Modelling and analysis of hybrid systems: An elevator case study. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 370–396. Springer, Berlin, 1999.
Y. Zhang and A. K. Mackworth. A multi-level constraint-based controller for the Dynamo98 robot soccer team. In Minoru Asada and Hiroaki Kitano, editor, RoboCup-98: Robot Soccer World Cup II, pages 402–409. Springer, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mackworth, A.K. (2000). Constraint-Based Agents: The ABC’s of CBA’s. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-45349-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41053-9
Online ISBN: 978-3-540-45349-9
eBook Packages: Springer Book Archive