【摘 要】
:
传统的基于模态逻辑的Agent模型在虚拟组织的应用上仍然存在三方面的问题:可信问题、计算问题和冲突问题,导致其在实用化方面遇阻。本文针对这三方面问题提出新的解决方案,以
论文部分内容阅读
传统的基于模态逻辑的Agent模型在虚拟组织的应用上仍然存在三方面的问题:可信问题、计算问题和冲突问题,导致其在实用化方面遇阻。本文针对这三方面问题提出新的解决方案,以虚拟组织为应用背景,基于政策导向机制,采用可废止逻辑构架,以实现系统可控为主要目的,建立了新的可控Agent理性模型理论,具体研究内容如下:首先,研究了单Agent思维状态问题,提出了可控的Agent个体理性模型。模型以政策导向为手段,增强Agent的可控性。模型采用了分层政策结构,以此来解决Agent个体行为与组织整体目标的冲突问题。基于扩展的可废止逻辑框架,为模型提供了一个线性计算复杂度的形式化理论。其次,研究了多Agent协作理论问题,提出了可控的Agent组织协作模型。协作被建模为四个子过程的循环迭代:组织状态更新、组织目标产生、成员义务分配以及成员行为执行,它们分别受到监察、策略、分派和约束四类政策的导向与规范。最后,研究了模型的验证实例。通过手机虚拟组织对本文提出的模型进行了例证。并对所采用的推导算法作了复杂度分析,证明其是输入规模的线性函数,在最后给出了验证系统的体系结构。与传统的Agent模型相比,有以下三个创新点:首先,模型将政策管理的思想融入到Agent理性模型之中,达到提高系统可信度的目的。其次,可废止逻辑框架使模型的推导过程具有了非单调性和线性复杂度。最后,分层政策结构解决了Agent个体行为与组织目标的冲突问题,从而进一步增强了系统的可控性。
其他文献
汉语属于分析性语言,缺乏严格意义上的形态变化,汉语的副词承担着繁重的语法任务,在汉语语法系统中具有重要地位。副词在自然语言理解与生成中的重要性不言而喻。目前已有的
容错编码技术是针对数据传输与存储系统所面临的容错信道,保证数据高效、可靠传输与存储的一种前向纠错编码技术.随着P2P网络、多播传输等技术的发展,基于数据块或数据包的大
从生物序列中识别基序是生物信息学中的一个热点问题,也是生物学中研究基因调控机制的基础计算问题之一。由于基序长度较短、非百分百保守以及生物数据复杂性高等原因,通过计
边缘检测技术是图像分析的重要内容,也是图像处理领域中一种重要的预处理技术,受到了人们广泛的关注和重视。由于实际应用中图像质量的优劣性和目标的复杂性,进行边缘检测时
随着电子商务的普及与发展,大部分网络消费者在购买商品前都会浏览商品的用户评论信息,这些评论信息不仅对消费者做购买决策有帮助,对生产厂家或电商公司获取商品市场反馈也
中国是一个多民族组成的国家,文化多种多样,语言沟通成为促进民族发展、民族团结和共同繁荣的重要因素,而语言翻译是解决语言沟通不畅问题的主要手段。然而人工翻译已经无法
由于教学理论的发展,现代社会对于人才教育的方式也由传统的教师为中心转变为学生为主体的教学模式。网络化教学E-learning作为一种依托科学技术而发展起来的教学方式正好满
编写正确的程序并不容易,而编写正确的并发程序就更难了。与顺序执行的程序相比,并发程序中显然更加容易出现错误。同时,伴随着处理器数量的增加,有效地采用并发会变得越来越
动态内存分配器是操作系统最基本的组成部分,在进程的执行过程中为进程提供动态的内存区域。进程能够根据需要向动态内存分配器申请新的内存区域或者是释放已经分配了的内存
离散制造企业主要是指机械加工、家具生产、五金等通过零部件加工、装配成为产品的企业。离散制造的产品往往都是结构比较复杂,包含多个零部件,同时企业生产往往是按订单设计