联合意图的理论框架

0 引言 agent是指在某一环境下能够持续自主运行,具有社会性、反应性等特征的计算实体。多agent系统由一组具有一定资源和能力、相对独立且交互合作的agent组成。由于多agent系统提供了更高层次的抽象模型,能够自然、贴切、直观地表示现实世界中的计算实体及其问题求解方式,因而有关agent理论和技术的研究引起了人们的高度重视。     

意图逻辑

近年来,关于意图的形式化研究已成为哲学逻辑、人工智能和计算语言学共同关心的重要课题,     

理性Agent的意图维护模型

在理性Agent的形式化中,通常认为Agent的思维状态包含信念、愿望帮意图这3个属性,它们之间的静态关系已被人们充分重视,但它们随时间的动态变化还未被很好研究,考察了意图维护直观语义中的一些问题,给出了随信念、愿望改变的意图维护的动态模型,与Rao和Georgeff的意图维护模型相比,适用性更广、更简单,不必限制可友爱世界的时序结构,不必另外引入信念=愿望、意图算子的on ly模态形式,并且对愿望和意图不存在逻辑全知问题和重言隐含下的副作用等问题。     

多agent系统中agent的行为决策

1.介绍 agent是指在某一环境下能够持续自主运行,具有社会性、反应性、自发性等特征的计算实体。多agent系统由一组具有一定资源和能力、相对独立且交互合作的agent组成。由于多agent系统提供了更高层次的抽象模型,能够自然、贴切、直观地表示现实世界中的计算实体及其问题求解方     

多Agent合作逻辑中的动作与意图

改进并发博弈结构,给出了一个新模型.消除了不同Agent不准执行相同动作这个与常识不符的假定.给出了5个动作相关函数,使得对Agent、动作与状态三者之间的关系在社会法律约束下的深入考察成为可能.在语法层面同时表述动作和社会法律,提高了多Agent合作逻辑的灵活性和表达能力.在多Agent合作逻辑中引入信念算子和意图算子;考察了两种个体意图和两种群体意图;给出了对命题的个体意图的多子集语义,并把它拓展到对命题的群体意图的语义.     

移动Agent系统中的安全性问题研究

首先，在这篇论文中介绍了移动Agent的定义及其应用。然后，分析了存在恶意代理的前提下，如何保护主机；存在恶意主机的前提下，如何保护代理，提出这些问题的解决办法。最后，得出结论，解决移动Agent系统的安全性问题是很困难的。     

一个多Agent系统模型

一个Ａｇｅｎｔ的知识和问题求解能力是有限的,为更好的服务于用户,必须与其它Ａｇｅｎｔ全作,Ａｇｅｔｎｔ寻找合作伙伴是问题求解的关键。本文结构Ｎ．Ｒ．Ｊｅｎｎｉｎｇｓ等人的工作给出了一种系统模型,任务减少了通开锁,自适应单元增强了Ａｅｇｎｔ对外界变化的自适应能力,Ａｇｅｎｔ个性倾向性使模型更合理,排除了冲突因素,提高了２求解的效率。     

形式化模糊量词及推理

带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家系统等智能系统中。     

移动Agent系统综述

移动Ａｇｅｎｔ系统是一种崭新的分布式计算和网络通讯的模式,介绍了移动Ａｇｅｎｔ的概念和移动Ａｇｅｎｔ系统与其它相关技术的比较,强调了移动Ａｇｅｎｔ系统所必须解决的几个关键问题,同时分析了现有的几个实际的移动Ａｇｅｎｔ系统,对移动Ａｇｅｎｔ系统的应用进行了展望。     

面向对象模型与形式化方法

本文在分析面向对象和形式化方法两种重要系统建模方法的基础上,论述了两种方法的关系,指出二者互补、组合的优越性,概述了各种领域里的组合应用,并进一步设想未来的发展方向可能是二种方法的优点的活用和统一。     

基于决策问题形式化的模型构造方法

在对目前决策模型构造方法的局限性进行分析的基础上,给出决策问题的形式化表示,提出一种基于决策问题形式化的模型构造方法,从描述模型与问题模型两个角度探讨了该方法构造模型的过程.并以实例论证了该方法的科学性与可行性.     

AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是Agent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpcak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论—AgentSpcak中的意图执行是可靠而完整的,从而验证了AgcntSpcak中软件Agent意图完成目标的正确性。     

