18、为BDI语言添加结构与语义基础

为BDI语言添加结构与语义基础

在当今的编程领域，智能体编程语言有着广泛的应用和研究。一方面，Agent Infrastructure Layer (AIL)为BDI语言提供了通用的语义基础；另一方面，也有方法致力于为现有的智能体编程语言添加结构，以满足现代编程的需求。

AIL：BDI语言的通用语义基础

AIL旨在为大量BDI语言片段提供通用的（操作）语义，以促进新思想和技术的转移，并允许开发通用的验证工具和技术。它涵盖了信念、目标、动作和计划等共享概念，并考虑了事件和行为栈等常见变化。

关键特性

1. 约束（Constraints） ：AIL在智能体状态中提供了额外的约束构造。约束描述了在执行给定动作或采用目标之前必须满足的前置条件。这些前置条件的检查方式与计划的守卫条件相同。例如，如果一个动作被禁止，其前置条件为⊥（假），那么该动作永远不会被执行。
2. 通信（Communication） ：借助约束，AIL能够描述广泛的通信协议。BDI语言中的消息通常包含内容和施为动词，通信协议通过对这些消息关联约束并指定相应的计划来建立。AIL将发送消息视为一个动作，并在推理周期的最后阶段处理消息的接收。

I ′ = {(+received(ag′, ilf , φ), [ϵ], ⊤, ∅)|
< ag′, ilf , φ >∈In ∧check constraints(+received(ag′, ilf , φ)}
< ag, I , In,