A Formal Approach to Agent Design: An Overview of Constraint-Based Agents
A Formal Approach to Agent Design: An Overview of Constraint-Based Agents
复制标题
代理设计的形式化方法：基于约束的代理概述
作者：
Alan K. Mackworth;Y. Zhang
代理设计的形式化模型无论从实践还是理论上都是重要的。基于约束的代理设计方法包括两种形式化模型：约束网和时间∀自动机。约束网将智能体和环境对称地建模为可能的混合动态系统；时间∀自动机指定了所处环境中智能体所需的实时动态行为。给定所需行为的基于约束的规范，基于约束的代理可以被合成为约束求解器。使用形式化建模和规范，也可以验证复杂代理是否遵守实时时间约束规范。本文对CBA框架的发展和应用进行了综述。
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 ∀-automata. A constraint net models the agents and the environment symmetrically as, possibly hybrid, dynamical systems; a timed ∀-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.