50、从AGENT0到现代智能体语言：多智能体编程的发展与特性

从AGENT0到现代智能体语言：多智能体编程的发展与特性

1. 智能体导向编程的发展历程

智能体导向编程（AOP）的开创性论文于20世纪90年代初发表。当时，Yoav Shoham倡导了一种新的编程范式，将计算的社会视角与“意向立场”相结合，以支持系统中个体、自主组件的实际推理。然而，论文中提出的AGENT0编程语言虽包含许多建立新范式的关键思想，但作为编程语言并未展现出实用性和广泛的受欢迎度，这也使得一些人对整个范式产生了质疑。

20世纪90年代的相关工作大多偏理论，除少数例外，人们对如何在实际编程中具体应用该范式兴趣不大。同时，对于编程智能体系统所需的工具也缺乏深入思考，比如在动态、不可预测的环境中，对于复杂应用的实际软件开发，该范式是否能有效支持理性、社交和自主行为的实现。

除了AGENT0，20世纪90年代的智能体编程语言研究主要由Concurrent METATEM、Golog变体、AgentSpeak(L)和3APL主导。这些语言在研究领域具有重要的历史意义，为后来的发展奠定了基础。

在多智能体系统中，除了强调心理状态的方法外，还有一些方法着重于动作选择机制，如Müller的InteRRaP架构、Bryson的POSH、Laird的SOAR以及Subrahmanian等人的IMPACT。

过去十年中，许多技术问题得到了解决。例如，声明式目标的问题。Braubach和Pokhar研究了多种可实际纳入智能体语言的目标类型，以促进理性自主行为的编程。此后，关于声明式目标以及目标“生命周期”管理的研究也取得了很多成果。

另外，早期的智能体编程语言主要关注单个智能体的编程，对于涵盖多智能体系统的社会和环境维度以及单个智能体的编