19、为智能体编程语言添加结构：核心与扩展

为智能体编程语言添加结构：核心与扩展

1. 基础概念与核心语言定义

在智能体编程中，我们首先需要了解一些基础概念。对于 mental states（心理状态），用 $\sigma, \sigma’ \subseteq L$ 表示，而 $\psi \in L_U$ 是一个更新公式。函数 $F_P(\sigma, \psi) = \sigma’$ 当且仅当存在 $(\varphi \to \psi) \in P$，使得 $\sigma \to \sigma’$ 是由该规则诱导的转换。这里，$P$ 由 $F_P$ 来表征，$F_P$ 所定义的状态集合 $\Sigma_{F_P}$ 被称为 $F_P$ 的应用域。

$F_P$ 是一个部分函数，仅对那些可以应用程序 $P$ 中某些规则的心理状态进行定义，也就是那些满足程序 $P$ 中某些规则查询公式的状态。它完全表征了由 $P$ 描述的智能体系统。

操作语义将智能体程序视为对问题子空间的显式表征，基于可能的智能体系统演化。而指称语义则从所有考虑的心理状态集合以及它们之间允许的转换的角度，对同一问题空间进行规范。本质上，这两种语义都允许对同一系统进行形式化，只是反映了对其规范的两种不同观点。操作语义展示了现有智能体程序的解释方式，而指称语义则为如何分析、创建和组织此类程序提供了更多的方法论见解。

2. 具体语法与解释器

为了完整定义核心编程系统，我们提供了具体的语法和解释器算法。核心语言的 EBNF 语法如下（省略了空格和字符串定义）：

<program> := <rules>
<r