Agent规范与编程语言SPLAW的语法和语义

本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行协作问题求解．SPLAW首次为Agent提供继承支持，使其可以实现具有面向对象特征的多线程系统．SPLAW屏弃了为语言引入内部模态词的缺陷，试图从外部为Agent赋予信念、愿望、意念等心智状态，有助于统一Agent的理论研究和实际系统设计．

标准页面描述语言SPDL

SPDL是由ISO制定的页面描述语言国际标准。本文介绍SPDL的功能、文本结构和内容、数据交换格式,并讨论了它的应用前景。