Constraint-based computational intelligence

这项研究计划的重点是基于约束的计算智能。我们为基于约束的智能系统的设计和实现发展了一个形式化的理论。我们的基于约束的智能体(CBA)框架是一套理论和实践工具，用于为嵌入在主动环境中的智能体设计、仿真、构建、验证、优化、学习和调试控制器。在本研究计划中开发的约束网(CN)动态系统语言中，代理和环境被对称地建模为可能的混合系统。我们打算开发和应用CBA框架，强调重要的特殊情况，即代理是在线约束满足设备。在这里，经常可以验证复杂的代理是否遵守实时时间约束规范，有时还可以自动合成控制器。CBA框架展示了将约束编程视为动态约束的在线约束求解器的力量。我们未来五年的目标是进一步发展这一理论，并在我们实验室的各种机器人系统上使用实验实现来验证和改进它。这项研究计划的重点是基于约束的计算智能。我们已经为基于约束的智能系统的设计和实现建立了形式化的理论，这项工作的实验环境包括我们首创的足球比赛平台、CBA Java环境和一套具有车载实时立体和彩色视觉的移动机器人。我们建议使用CBA模型来实现足球、导航和操纵等多智能体实时协作活动所需的控制、感知和协调算法。这种方法的科学新颖性源于它的形式基础、它的实用性和作为混合智能系统的统一理论的简单性。智能体-环境对模型的对称性是必要的和唯一的。其技术意义在于，它为感知、协作、基于约束的代理的新设计框架奠定了基础。

This research program is focused on constraint-based computational intelligence. We have developed a formal theory for the design and implementation of constraint-based intelligent systems. Our Constraint-Based agent (CBA) framework is a set of theoretical and practical 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, systems in the Constraint Net (CN) dynamical systems language, as developed in this research program. We intend to develop and apply 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 for dynamic constraints.Our objectives over the next five years are to develop the theory further and to validate and improve it using experimental implementations on varous robotic systems in our lab. This research program is focused on constraint-based computational intelligence. We have developed a formal theory for the design and implementation of constraint-based intelligent systems.The experimental environment for this work includes the soccer-playing platforms pioneered by us, a CBA Java environment and a set of mobile robots with on-board real-time stereo and colour vision. We propose to use CBA models for the control, perception and coordination algorithms required for multi-agent real-time collaborative activities such as soccer, navigation and manipulation. The scientific novelty of this approach stems from its formal foundation, its practicality and its simplicity as a unitary theory of hybrid intelligent systems. The symmetry of the agent-environment pair model is necessary and unique. The technical significance is that it is a foundation for a new design framework for perceptual, collaborative, constraint-based agents.