• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •
Alan K. Mackworth. Constraint-Based Agents: The ABC’s of CBA’s. In Proc. 6th Int. Conf. on Principles and Practice of Constraint Programming – CP2000, pp. 1–10, Springer, Singapore, September 2000. (invited)
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.
@InProceedings{ICPPCS00,
author = {Alan K. Mackworth},
title = {Constraint-Based Agents: The ABC’s of CBA’s},
year = {2000},
month = {September},
booktitle = {Proc. 6th Int. Conf. on Principles and Practice of Constraint Programming – CP2000},
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 Mon Dec 20, 2010 13:33:00