Alan K. Mackworth's Publications

Sorted by DateClassified by Publication TypeSorted by First Author Last NameClassified by Author Last Name

Constraint-Based Design of Embedded Intelligent Systems

Alan K. Mackworth. Constraint-Based Design of Embedded Intelligent Systems. ACM Computing Surveys, 28:67–es, 1996. Also in Constraints, 2, 83-86, 1997.

Download

[PDF]83.0kB  

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.

BibTeX

@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 <I>Constraints</I>, 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 ={},
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:34