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

10 years 4 days ago
Constraint-Based Agents: The ABC's of CBA's
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 speciļ¬cations 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.
Alan K. Mackworth
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CP
Authors Alan K. Mackworth
Comments (0)