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

THE SYNTAX AND SEMANTICS OF SPLAW-AN AGENT SPECIFICATION AND PROGRAMMING LANGUAGE

作　　者：樊晓聪[1,2] 徐殿祥[1,2] 候建民 郑国梁[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京大学计算机科学与技术系,南京210093

出　　处：《计算机学报》1998年第8期682-693,共12页Chinese Journal of Computers

基　　金：国家863高科技基金;国家自然科学基金

摘　　要：本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行协作问题求解．SPLAW首次为Agent提供继承支持，使其可以实现具有面向对象特征的多线程系统．SPLAW屏弃了为语言引入内部模态词的缺陷，试图从外部为Agent赋予信念、愿望、意念等心智状态，有助于统一Agent的理论研究和实际系统设计．Slnce AOP was proposed by Shoham, the agent-oriented methodology has been studied from different aspects-However, whether and how much a new methodology can be accepted mainly depends on whether the language reflecting this new methodology can be used widely or not. For this purpose, it is very important to design a suitable programming language for agent. This paper descr1bes the syntax of an agent specification and programming language-SPLAW, provides operational semantics for each statement defined in SPLAW, and by means of labeled transition systeml presents the proof rules which can be used to prove the properties such as safety and liveness. SPLAW has at least the following advantages. First, it is based on KQML, the standard inter-agent communication language, which rnakes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. Second, the feature of inheritance is first supported by an agent programming language, which facilitates the construction of multi-thread systems that take on some object-oriented features. Last but not least, instead of adopting built-in modalities in the programming language, SPLAW try to assign mental states such as belief, intention and desire for agents from external viewpoint, which may provide a feasible solution to unify the fields of theory research and practical system design.

关 键 词：AOP Agent规范 SPLAW语言 编程语言 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] TP312SP[自动化与计算机技术—控制科学与工程]