Alan K. Mackworth's Publications

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

Constraint-Based Agents: The ABC's of CBA's

Alan K. Mackworth. Constraint-Based Agents: The ABC's of CBA's. In Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000, pp. 1–10, Springer, Singapore, September 2000. (invited)

Download

[PDF]140.2kB  

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.

BibTeX

@InProceedings{ICPPCS00,
  author =	 {Alan K. Mackworth},
  title =	 {Constraint-Based Agents: The ABC's of CBA's},
  year =	 {2000}, 
  month =        {September},
  booktitle =	 {Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming,  CP 2000},
  publisher =    {Springer},
  series =       {Lecture Notes in Computer Science},
  volume  =      {1894},
  address =      {Singapore},
  pages =         {1--10},
  note =         {(invited)},
  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.},
  bib2html_pubtype ={Refereed Conference Proceeding},
  bib2html_rescat ={},
}

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