如果说对象是70年代以来软件界最激动人心的革新之一,那么,Agent的相关理论和技术,为分布式开放系统的设计与实现提供了新的途径,可以称之为软件开发的又一重大突破。讨论问题的前提是概念的澄清,什么是对象?什么是Agent ?二者又有哪些区别和联系呢?
对象与OOP
对象是具有明确边界和意义的事物.也是某些问题的概念抽象,是一个封装了数据和方法的实体,一个对象的实质是一组数据和与它相关的方法及操作。它的特征由属性表示.属性的数据值表示对象的状态。系统开发人员通过对象所具有的属性来了解对象的静态结构。通过操作可改变对象的内部数据(私有的和受保护的数据).从而改变对象的状态。当其他对象向某个对象发送消息时,操作就得以进行和实现。每一个对象都有唯一的标识.以区别于一个类中的其他对象。一个对象不同于其他对象的关键是其属性值,构成其标识。
对象是为现实世界中的实体建立的抽象模型,它包括了实体的属性以及作用在实体上的操作。它具有唯一性、封装性和多态性等重要特性。对象一般由三部分组成:对象名、对象体和触发器。对象名唯一地标识一个对象,对象体是一个对象所封装的所有效据的集合.它可以是属性值的集合也可能是多个数据库的集合。触发器定义对象的哪些状态变化会引起事件的产生,是可选择的部分,它用于描述事件重要的状态变化。
面向对象程序设计(Object 0riented Programming,OOP)是70年代末提出,并在8o年代中后期开始使用的一种程序设计技术。在OOP的设计中。对象是一个动态概念,是对客观世界实体的数据抽象,即具有通信能力的特殊属性和行为方式的一些基本运行实体。类是一个静态概念,是一组对象的抽象定义或概括,且具有层次结构和继承性特征。面向对象程序设计的基本思想是:是一种以对象为基础,以事件驱动对象的程序设计技术,通过建立和具体实际相对应的软件对象,通过对这些对象的组合来创建具体的应用,通过对象属性定义,对象方法调用及编写对象事件函数来完整地描述对象,并实现对象之间的联系和对象本身的操作,从而 实现整个系统设计。
一般认为,OOP力图将问题空间的结构和概念直接映射到软件的解空间.从而使人类认识问题的过程与软件开发的过程保持一致。
Agent与AOP
什么是Agent 呢?Agent 是一个具有多重含义的概念,根据场景和视角的不同有着极大的差别。
从精神状态的角度来看,“如果一个实体可以用信念、承诺、义务、意图等精神状态进行描述.那么该实体可视为一个Agent”。如果建立单个Agent的目的是想模拟人的行为,而从精神状态的角度对人的行为分析是比较自然的,这也正是Agent作为人工智能基础理论的重要原因之一。一般第,这一定义被称之为Agent的强定义。弱定义,即“如果一个实体具有自主性、反应性、主动性、社交性四条基本性质,那么该实体也可以视为一个Agent”。
从设计者的角度来看,Agent 是一种抽象工具,通过它能使我们用更方便更熟悉的拟人化方式来描述、解 释、预测一个复杂系统的行为。一般来说.一个系统越复杂,我们对系统越不了解,就越需要用基于意图的立场来观察和解释它的行为。当然.在赋予Agent各种思维状态时.要求必须精确、简单而自然。
在计算机领域,agent是一种处于一定的环境下能够自主、智能地完成其他个体指派任务的系统。简单地说, Agent 指的是一种实体,而且是一种具有智能的实体。Agent的特点如下表:
特点 | 英文 | 解释 |
---|---|---|
代理性 | Action On Behalf Others | 具有代表他人的能力,即它们都代表用户工作 |
自治性 | Autonomy | 能在非事先规划、动态的环境中解决实际问题,独立发现和索取符合拥护需要的资源、服务等等. |
主动性 | Proactivity | 能够遵循承诺采取主动,表现面向目标的行为 |
反应性 | Reactivity | 能感知环境,并对环境作出适当的反应 |
社会性 | Social Ability | 能同代理代表的用户、资源、其它代理进行交流. |
智能性 | Intelligence | 具有一定程度的智能,包括推理到自学习等一系列的智能行为 |
合作性 | Callaboration | 以与其它代理分工合作,共同完成单个代理无法完成的任务 |
移动性 | Mobility | 具有移动的能力,为完成任务,可以从一个节点移动到另一个节点 |
由于Agent的特性,基于Agent的系统应是一个集灵活性、智能性、可扩展性、鲁棒性、组织性等诸多优点于一身的高级系统.
面向代理实体的编程(Agent 0riented Programming,AOP)对计算持社会性观点,并结合了传统的面向对象程序设计的特点.如数据封装、消息传递等。需要注意的是,本文所指的AOP,不是面向切面的编程(Aspect Oriented Programming,AOP)。一般认为,完整的AOP系统应包含以下三个部分:
- 一个逻辑系统以定义Agent的思维状态(Mental States);
- 一个可解释的编程语言以便对Agent编程;
- 一个Agent实现(Agentification)过程,将Agent程序编译为低层执行代码。
AOP实质上是对具有思维状态的智能实体进行编程。一个Agent程序给Agent的思维状态、环境的信息输入 以及Agent对环境的行为输出三者之间提供了一种联系。一般一个Agent程序包括:一个初始思维状态,它含一个初始信念集、一个初始意图集和一个初始规划集;一个思维状态改变规则集。初始信念集和意图集将用模态算符加上带时间索引的一阶谓词语言表达。初始规划集用带时序关系的原子动作序列来表达。一般地,初始规划集是空集。思维状态的改变规则集是Agent程序的核心。它包含两种规则,一种用于更新信念集和意图集,另一种用于产生规划。
AOP是一种以计算的社会观为基础的新型程序设计范例,它以智能体的设计和构造作为人工智能程序设计的核心,重视智能体的动态特征和智能体的交互活动,并将对分布式系统的研究与开发产生深刻的影响。
面向Agent 与 面向对象 的建模
面向对象建模体现了面向对象软件开发中以模型驱动的基本思想.它将软件开发的重心转移到了分析阶段。在整个开发过程中,使用统一的概念——对象,而其它所有的概念都是围绕着对象组成的,在分析阶段中建立的对象模型也适合于设计和实现阶段,软件开发的各阶段比较统一。整个开发过程实际上就是对模型细化的过程,从而避免了传统的结构化方法中从数据流程图到模块层次结构图的转化过程。
面向对象建模的局限在于:
- 建模的描述过程不是很清楚,而建模的结果是各种图形的表示,它们不能具体地体现建模过程;
- 用图形表示分析过程,这样在表示大而复杂的系统时很不容易画得条理清晰;
- 系统的描述是不够详细的;
- 不含有语义的成分,这样对系统的描述是不够精确的, 有些操作会产生二义性。
面向Agent建模要把研究的系统看成是基于Agent的系统,然后运用Agent理论对所研究的问题进行抽象建模。基于Agent的系统具有的三个基本要素是:Agent(对应于实体)、事务(对应于活动)和资源。通过对这三个基本要素及之间的关联进行描述,即可从过程的角度对基于Agent的系统进行描述、抽象、建模。由于对面向Agent建模的认识是逐步深入的,很难从一开始就能给出一个详尽描述,因此以上步骤必然是一个有反 复的、逐步求精的过程。
“对象”的抽象和表达能力又远远的逊色于“Agent”,Agent扩展了“对象的内涵和使用范围”,它更适合复杂系统问题的描述与处理。面向Agent建模并不是否定面向对象建模.而是面向对象方法的延伸与拓展,两者区别主要表现在以下两个方面:
(1)对单个智能体而言,面向对象技术将客观世界看成“刚性的”对象,不具有组织和抽象出更高层次的构建单元的能力。而Agent自主、灵活的问题求解行为,能良好地表达出智能体的精神状态。
(2)对多智能体系统而言.面向对象技术无法对智能体之间丰富的交互行为进行完整的抽象,亦无法充分表达多智能体之间动态组织结构的复杂性;而面向Agent建模就比较适合。
面向Agent 与 对象软件工程
面向Agent的软件工程,其工作原理是将Agent看作为模型的构成条件,同时围绕对应的基本条件有条不紊的开展与系统相关的系列活动,被认为是目前技术性较强的软件开发模型。不管是软件系统还是应用系统,它的内部构成都包括多个Agent,Agent表现出来的特点主要有自发性、反应性、社会性和自主性,属于行为自控的行为实体。Agent与Agent之间表现出来的结构关系较为复杂,其作用是由高层相互交换来实现的,在这样的前提下达到系统设计的预期目标。
面向Agent软件工程针对系统研发来讲,不仅为其构建了系统平台,同时还完成了理论的提供和技术环境的提供。它主要通过系统的模块分解,数据建模和抽象理论完成系统数据的阐述和管理,达到了系统设计的基本要求和目标,这样更可以促进系统难度的提升和灵活性的增加,在此基础上还增加了维护性特点和重用性特点。面向Agent软件工程的基本思想与定义在理论论与软件工程整体规划处于同一个轨道线,基本特点体现出了自然抽象和功能强大。
(1)许多问题固有的分布性(数据、能力、控制)本身就是由多个交互自主实体组成的松散耦合网络。面向agent方法采用粗粒度的自主计算实体为抽象机制,以社会学的观点和人们熟悉的概念(组织,角色等)进行分析、建模、设计复杂分布式系统。面向对象方法则采用细粒度的非自主计算实体(对象)为抽象机制,对复杂问题分析与建模,面向agent较面向对象更自然、直观、简单,容易理解。
(2)面向agent分析与设计处理实体间知识级交互,实体能自主确定交互的方式、范围、时间,内容;同时,存在多种组织关系(如等级制、专家共同体、市场机制等),适合复杂系统的建模。面向对象方法中对象的交互是用处于语法级对象问的消息传递来实现,对象间的组织关系少(如包含、聚合关系),缺乏足够的机制来模型化复杂系统。
(3)面向agent软件工程主要强调角色、责任、服务、目标这些抽象机制来处理复杂性,以何时完成何种目标来分析应用领域,核心是完成的目标。面向对象方法主要强调完成目标的行为类型。因为在任何应用领域中目标比行为或计划更稳定,强调目标与强调行为这看似很小的改变,却导致实质上的不同,面向agent的目标分析使得系统设计更稳定、健壮、模块化,能进行渐增式地开发和测试,具有可扩展性。上下文敏感的计划提供了模块性和构成性,不必改变已有的计划,为实现同一目标的新的上下文计划可加入系统中,这使得系统能处理易变性和特例。
(4) 面向agent软编程的基本部件是agent;面向对象编程对定义基本部件状态没有明确规定,Agent模型的基本部件状态可包含信念、承诺、能力、选择等;OOP用方法引用处理消息,而AOP的消息类型来自言语行为理论,可包含通知、请求、提供、承诺、拒绝等,agent通信有专用语言,如KQML;通常agent在面向agent方法中被实现为有意图的系统.而OOP将对象作为类的实例。
就面向Agent软件工程中的程序设计而言,大于有三种方式:
(1)采用和LISP语法形式差不多的句子对Agent的组成部分进行表达,也包括对Agent系统的行为或者系统之间互相交流沟通,对于提高Agent系统的功能性有很大的帮助。(2)基于逻辑技术,逻辑系统包括一阶谓词逻辑以及时序逻辑等等,也可以作为Agent的程序设计语言来使用,在程序编写的时候,用逻辑系统来对Agent系统的各种方式以及内部组成里进行表述和定义,例如相关知识、意图和信念、原子动作和规则等都可以用逻辑技术来表述定义。逻辑技术的理论系统和语义定义都相当严谨。(3)运用了面向对象的软件开发技术和软部件技术,属于在语言级上对Agent系统程序提供支持。通常都是把Agent系统当成一个特有的对象,用Agent内部功能的预定义软部件来编程和实现Agent系统,它的前提是使用的软部件必须是一组已经封装的特殊类。
到2000年为止,面向Agent软件工程的研究与实践经历了一个由活跃到沉寂的过程,主要因素就是技术问题。近几年,随着人工智能技术走进人们的生产和生活,这方面的研究又再次掀起了热潮。
小结
Agent是对象实体延伸,Agent可以看作特殊意义上的对象,但Agent毕竟不同于对象,其区别主要表现在以下几个方面:
- 尽管Agent与对象都是采用消息传递实现联系,但就对象而言.消息的传递是为了激活方法;而Agent是对消息进行区分的基础上.利用意图及复杂的协议进行建模以实现协商,决定是否答应执行所请求的行为。
- Agent可主动运行,有自己的目标和行为,可由外部激励或内部状态而启动,而对象是纯被动的,只能由外部的消息控制。
- Agent是一个自治的实体,具有自己的知识和分析问题方法,能理解信息并控制自己的行为,而对象只能机械地执行所规定的动作。
- Agent能根据推理规则进行信息的抽象,而对象却一般不具备推理能力
如果把对象理解成存储组合处理器的话,那Agent就是存储、处理器和程序员的组合, 程序员能赋予了主体某种目的性和意志性。人在投影自己的思维主体时,最终的对等模型大概还是Agent,而不是对象,因此,Agent比对象的概念更广更深。