论文部分内容阅读
Agent理论和技术源于分布式人工智能(DAI),然后从DAI中分离出来,逐渐应用到其它研究领域。在软件工程领域,agent技术作为开发软件系统的新方法得到广泛关注;Agent是位于特定环境中的一个被封装的计算机系统,它具有为完成设计目标而自治、灵活的行为能力;Agent作为一种系统级的、粗粒度的、自治的、灵活的新抽象,为分析、设计复杂软件系统提供了一个崭新的途径,被誉为软件开发的又一重大突破。Agent技术表示了一种计算的社会范型,基于社会学思想研究agent是agent技术发展的必然趋势。基于社会学思想的agent研究工作分为形式化方法和非形式化方法:(1)形式化方法研究社会心智状态和它们之间的相互关系,并使用这些社会心智状态和数理逻辑建立agent模型。形式化方法存在逻辑证明困难、符号操作复杂和实现困难等主要问题;(2)非形式化方法基于社会组织、社会角色等构造agent和多agent系统,使用文字、图、表等描述过程和模型。非形式化方法存在尚未建立人类社会范型并将社会范型映射到多agent系统、尚未分析构造的agent模型是否具备自治性、灵活性等主要问题。本文基于社会角色形成、扮演理论,以agent非形式化方法为对象,研究了基于角色的社会范型和多agent系统模型、agent角色模型、agent自治结构和自底向上的多agent系统构造方法,具体工作和创新点如下。1.研究工作。(1)研究社会角色和基于角色的多agent系统模型。根据社会角色形成、扮演理论,概括了社会角色具有的非先天性、非孤立性、模式性、关系二元性、扮演单一性等五个特征,建立了基于角色的人类社会范型;通过人类社会与多agent系统的概念映射,定义了基于角色的多agent系统模型,包括初始环境、计算环境、角色、agent、角色交互、角色组织等模型;给出了基于角色的多agent系统的构造原则:①agent构造分为在初始环境的自治性构造和计算环境的灵活性构造两步过程;②agent交互模型在计算环境中通过角色关系进行构造;③agent组织在计算环境中构造,通过目标自底向上的动态构造由角色构成的agent组织。讨论了影响多agent系统构造需求变化的因素,如资源因素、agent因素、软件技术因素等。(2)研究agent角色模型和基于角色的agent结构。分析了agent角色研究现状和存在的问题,将agent角色定义为位于同一外部环境中agent个体间的相互关系,将关系数据理论用于agent角色研究;用关系代数定义agent角色形式化模型,包括数据结构、角色操作和角色完整性,角色模型具备的性质表明角色满足软件工程要求的模块化、高内聚、低耦合的设计原则;把角色间的关系定义为角色依赖,使用Armstrong公理研究基于角色依赖的角色规范化,讨论了角色导出、传递等依赖形式,证明了文中的角色依赖集是完备集。定义了角色交互模型,基于事务理论讨论了交互模型具有的自治性、一致性、持久性特征。定义了角色组织模型,分析了组织模型的动态性和灵活性。用Pi演算描述了基于角色的agent模型的构成模块和模块交互,分析了角色扮演过程。(3)研究基于反馈机制的agent自治BDI结构。模拟人类个体自治状态、自治功能和自治控制,建立基于反馈机制的agent自治BDI结构。人的自治状态表现为内环境中各项因素数据,按照处理对象,把人的生理功能概括为六个系统:外部资源处理系统、防护系统、控制系统、感受系统、效应系统、其它系统。建立了人类个体自治状态、自治系统、自治控制与BDI模型间的映射关系,使用Pi演算描述了自治agent BDI结构的构成模块、模块间的交互关系和交互信息,对模型运行过程分析证明结构能通过反馈机制控制内部状态和行为,具备自治性。(4)研究自底向上的多agent系统分析和设计方法。给出了agent模型技术方法(AMT)。AMT基于对象模型技术(OMT)的过程和模型表示方法AMT包括分析和设计两个阶段:①分析阶段建立领域模型、Agent模型、角色模型、交互模型和功能模型。领域模型使用领域工程方法建立,用于描述agent位于的外部环境,获得外部环境的共性特征和变化性特征,其中共性特征描述了agent自治属性和操作;Agent模型描述系统的静态结构,agent模型由类图表示;角色模型描述了agent间的关系,实现agent灵活性;交互模型表明了agent的动态行为,通过描述agent的角色行为脚本,建立每个agent的状态图,所有agent的状态图构成交互模型;功能模型由数据流图表示,它表示了功能的输入输出值;Agent操作由交互模型和功能模型中获得。②AMT设计阶段进行领域设计、agent设计和组织设计,领域设计确定agent自治结构、功能算法等,agent设计把自治功能、自治属性和角色封装在一起:组织设计确定组织内的agent、角色,识别处理组织内部、组织之间的并发性,设计数据存储结构等。2.本文的创新点。(1)基于社会学角色理论,建立了一种基于角色的多agent系统模型。本文建立的基于角色的多agent系统模型,突出了社会个体在社会环境中的作用。相对于那些根据角色概念直接建立的多agent系统模型,本文模型能够更好地刻画agent作为社会角色的特征,体现多agent系统的社会性和可组织性。(2)基于关系代数理论,建立了一种agent角色的形式化模型。本文建立的agent角色形式化模型,突出了角色关系和角色依赖在agent构造中的作用。相对于那些仅基于角色概念定义的角色模型,本文模型具备更为明确的边界和更为清晰的语义,更利于agent构造和复用。(3)基于Pi演算,建立了一种基于反馈的自治agent BDI结构。本文建立的自治agent BDI结构,突出了反馈机制在保持自治信念、自治愿望、自治意图中的平衡作用。相对于通用型的BDI结构,本文建立的自治agentBDI结构,限定了可能世界语义范围,结构简洁,构建方便。Agent技术是较新的研究领域,无论是理论研究还是应用方面都还有许多工作要做。本文研究了agent角色与多agent系统构造方法中的一些基础性的内容,在本文研究工作基础上的进一步的工作包括:(1)研究多agent系统自治性。在本文agent个体BDI自治结构的基础上,基于社会组织理论,研究什么是多agent系统的自治状态、自治行为,实现多agent系统的自治性合适结构和机制;(2)研究agent多角色依赖。在本文agent角色依赖研究的基础上,研究什么是agent多角色依赖,多角色依赖的形式化表示和规范化问题;(3)Agent模型技术方法的软件质量度量问题研究。本文仅给出了方法的非形式化过程描述,未进一步使用软件工程度量方法讨论agent模型技术构造的agent系统的质量。