12、将 GOAL 代理程序编译为 Jazzyk 行为状态机

将 GOAL 代理程序编译为 Jazzyk 行为状态机

1. 引言

在代理编程领域，GOAL 和 Jazzyk 是两种重要的语言。研究表明，GOAL 代理程序可以编译为 Jazzyk 行为状态机（BSM），这不仅展示了 Jazzyk 可作为 GOAL 代理编译器的目标语言，还带来了一些额外的见解。例如，这表明 GOAL 代理语言并不局限于特定的知识表示（KR）技术。

2. 知识表示技术（KR Technology）

2.1 定义

KR 技术被定义为一个三元组 ⟨L, Q, U⟩，其中：
- L 是某种逻辑语言，典型元素为 φ ∈L。
- Q 是一组查询运算符 |=∈Q，满足 |=⊆2L × L。
- U 是一组更新运算符 ⊘∈U，类型为 : 2L × L →2L。

这个定义比较抽象，仅指定了与知识表示语言相关的运算符类型，使得它具有通用性，适用于多种 KR 技术，如 Prolog、Answer Set Programming、SQL 等。唯一的假设是特殊符号 ⊥ 是 KR 语言 L 的一部分，直观上解释为假；当从一组句子中可以推导出 ⊥ 时，这组句子被认为是不一致的。

2.2 示例

以下是一个简单的表格，展示不同 KR 技术在这个定义下的对应关系：
| KR 技术 | L（逻辑语言） | Q（查询运算符） | U（更新运算符） |
| ---- | ---- | ---- | ---- |
| Prolog | Prolog 语言 | Prolog 查询运算符 | Prolog 更新规则 |
| SQL | SQL 语言