@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Alan K. Mackworth's publication pages at
@COMMENT http://www.cs.ubc.ca/~mack/publications
@Article{ACMCS96,
author = {Alan K. Mackworth},
title = {Constraint-Based Design of Embedded Intelligent Systems},
year = {1996},
journal = {ACM Computing Surveys},
volume = {28},
pages = {67--es},
note = {Also in Constraints, 2, 83-86, 1997.},
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.
},
bib2html_pubtype ={Refereed Journal},
bib2html_rescat ={},
}