隐式愿望及其形式化

隐式愿望的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉、有利于提高智能主体的自主性等等.     

Agent在多Agent系统中计算的意愿理论*

提出了Agent在多Agent系统中计算的意愿理论,以支持Agent计算的理论研究.区分了两种意愿：实现型意愿和维护型意愿.基于多Agent系统计算的逻辑框架,给出了两种意愿新的语义定义,获取和描述了它们的一些重要逻辑属性.     

基于用户查询意图识别的Web搜索优化模型

在对用户查询意图进行分析分类的基础上,提出了一种Web搜索优化模型。该模型通过识别用户查询意图来查询意图特征词和内容主题词的双重约束,再结合用户查询行为获得查询目标,既保证了用户查询意图的准确匹配,又自动过滤和屏蔽了不相关信息。与相关工作对比,其重点在于准确获取用户查询意图,提高用户满意度。实验结果表明,该模型在实现信息搜索准确性和用户对查询结果满意度方面比传统搜索方法有明显改善。     

Agent的意图模型

意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.     

一种基于Agent的工作流模型的设计与实现

1 引言面对日益激烈的市场竞争,如何对大型的复杂商务过程进行有效的管理,已经成为现代企业所面临的一个重要挑战。作为一种增进机构管理效率,提高事务处理效率的解决方案,工作流系统备受企业管理层的青睐。工作流技术的思想早在70年代就被提出来了,但由于当时网络通信技术相对落后,使这一思想没有得到很好的应用。到了八十年代后期和九十年代,网络技术得到了飞速的发展,Internet开始走向世界的各个角落,企业内部网的构建变得容易,便宜。另外电子商务,分布式数据库系统等相关技术的发展和成熟都为工作流技术的实现提供了坚实的基础。     

Agent意图的双子集语义改进模型

意图是Agent的一个关键的意识属性,在决定理性Agent的行为中起着重要作用.为了克服现有意图逻辑中存在的缺陷,建立了适用于意图的语义表示.讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题.介绍了在前期工作--真假子集语义基础上开发的双子集语义改进模型及其在Agent意图形式化中的应用,并且证明通过对模型的代数结构施加一定的约束,能获得许多希望得到的性质.在二值逻辑中,真和假是同等重要的.当然,对一个命题,描述了真值也就知道了假值;但对于一类命题却不是这样,对假值的刻画与对真值的刻画具有同等重要的意义.而对意图的描述是对一类命题(Agent意图实现的命题)的刻画.经典的正规模态算子的可能世界语义只重视真,用RI(w)来描述,可看成是单子集语义.而改进的双子集语义真假并重,用R_IT(w)来描述真,并用R_IF(w)来描述假,从而能更全面地描述二值逻辑中的模态算子.经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当R_IF(w)=()时的退化情形.改进的双子集语义不仅避免了基于正规模态逻辑表示的"逻辑全知"问题以及由此带来的副作用等问题,与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,而且克服了前期工作真假子集语义和双子集语义表示的缺陷.实际上,改进的双子集语义为非正规模态算子的语义表示提供了一种新的方法,可应用于建立新的合适的Agent逻辑系统.     

基于决策问题形式化的模型构造方法

在对目前决策模型构造方法的局限性进行分析的基础上,给出决策问题的形式化表示,提出一种基于决策问题形式化的模型构造方法,从描述模型与问题模型两个角度探讨了该方法构造模型的过程。并以实例论证了该方法的科学性与可行性。     

Agent识别矛盾问题核问题的方案研究

由于传统软件识别矛盾问题的能力不足,限制了计算机在解决矛盾问题方面所发挥的能动作用。可以尝试利用Agent的自主性、社会性和反应性等特性,协助识别矛盾问题。针对Agent缺乏界定矛盾问题核问题的能力的缺点,本文提出一种方案,以可拓信息-知识-策略形式化体系作为Agent的知识链,利用Agent的通信能力与反应性进行人机交互,引导用户输入基元信息,减轻让Agent识别以自然语言描述的矛盾问题信息的困难,使矛盾问题核问题不断清晰,直到可以进行可拓变换解决矛盾问题。创新点在于结合了可拓学、Agent、本体等几种不同学科领域技术的优势,使得Agent有能力协助人们分析和解决矛盾问题。