面向Agent软件工程（Ⅱ）：规范,实现与验证

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],     

DOS游戏已濒临绝境?

Windows游戏逐渐风靡市场的一个主要原因。是由于今年四月底,Microsoft公司发行了基于Windows 95的游戏软件开发包,这促使那些企图抢先占据市场的游戏开发商们蜂拥而至。这一开发工具容纳了包括制作三维特色的工具在内的大批多媒体组件,并能支持许多不周的多媒体设备。同时,微软还展示了一个跨平台的游戏软件开发包。Mindscape捷足先登,是迅速利用这一工具开发游戏的公司之一。从今年秋季开始,该公司将发行第一批在Windows 95上运行的产品,其中有《NCAA Football》和《V     

Agent的通信语言——KQML

KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互,也可以用于两个或多个智能系统之间的知识共享来达到协同处     

线性混成系统的参数分析

针对线性混成系统中存在的一类典型未知参数问题,如实时系统的验证通常局限于给定矍体数值,未考虑系统中任何时间参数或物理特征参数的计算等,给出了具体的计算过程,实例应用表明,该计算过程可以有效地求解线性混成系统中这类未知参数,并能保证系统按照规约的要求正确运行。     

一个基于信息网络的软件Agent系统的设计

本文介绍了一个基于信息网络的软件Agent系统（SAFIN）的设计。SAFIN系统以Internet/Intranet为背景,将面向Agent程序设计、Agent通信语言KQML和移动Agent的某些技术集成起来,旨在建立一个实用的Agent框架,方便信息网络中软件Agent系统的构造。