使用离散事件仿真测试基于BDI的多智能体系统（一）：引言与BDI模型基础理论

摘要本文是对发表于《Autonomous Agents and Multi-Agent Systems》期刊2026年第40卷第18期的论文Testing BDI-based multi-agent systems using discrete event simulation的深度精读。该论文由意大利博洛尼亚大学计算机科学与工程系的Martina Baiardi、Samuele Burattini、Giovanni Ciatto和Danilo Pianini四位研究者共同完成。论文深入探讨了如何利用离散事件仿真Discrete Event Simulation, DES技术来测试基于信念-愿望-意图Belief-Desire-Intention, BDI模型的多智能体系统Multi-Agent Systems, MAS提出了将BDI智能体的控制流映射到DES仿真框架的方法论并实现了JaKtA与Alchemist两个开源工具的原型集成。本文作为系列精读的第一篇将重点介绍研究背景、问题陈述以及BDI模型的核心理论基础为后续深入理解论文的技术贡献奠定坚实的知识基础。1 引言1.1 现代软件系统的复杂性与多智能体系统现代软件系统正变得日益复杂新兴的编程范式不断涌现以应对诸如社会技术系统Socio-Technical Systems, STSs、信息物理系统Cyber-Physical Systems, CPSs和普适系统Pervasive Systems, PSs等应用领域的挑战。在这些复杂的应用场景中人员与众多位于物理环境中的计算实体进行交互这些实体具备自动化、自主性和智能等特征。多智能体系统Multi-Agent Systems, MAS作为一种有效的解决方案已被广泛采用来应对这种复杂性其核心思想是将软件建模为一系列相互交互的自主实体的集合。多智能体系统的应用范围极为广泛从工业自动化到智能交通从医疗健康到金融科技都可以看到MAS的身影。在这些系统中每个智能体都是一个独立的决策单元能够感知环境、做出决策并执行动作同时与其他智能体进行协作或竞争。这种分布式、自主性的特点使得MAS特别适合处理那些传统集中式方法难以应对的复杂问题。然而正是这种分布式和自主性的特点也给MAS的开发、测试和验证带来了独特的挑战。根据MAS是被用于研究系统复杂性还是控制复杂性研究者们提出了不同的解决方案。当用于研究目的时MAS抽象可用于仿真系统行为当用于实际部署时MAS则用于设计和部署真实世界的系统。这两种应用场景之间存在微妙但关键的区别。在仿真环境中智能体在一个虚拟沙箱环境中运行该环境被设计为模仿目标真实世界部署环境的动态特性其中感知如来自传感器的数据、时间流和动作如智能体在环境中的移动由仿真器控制并且可以确定性地重现。而在实际部署中智能体被绑定到特定的硬件和软件运行时通过网络进行通信并与真实时间流绑定。1.2 仿真在MAS开发中的价值与挑战仿真在MAS的开发和验证中具有重要价值。通过仿真开发者可以在部署之前测试智能体的行为及其在复杂环境中的动态特性从而推迟并理想情况下减少与真实世界执行相关的成本和努力同时降低风险。然而在仿真环境中测试MAS规范所付出的代价是需要额外的开发努力。首先开发者必须将目标部署环境建模为仿真环境。其次开发者必须在仿真框架内开发智能体的行为这可能与用于真实世界部署的框架不同因此需要确保MAS代码库的两个版本之间保持一致。虽然第一个挑战对于任何类型的仿真都是不可避免的但作者认为如果相同的MAS规范可以在真实硬件和任意选择的仿真器上无修改地执行那么第二个挑战就可以得到缓解。这种情况在处理具有认知智能体模型如BDI模型的MAS时尤为严峻。BDI智能体已被应用于复杂场景包括医疗保健、多无人机协调、社会仿真和网络安全等领域。BDI编程模型与大多数仿真器之间的抽象差距以及BDI技术对产生可重现的复杂场景仿真的有限支持导致开发者不得不采用以下方法之一方法一扩展BDI平台添加专用仿真引擎。这种方法需要在BDI框架中集成仿真功能虽然可以保持智能体行为代码的一致性但需要额外的开发努力来构建仿真引擎而且很难在性能、环境建模、可视化和数据导出工具方面与现有的先进仿真器相匹配。方法二构建和维护两个并行的代码库。一个用于仿真另一个用于实际系统。这种方法会导致一致性问题因为需要确保两个代码库在功能上保持同步任何修改都需要在两个地方同时进行增加了维护成本和出错的可能性。方法三通过中间件将BDI平台与通用仿真引擎集成。这种方法通常通过某种形式的同步机制来实现BDI框架与仿真器之间的协调。虽然可以利用现有仿真器的强大功能但同步机制的设计和实现可能引入隐含的假设影响仿真结果的可靠性。所有这些方法都有其缺点更重要的是它们都表明缺乏一个通用的解决方案。事实上虽然为任何仿真建模环境的努力都是不可避免的——而且本身就很具挑战性——但在仿真和真实系统之间来回移植智能体行为应该尽可能简单理想情况下不需要对代码进行任何修改。1.3 问题陈述与研究目标在作者看来BDI系统工程实践的现状缺乏一个通用的、实用的解决方案用于在部署之前使用仿真来测试BDI系统。换句话说在仿真和真实世界部署之间切换目前是繁琐和不切实际的。理想情况下从表达BDI系统规范的相同代码库开始开发者应该能够在仿真环境中测试它或在真实硬件上运行它而无需对代码库进行任何更改同时期望系统在两种场景下的行为一致。这个问题看起来可能只是技术层面的但实际上实现这一目标需要重新设计BDI规范的编写和解释方式。它们应该抽象掉执行的实现细节而多个执行引擎应该同时支持仿真和真实世界部署。在仿真的特殊情况下环境也应该是可编程的而不仅仅是智能体。在实践中作者专注于一类特定的BDI编程框架即实现AgentSpeak(L)语言的框架——根据一些最近的调查该语言在BDI程序员中获得了广泛采用。在本工作的其余部分除非另有说明作者将使用BDI框架来指代基于AgentSpeak(L)的BDI框架。针对上述问题论文提出了以下四个子目标O1调查实践中提出的开发和测试仿真中BDI智能体的方法的实际权衡。这需要全面分析现有方法的优缺点理解它们在不同应用场景下的适用性以及识别它们共同面临的技术挑战。O2理解BDI框架应提供哪些抽象以便与仿真引擎无缝集成使相同的规范可以在仿真和真实世界部署中执行。这涉及到识别BDI框架的核心抽象以及如何设计这些抽象以支持不同执行环境之间的可移植性。O3分析BDI智能体执行模型与离散事件仿真之间的不同映射如何设计以及它们如何影响仿真保真度。这是论文的核心技术贡献之一涉及到如何将BDI智能体的控制循环映射到DES事件以及不同粒度的映射如何影响仿真结果的准确性。O4集成BDI框架和DES仿真引擎使相同的规范可以在仿真和真实世界部署中执行证明可行性。通过实际的原型实现来验证理论分析的可行性并提供一个可供社区使用的开源工具。1.4 研究策略与贡献论文的核心贡献是识别DES作为实现这一目标的关键使能者以及作为BDI系统仿真的一种未被充分探索的方法。沿着这条线论文的第一个贡献是识别在尝试将BDI MAS映射到DES仿真器时出现的关键挑战。作者首先分析了这种映射的概念含义重点关注BDI智能体控制循环如何映射到DES事件的粒度强调不同设计选择的权衡。然后作者讨论了这种映射的技术含义这些含义影响智能体编程框架的设计使其更容易与仿真器无缝集成。为了支持其主张并证明方法的可行性作者还实现了一个基于两个现有工具集成的原型解决方案JaKtA一个BDI编程框架和Alchemist一个通用DES仿真器。这里的关键创新在于原型专注于使BDI仿真可重现和可移植同时支持不同的粒度级别因此在复杂性和保真度方面有不同的权衡。除了为MAS开发者提供实用工具外作者的目标是记录在此集成过程中获得的经验。最后作者在一个仿真的多无人机协调场景中演练该原型以示例说明如何将其用作BDI系统早期测试的手段。更具体地说作者展示了如何以不同的复杂性/保真度权衡仿真相同的BDI规范可能有助于发现否则会被忽视的问题。2 BDI模型基础理论2.1 BDI模型的哲学起源与发展历程BDI模型植根于人类心理学基于对智能体决策制定认知过程的显式表示。最初作为一个哲学概念由Bratman于1987年在其著作《Intention, Plans, and Practical Reason》中提出该模型认为人类的实际行动推理可以通过信念Beliefs、愿望Desires和意图Intentions这三个核心心理态度来解释和建模。这一哲学框架为理解人类如何在实际情境中做出决策提供了理论基础也为构建具有类人推理能力的人工智能系统提供了指导原则。从哲学理论到计算模型的转变发生在20世纪90年代初期。Rao和Georgeff在1995年的开创性工作中将BDI哲学框架形式化为可计算的智能体架构提出了AgentSpeak(L)语言作为实现BDI智能体的编程框架。这一转变标志着BDI模型从纯粹的哲学思辨走向实际的软件工程应用为后续大量基于BDI的智能体系统研究和开发奠定了基础。BDI模型的核心洞察在于智能体的行为不仅仅是对环境刺激的简单反应而是涉及复杂的认知过程。智能体需要维护对世界的信念追求特定的愿望或目标并形成实现这些愿望的具体意图。这种认知架构使得智能体能够在不确定和动态的环境中做出理性的决策同时保持对长期目标的承诺。2.2 BDI模型的核心组件详解根据Rao和Georgeff提出的模型每个BDI智能体都具有以下核心组件**信念Beliefs**是智能体关于自身及其周围环境的信息表示。这些信念可能是部分的、不完整的甚至是错误的。智能体通过感知环境、推理或与其他智能体通信来更新其信念。信念构成了智能体对世界当前状态的理解是其决策的基础。在形式化表示中信念通常被建模为一组逻辑公式或命题智能体可以查询这些信念来指导其行为。信念的动态更新机制是BDI智能体适应环境变化的关键当智能体感知到新的信息或通过推理得出新的结论时其信念集会相应地更新。愿望Desires也称为目标Goals是智能体希望实现的状态。愿望驱动着智能体的行为为其提供行动的方向和动力。愿望可能随时间变化或者在追求过程中产生新的愿望。重要的是愿望并不一定都是一致的或可同时实现的智能体需要在其愿望之间进行选择和权衡。愿望的形式化表示通常涉及目标状态的定义以及目标之间的优先级关系或约束关系。**意图Intentions**代表智能体已经承诺去追求的愿望。当智能体决定追求某个愿望时它会形成相应的意图并选择一个计划来实现该意图。意图具有承诺性意味着智能体会持续地追求其意图直到意图被实现或被放弃。意图管理是BDI模型中的一个关键问题涉及到意图的选择、执行、监控和放弃等多个方面。智能体需要在多个意图之间分配资源处理意图之间的冲突并在环境变化时适当地调整其意图。**计划Plans**是智能体为实现其意图而执行的动作序列或食谱。计划定义了智能体如何从当前状态转移到目标状态。在BDI框架中计划通常以条件-动作规则的形式表示其中条件定义了计划适用的情境动作定义了在该情境下应该执行的操作。计划库是BDI智能体的知识库之一包含了智能体可以使用的各种计划模板。当智能体形成新的意图时它会从计划库中选择适当的计划来执行。2.3 BDI架构的形式化表示BDI架构有多种实现方式包括AgentSpeak(L)、程序推理系统Procedural Reasoning System, PRS和分布式多智能体推理系统distributed Multi-Agent Reasoning System, dMARS等。本论文特别关注AgentSpeak(L)因为它是文献中最广泛采用的架构之一。AgentSpeak(L)智能体基于事件的概念智能体通过选择驱动其执行的计划来对事件做出反应。与纯粹的反应式系统不同在反应式系统中事件是直接映射到动作的外部刺激BDI智能体能够基于其运行时状态的上下文来推理这些事件并相应地选择计划。计划执行可以产生额外的内部事件如子目标这些事件将驱动智能体推理循环的后续迭代。因此在本文的其余部分当作者将BDI智能体称为事件驱动时目的是强调正如本节所回顾的那样BDI智能体的整个生命周期都是由事件驱动的无论是作为环境感知接收的还是由智能体内部过程生成的。BDI智能体的这种事件驱动特性是一个关键特征特别是在仿真它们时因为计算机仿真本质上处理的是在受控和可预测的方式下生成和处理事件。2.4 事件的分类与处理机制BDI模型的所有主要抽象都可以与驱动智能体行为的事件相关联。信念——编码当前存储在智能体记忆中并被认为是真的信息——是响应来自环境感知、其他智能体消息的事件或在计划执行过程中由智能体自身更新的。当智能体采用新目标时会创建新的意图来选择计划以追求该新目标。计划执行可能导致新事件如子目标、信念更新、对环境的动作的生成依此类推。作者区分两大类事件内部事件和外部事件。这种区分在AgentSpeak(L)模型中并不存在也不一定由BDI框架实现但在本文中讨论将BDI智能体映射到DES时很有用。内部事件是由每个智能体在执行其自身控制循环过程中生成的旨在使其继续前进。这些包括信念的添加、删除、更新新子目标的添加或失败外部事件与环境及其中的变化有关特别是智能体如何感知、引起或响应这些变化。外部事件包括但不限于智能体进入或退出环境即终止感知或从环境接收消息向某个接收者发送消息执行改变环境的动作在当前实践中内部和外部事件的处理方式可能因BDI实现而异并且在计算机仿真和真实世界执行之间可能存在相当大的差异这表明存在实质性的抽象差距。此外重要的是要注意进一步的外部事件可能独立于智能体动作而发生并引起环境中的变化。这些可能被显式建模也可能不被显式建模但为了BDI智能体编程的目的建模对这些变化的感知就足够了。例如如果BDI系统受到环境温度的影响真实世界部署需要将温度传感器或外部温度监控服务连接到智能体以从环境中感知自发变化的温度。如果要仿真相同的BDI系统仿真器将负责生成与温度变化相关的事件以便智能体可以观察它们并做出相应的反应。2.5 控制循环的详细机制每个AgentSpeak(L)智能体都由一个控制循环control-loop驱动即一系列无限重复直到智能体终止的操作分为三个主要阶段。从技术上讲控制循环已经以多种方式实现——每种方式对智能体的外部并发性有不同的影响——但核心抽象始终相同。图1展示了AgentSpeak(L)智能体的整体架构的图形表示重点关注构成智能体控制循环的主要阶段和操作以及其中涉及的内部/外部事件。粗略地说控制循环假设每个智能体都有一个内部事件队列按如下方式操作。控制循环的每次迭代从感知阶段sense phase开始智能体在其中收集i感知和ii来自环境的传入消息即外部事件iii相应地更新信念将来自更新信念的事件入队。接下来智能体执行审议阶段deliberation phase其中它a从队列中选择一个事件b选择一个处理该事件的计划将其分配给某个现有的或新的意图以及因此c选择一个要推进的意图。最后智能体执行行动阶段act phase其中它执行在步骤c中选择的意图的一个动作。动作执行可能引起进一步的内部事件这些事件随后被入队因此在控制循环的下一次迭代中处理以及外部事件这些事件被传递给环境或其他智能体。【此处可粘贴论文图1AgentSpeak(L)智能体架构的图形表示】控制循环的三个阶段各自承担着不同的功能**感知阶段Sense Phase**是智能体与外部世界交互的窗口。在这个阶段智能体从环境中收集感知信息接收来自其他智能体的消息并根据这些信息更新其信念集。感知阶段确保智能体的内部状态与外部环境保持同步是智能体做出正确决策的前提。感知的内容可能包括环境状态的变化、其他智能体的行为、以及任何与智能体相关的信息。**审议阶段Deliberation Phase**是智能体决策的核心。在这个阶段智能体从事件队列中选择一个事件进行处理根据当前信念和上下文选择适当的计划并将计划分配给相应的意图。审议过程涉及到复杂的推理和决策智能体需要考虑多个因素如事件的优先级、计划的适用条件、以及当前意图的状态等。审议阶段的结果决定了智能体下一步将采取什么行动。**行动阶段Act Phase**是智能体执行决策的阶段。在这个阶段智能体执行所选意图中的一个动作。这个动作可能是内部操作如更新信念、生成子目标也可能是外部操作如发送消息、改变环境状态。行动阶段将智能体的决策转化为实际的行为对环境产生影响。2.6 BDI智能体的执行模型BDI智能体的执行本质上归结为调度控制循环阶段和处理事件。实际上这可能因实现而异并且在仿真和真实世界执行之间可能存在相当大的差异。具体来说定义控制循环如何调度可能导致MAS整体涌现出不同的行为这取决于实现允许的智能体控制循环的交错方式。一方面在仿真中仿真器负责可重现地虚拟化时间流。在这种情况下执行BDI系统意味着推进仿真时间同时决定哪个些智能体应该接下来执行其控制循环阶段。这里的目标是模拟并发同时保持智能体的执行是确定性和可重现的。另一方面在真实世界部署中智能体由操作系统执行时间流对应于真实世界时间智能体由操作系统的调度器调度这可能在智能体执行中引入非确定性。在这种情况下目标是在可用的计算资源上平衡智能体执行并相应地利用并行性。2.7 BDI模型的主要架构变体除了AgentSpeak(L)之外BDI模型还有其他重要的架构实现每种架构都有其独特的特点和适用场景**程序推理系统PRS**是由Georgeff和Lansky在1987年提出的早期BDI架构之一。PRS强调实时推理和计划执行特别适合需要快速响应环境变化的应用场景。PRS引入了计划库的概念智能体可以根据当前情况选择适当的计划来执行而不是预先确定完整的行动计划。**分布式多智能体推理系统dMARS**是PRS的扩展版本专门设计用于支持分布式环境中的多智能体系统。dMARS提供了更丰富的通信机制和协调协议使得多个智能体能够有效地协作完成复杂任务。dMARS的形式化规范详细描述了智能体的内部结构和交互机制为BDI系统的设计和实现提供了重要的参考。Jason是基于AgentSpeak(L)的流行BDI编程平台提供了完整的开发环境和运行时支持。Jason扩展了原始的AgentSpeak(L)语言添加了强类型、计划注释、内部动作等特性使得BDI智能体的开发更加便捷和可靠。Jason还支持多种执行模式包括仿真模式和真实部署模式为BDI系统的测试和验证提供了便利。下表总结了主要BDI架构的特点比较架构名称提出时间主要特点适用场景AgentSpeak(L)1995年形式化语言、事件驱动、计划选择机制通用BDI系统开发PRS1987年实时推理、计划库、动态计划选择实时系统、机器人控制dMARS2004年分布式支持、丰富通信机制、协调协议分布式多智能体系统Jason2007年强类型、扩展语法、多执行模式教育研究、原型开发JaKtA2023年Kotlin DSL、模块化设计、可插拔并发模型现代应用开发2.8 BDI模型的应用领域BDI智能体已被广泛应用于各种复杂场景展现了其强大的建模和问题解决能力医疗保健领域BDI智能体被用于开发个人医疗助手能够跟踪患者的健康状况提供个性化的医疗建议并在紧急情况下发出警报。例如在创伤跟踪和警报系统中BDI智能体可以监控患者的生命体征根据医疗协议做出决策并与医疗人员进行协调。多无人机协调在无人机群控制中BDI智能体可以为每架无人机提供自主决策能力使其能够在动态环境中协调行动完成复杂的任务如搜索救援、区域监视、编队飞行等。BDI模型的目标导向特性使其特别适合这类需要高层任务规划的应用。社会仿真BDI智能体被广泛用于模拟人类社会行为研究社会现象的涌现机制。通过为仿真中的个体赋予信念、愿望和意图研究者可以更真实地模拟人类的决策过程从而更好地理解和预测社会系统的行为。网络安全在网络安全领域BDI智能体可以用于检测和响应网络攻击。智能体可以维护关于网络状态的信念识别潜在威胁作为其愿望并形成保护网络的具体意图和计划。BDI模型的认知特性使其能够处理复杂的攻击场景和不确定的信息。3 论文结构概述论文的组织结构如下在第2节中作者回顾了BDI智能体和仿真背后最相关的概念提出DES作为仿真BDI系统的一种自然且稳健的方式。然后在第3节中作者讨论了在复杂环境中仿真BDI编程软件的现有方法并评论了它们的局限性。在第4节中作者展示了如何弥合BDI和DES之间的差距评论了仿真MAS的技术含义以及BDI推理循环可以映射到仿真事件以增加仿真保真度的粒度。然后作者在第5节中提出了一个开源原型允许用JaKtA编写的BDI智能体规范在Alchemist仿真器上执行。通过利用所选技术的模块化和可扩展性特性作者能够实现一个完全集成的解决方案该解决方案不依赖于临时同步机制同时受益于先进仿真器的稳健性。最后在第6节中作者在多无人机协调场景中演练该原型讨论选择BDI和DES事件之间的不同映射如何导致误导性结果然后在第8节中总结并讨论未来工作。本文为系列精读的第一篇后续文章将继续深入探讨论文的核心技术贡献包括仿真概念、BDI与DES集成框架设计、原型实现以及实验评估等内容。