| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | Agent规范与编程语言SPLAW的语法和语义 |
| 作者 | 樊晓聪 徐殿祥 候建民 郑国梁 |
| 作者单位 | (南京大学计算机软件新技术国家重点实验室 南京 210093) (南京大学计算机科学与技术系 南京 210093) |
| 发表年份 | 1998 |
| 发表月份 | 8期 |
| 文章摘要 | 本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML,使遵循同一标准的Agent之间能进行协作问题求解.SPLAW首次为Agent提供继承支持,使其可以实现具有面向对象特征的多线程系统.SPLAW屏弃了为语言引入内部模态词的缺陷,试图从外部为Agent赋予信念、愿望、意念等心智状态,有助于统一Agent的理论研究和实际系统设计. |