• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •
Alan K. Mackworth and Ying Zhang. A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Constraints, 8(3):229–242, 2003.
Formal models for agent design are important for both practical and theoretical reasons. The Constraint-Based Agent (CBA) design approach includes two formal models: Constraint Nets and Timed b-automata. A constraint net models the agents and the environment symmetrically as, possibly hybrid, dynamical systems; a timed b-automaton specifies the desired real-time dynamic behaviors of the situated agents. Given a constraint-based specification of the desired behavior, a constraint-based agent can be synthesized as a constraint solver. Using formal modeling and specification, it is also possible to verify complex agents as obeying real-time temporal constraint specifications. This overview paper presents a summary of the development and application of the CBA framework.
@Article{Constraints03,
author = {Alan K. Mackworth and Ying Zhang},
title = {A Formal Approach to Agent Design: An Overview of Constraint-Based Agents},
year = {2003},
journal = {Constraints},
volume = {8},
number = {3},
pages = {229--242},
abstract = { Formal models for agent design are important for both practical and theoretical reasons.
The Constraint-Based Agent (CBA) design approach includes two formal models: Constraint
Nets and Timed b-automata. A constraint net models the agents and the environment
symmetrically as, possibly hybrid, dynamical systems; a timed b-automaton specifies the
desired real-time dynamic behaviors of the situated agents. Given a constraint-based
specification of the desired behavior, a constraint-based agent can be synthesized as a
constraint solver. Using formal modeling and specification, it is also possible to verify
complex agents as obeying real-time temporal constraint specifications. This overview paper
presents a summary of the development and application of the CBA framework.},
bib2html_pubtype ={Refereed Journal},
bib2html_rescat ={},
}
Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:34