Agent通信语言KQML的实现及应用

NH
!""#$%&
计算机工程与应用
& BCDE 解释器 &$% 词法分析
词法分析是一项相对独立的工作， 其任务是将输入的字符 故 流转化成单词流以便于识别。 BCDE 的词法分析相对简单， 不再赘述。
的函数如下：
1@W18)/W( !
（(9(,(2. UBCDE ） 0+/3 F)+8(11S@W18)/W(
的热点， 它是 “基于某种场景， 并具有灵活、 自主的行为能力， 以
-%. 。 自 主 ()*+, 及 多 ()*+, 系 统 满足设计目标的计算机系统”
（/(0 ） 代表了一种新的分析、 设计和实现复杂软件系统的方 很可能成为下一代软件开发的重要突破点。 面向 ()*+, 的 式 ，
-!.
程序设计 （(12） 及 ()*+, 通信语言 （(34） 是 ()*+, 研 究 的 重 要 组成部分。尽管 056578 设计和开发了实验性语言 (9:;<"-&.，
=>2( （=6?+@7,A6+ B6C >+,*DDA)*+, 25EFAG7D ()*+,F） (34 也 提 供
了一系列高级交互协议的标准描述 -H.， 等等 -#I’.， 但它们大多仍处 于理论研究阶段， 缺乏实用性。而知识查询及操作语言 JK/4 （J+6LD*@)* K?*CE 7+@ /7+AM?D7,A6+ 47+)?7)* ） 是目前最主要 又是一种 的 ()*+, 通信语言之一。 JK/4 既是 一 种 消 息 格 式 ， 消息处理协议，它提供了一套标准的 ()*+, 通信原语。 JK/4 分为内容层、 消息层和通信层等三个层次， 其中， 内容层以 J>= （J+6LD*@)* >+,*CG57+)* =6C87,） 为 语 法 对 需 要 传 输 的 知 识 进 行编码； 消息层包括行为类型、 资格等， 其中行为类型主要从言 语行 为 （0M**G5 (G,F） 理 论 -N.演 化 而 来 ， 该层的基本功能是确定 消息传递时所使用的协议、 动作或原语 （如判断、 查询、 命令， 或 是一组已知的原语） ； 通信层包括底层的通信参数， 如消息的发 送者、 接收者、 唯一标识、 同步等。虽然 JK/4 语言已成为一种 比较成熟的 ()*+, 通信语言， 但许多研究者仍针对其语言规范 中存在的不足， 提出了一些修改建议， 以使其更加完善 -%%.。作者 提出了一系 正是根据文献 -%%. 中给出的 新 的 JK/4 语 言 规 范 ， 列 JK/4 实现算法。
!"#$% 通信语言 &’() 的实现及应用
石 慧 徐从富 刘 勇 董金祥 （浙江大学人工智能研究所， 杭州 &%""!O）
:P87AD： F5A5?AF,E?QF65?$G68
摘 要 论 文 针 对 JK/4 语 言 规 范 的 新 变 化 和 实 际 应 用 领 域 的 需 求 ， 提 出 了 一 系 列 面 向 ()*+, 通 信 的 JK/4 实 现 算
Y Y
X
则用 T(2()-.(BCDE （） 生成一个 BCDE 语言段发给对方； 等待一个单位时间；
Y
8+,,+2;*/(931： */(93 8+,,+2;*/(931。 */(93 分 为 ’-)-;2-,( 和 ’-)-;8+2.(2.， 如 1(23() 是 ’-)-;2-,( ， 其 后 内 容 为 ’-)-;8+2N 8+2.(2. 是 1’(8/-9;2-,( ， 而 8+2.(2. 之 后 的 内 容 是 1’(N .(2.。 ：
)(-3: ， 2(A. ， (+1， )(1. ， 3/18-)3 ! 1.-23W: ，
（(9(,(2. UBCDE ） 0+/3 F)+8(11S.-23W:
X
先做查询， 得到对应的知识链表 R2+59(3?( ； 用 T(2()-.(BCDE （） 产生 )(-3: 语言段发送给对方； （ 知识链表不为空） 5</9(
8+2./2@( ；
（对方发过来 2(A. ） /* （） 产生相应 做了对方要求的操作后， 再 用 T(2()-.(BCDE 的语言段发给对方； （对方发过来 )(1. ） (91( /* 把对方要求的操作全部做完， 再 用 T(2()-.(BCDE （） 产生 相应的语言段发给对方； （对方发过来 3/18-)3 ） (91( /*
图%
()*+, 基本交互模式示意图
图!
辅助器与各 ()*+, 的关系示意图
作者简介： 石慧 （%NO%P ） ， 男， 硕士研究生， 主要研究方向： 人工智能、 计算机通信与信息安全。徐从福 （%NYNP ） ， 男， 博士， 副教授， 主要研究方向： 人 工智能、 数据融合与数据挖掘。 刘勇 （%N’"P ） ， 男， 博士研究生， 主要研究方向： 人工智能、 计算机通信与信息安全。 董金祥 （%NH#P ） ， 男， 教 授， 博士生导师， 主要研究方向： 工程数据库。 3>Z0 、
图#
Q?(2. 的基本原语与基本操作函数的关系
&$&$!
语义解释单元及其总控算法 作者对每个原语都定义了函数， 一个语义解释函数大体上
可由一个 15/.8<$$$8-1( 语句组成。将一个语义解释函数称为语 义解释单元。在总控程序看来， 每个语义解释单元就是一个线 程，它不停地 从 等 待 队 列 中 取 得 经 过 语 法 分 析 后 的 BCDE 结 构体， 然后解释执行。总控程序可以启动的语义解释单元数即 计算机工程与应用
%
引言
自 !" 世 纪 ’" 年 代 起 ， ()*+, 一 直 是 分 布 式 人 工 智 能 研 究

! JK/4 的基本原语及 ()*+, 交互模式
其通信原语可分 JK/4 语 言 的 一 般 格 式 可 参 见 文 献 -%".， 为基本交互原语、 辅助与网络原语。 ()*+, 的基本交互模式如图 被发送的语言段称为消息， 消息的形成就是一 % 所示。一般地， 个编码过程， 消息的解释执行则是一个解码过程。 JK/4 类似 于高级语言， 其编码既可直接由程序员完成， 也可由程序自动 生成，而解码 则 完 全 由 程 序 执 行 。 因 JK/4 既 是 一 种 通 信 语 言， 又是一种通信协议和标准， 故每个 ()*+, 只要遵守该协议， 即可受到它所提供的通信支持， 若要遵守协议， 每 个 ()*+, 必 须添加一个 JK/4 语 言 解 释 器 。 由 于 基 本 交 互 原 语 只 完 成 一 而作 些基本操作， 故 普 通 ()*+, 只 需 实 现 基 本 原 语 解 释 即 可 ， 为辅助器的 ()*+, 则需完成一些特殊功能， 所以它还应支持特 辅助器也可能有多个。 辅助 殊原语的解释。 在多 ()*+, 系统中， 器与各 ()*+, 的交互关系如图 ! 所示。
并 将 其 应 用 于 医 疗 保 健 顾 问 系 统 中 的 多 ()*+, 通 信 ， 收到了较好 法， 初 步 实 现 了 一 个 较 完 整 的 新 JK/4 语 言 解 释 器 ， 效果。 关键词
JK/4 ()*+,
通信 文献标识码 ( 中图分类号 <2%’
文章编号 %""!P’&&%P （!""# ） %&P""NHP"H
!""#$%&
8+,,+2;*/(931 1’(8/-9;*/(931 HIEIJ ’-)-;2-,( ’-)-;8+2.(2. ! 1’(8/-9;2-,( 1’(8/-9;8+2.(2. HIJLMJL K BCDE
8+,,+2;*/(931： */(93 8+,,+2;*/(931
Y
1’(8/-9;8+2.(2.： EH 1.)/2? GH
X
（ 对方没有撤消此操作） 5</9(
&$!
语法分析
语法分析的作用是检查语 BCDE 的语言格式如图 & 所示。
X
检测知识库中相关内容； （有变化） /*
并以这些 言段的语法， 它将各 字 段 的 内 容 存 入 BCDE 结 构 中 ， 结构形成原语链 表 进 行 处 理 ， 所 以 要 确 定 BCDE 语 言 的 产 生 式。按上面的语言格式， 作者将整个语言段定义为 BCDE。第 一 行 为 原 语 ’()*+),-./0( ， 以 下 除 8+2.(2. 一 句 外 ， 其 余 均 属 而 8+2.(2. 语 句 是 1’(8/-9;*/(931。 8+,,+2;*/(931 8+,,+2;*/(931， 又 可 分 成 若 干 个 */(93 ， 每 行 是 一 个 */(93 ， 故 在 此 用 递 归 定 义
!@3%5.2%： <5AF M7M*C A+,C6@?G*F ,5* MC6G*FF 6B A8MD*8*+,7,A6+ 7+@ 7MMDAG7,A6+F 6B JK/4 A+ 7)*+, G688?+AG7,A6+ X7F*@ 6+ ,5* +*L FM*GABAG7,A6+F 6B 8*@AG7D G7C* 7)*+, FEF,*8$( F*CA7D 6B JK/4 C*7DAW7,A6+ 7D)6CA,58F B6C ()*+, G688?+AG7,A6+ 7C* MC6M6F*@ 7+@ F?GG*FFB?DDE A8MD*8*+,*@ A+ ,5AF 8?D,AP7)*+, FEF,*8$ &#AB0513： JK/4， 7)*+,， G688?+AG7,A6+