Abstract
Substantial progress has been achieved using the standard Constraint Satisfaction Problem framework. However, there is a major unsolved challenge confronting the constraint research community: the constraint-based design of embedded intelligent systems. This requires a new online model of constraint satisfaction and new computational tools for specifying, modeling, verifying and implementing constraint-based, hybrid, intelligent systems, such as robots. The Constraint Net model of Zhang and Mackworth allows the design of hybrid intelligent systems as situated robots: modeling the robot and the environment symmetrically as dynamic systems. If the robot's perceptual and control systems are designed as constraint-satisfying devices then the total robotic system, consisting of the robot symmetrically coupled to the environment, can be proven correct. Some theoretical and practical advances based on this model are described, including experiments with the constraint-based design of robot soccer players.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barman, R. A., Kingdon, S. J., Little, J. J., Mackworth, A. K., Pai, D. K., Sahota, M., Wilkinson, H., & Zhang, Y. (1993). DYNAMO: Real-time experiments with multiple mobile robots. In Intelligent Vehicles.86 A.K. MACKWORTH Symposium, pages 261–266, Tokyo.
Horswill, I. D. & Brooks, R. A. (1988). Situated vision in a dynamic world: Chasing objects. In AAAI-88, pages 796–800, St. Paul, MN.
Mackworth, A. K. (1993). On seeing robots. In Basu, A. and Li, X., editors, Computer Vision: Systems, Theory, and Applications, pages 1–13. World Scientific Press, Singapore.
Sahota, M. & Mackworth, A. K. (1994). Can situated robots play soccer? In Proc.Artificial Intelligence 94, pages 249–254, Banff, Alberta.
Zhang, Y. & Mackworth, A. K. (1994a). Specification and verification of constraint-based dynamic systems. In Borning, A., editor, Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 229–242. Springer-Verlag.
Zhang, Y. & Mackworth, A. K. (1994b). Will the robot do the right thing? In Proc.Artificial Intelligence 94, pages 255–262, Banff, Alberta.
Zhang, Y. & Mackworth, A. K. (1995a). Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138:211–239.
Zhang, Y. & Mackworth, A. K. (1995b). 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.
Zhang, Y. & Mackworth, A. K. (1995c). Synthesis of hybrid constraint-based controllers. In Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S., editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552–567. Springer Verlag.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mackworth, A.K. Constraint-Based Design of Embedded Intelligent Systems. Constraints 2, 83–86 (1997). https://doi.org/10.1023/A:1009705224515
Issue Date:
DOI: https://doi.org/10.1023/A:1009705224515