Principles and Practice of Constraint Programming – CP 2000
Principles and Practice of Constraint Programming – CP 2000
复制标题
约束规划的原理和实践 – CP 2000
DOI：
10.1007/3-540-45349-0
复制
发表时间：
2001
期刊：
影响因子：
1.6
通讯作者：
R. Dechter
中科院分区：
文献类型：
--
作者：
R. Dechter
基于约束的代理（CBA）框架是一组工具，用于设计、模拟、构建、验证、优化、学习和调试嵌入在活动环境中的代理的控制器。由Zhang和Mackworth开发的约束网（Constraint Nets）将agent和环境对称地建模为可能是混合的动态系统。本文概述了CBA框架的开发和应用，强调了agent是在线约束满足设备的重要特殊情况。在这里，通常可以验证复杂的代理是否遵守实时时间约束规范，有时还可以自动合成控制器。CBA框架展示了将约束规划视为动态环境中在线约束求解器的强大功能。
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.