面向Agent软件工程(Ⅱ):规范、实现与验证  

Agent oriented Software Engineering(Ⅱ):Specification, Implementation and Verification

作　　者：樊晓聪[1] 徐殿祥[1] 侯建民[1] 陈冠岭[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学技术系

出　　处：《计算机科学》1998年第4期1-7,共7页Computer Science

摘　　要：AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描述性编程风范。在AOP中,我们只需给出一个非常抽象的系统规范,系统在确保其行为与内置的a罗nt理论(如,著名的Cohen一Leve,que意念模型)一致的情况下,由系统的控制机制确定应当怎么做。既然AOP具有很好的发展前景[s1,为使AOP走向实用化,我们必须处理一些软件工程上的问题[’J,即,如何规范、实现和验证面向agent的系统口一般采用非经典逻辑来描述智能agent和多a-gent系统.但是,如何从用逻辑语言描述的规范合理地导出能满足这些规范的实现,是困扰agent理论研究和实际系统实现两大阵营的重要问题,也许主要症结在于:这些逻辑系统通常用抽象、非基本的可能世界语义来刻画agent的信念等心智状态。可能世界语义虽然具有优美的数学性质和对应理论,但可能世界与agent的内部状态之间究竟有什么关系,至今仍不大明朗,因而导致了逻辑系统与实际建立的agent系统之间的关系也模糊不清,而AOP范型的实用化必须首先解决这个问题。 Wooldridge形式定义了一种基于分支时间的表示逻辑Lts],In order to make Agent-Oriented Programming more suitable for practice, the features of different aspects of AOP should be discussed in methodology. From the viewpoint of software engineering, this paper deals with how to specify, implement and verify agent-oriented systems.

关 键 词：软件工程 AGENT 人工智能 AOP 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]