面向Agent的风范自提出以来一直受到广泛关注.各种类型的软件Agent大量用于信息处理、办公自动化、交通管理、私人电子助手等领域,特别是Interet信息网络的飞速发展,以及Internet本身固有的开放、复杂、异质、动态、分布等特性,为Agent技术的发展带来了有利条件和有力挑战,开创了面向Agent计算的新时代.因此,对软件Agent理论及相关技术的研究具有深远意义.Agent技术源于人工智能.但事实上,Agent技术更属于软件工程甚至是整个计算机科学领域所应探讨的课题.该文试图研究与软件Agrnt理论以及面向Agent方法学有关的一些问题,其中创造性的研究工作主要有:1.从Agent的社会行为出发,为Agent引入行为自信度的概念,并提出了理性Agent应当遵守的行为自信度修改规则;2.设计了Agent规约与编程语言SPLAW,为SPLAW中和各种语法成分提供了操作语义,并基于标记转换系统给出了Agent性质的证明规则;3.基于BDI Agent模型研究了软件agent的继承性和动态复制行为,形式定义了单继承和多继承的语义;采用优先级的方法保证了规划语义的无歧义性和信念、目标的协调性;将Agent实例的动态复制行为划归为四种类型:功能分割、逻辑分割、择优分割和返祖分割,分析了不同分割方式的作用,给出了不同分割方式的有关算法,并基于市场系统应用背景给出了相应的实例;4.提出了一种改进的多模态-阶逻辑系统-S<,BDI>,试图为Agent规约与编程语言SPLAW提供验证工具;5.提出了一种面向Agent的分析方法ARC;6.设计度实现了SAFIN系统.