Loading...
Please wait, while we are loading the content...
Similar Documents
A formal approach to agent design: An overview of constraint-based agents (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Mackworth, Alan K. Zhang, Ying |
| Abstract | 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. |
| File Format | |
| Volume Number | 8 |
| Journal | Constraints |
| Language | English |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Constraint-based Agent Agent Design Formal Approach Formal Model Desired Behavior Real-time Temporal Constraint Specification Timed B-automata Constraint Net Model Theoretical Reason Constraint Net Constraint-based Specification Formal Modeling Design Approach Dynamical System Complex Agent Overview Paper Constraint Solver Situated Agent Cba Framework Timed B-automaton Specifies Desired Real-time Dynamic Behavior |
| Content Type | Text |
| Resource Type | Article |