基于BDI逻辑及其扩展的Agent行为表征研究

来源 :厦门大学 | 被引量 : 0次 | 上传用户:ashwingangel
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“行为”是哲学、经济、军事、计算机科学、系统工程、人工智能等诸多学科研究的核心概念,这是因为它们在这些领域中无处不在。行动实际上就是智能主体(Agent)通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体模型在一些最为重要的多主体系统中得到了广泛应用,是影响最为广泛的主体技术之一。  全文以主体不确定性行为决策和推理为主要研究内容。本研究主要以Pereira等人(2008)、Casali等(2005,2011a,2011b)、Rao和Georgeff(1991,1995,1998)、Criado等(2010)、Meyer等(2012)、Galind和Saffiotti(2013)、Puicā和Florea(2013)等相关文献为基础,借鉴其研究思路和研究方法,并对其研究成果进行了综合、拓展、延伸和创新。本研究能够促进智能主体不确定性行为的表示和推理,并能够为先进分布式仿真、人工智能和系统工程等领域提供形式支持,具有重要的理论价值和实践意义。全文安排如下:  第一章是BDI逻辑及其扩展的研究与其应用概况介绍;第二章是基于BDI逻辑的主体行为表征研究;第三章是基于扩展BDI逻辑的主体行为表征研究;第四章是基于扩展的BDI逻辑的主体行为规范研究;每章都对其相应研究成果进行了实例分析。  第一章和第二章是全文的思想基础和技术基础;第三、四章是在前两章基础上的拓展研究。第三章是全文研究的重点内容和创新内容。  第三章内容属于国际研究前沿,是有别于国内外学者工作的特色研究,笔者的创新内容主要体现在这一章中。这些创新主要体现在以下几个方面:  (1)把无穷值的Lukasiewicz逻辑和命题动态逻辑进行融合后,在对等级BDI主体模型进行形式化的基础上,笔者提出了等级BDI逻辑g-BDIPDL+LL,对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响。  (2)为了通过信念度、愿望度、意图度、害怕度、焦虑度和自信度对不确定性行为进行表示和推理,笔者提出了情感等级BDI逻辑,并对其进行了公理化,清晰地表示了主体的心理状态和情感状态的不确定性,说明了它们对主体行为的影响。  (3)为了对知识、信念、愿望和意图以及害怕、焦虑和自信对主体决策行为影响的强烈程度进行形式化,笔者把无穷值的Lukasiewicz逻辑的真值取值范围从[0,1]扩展到[-1,1],并提出了知识情感等级BDI逻辑,清晰地描述了主体的知识状态、心智状态和情感状态的不确定性。笔者提出的这些模型可以轻易地向其他类型的主体模型进行推广。
其他文献
JD-1A型计算机联锁设备技能培训系统,依靠计算机技术、总线技术、网络技术,完全模拟计算机联锁设备的显示界面与操作方法,做到与现实设备操作一致,使操作人员如同亲临现场,达
世界首个人造生命“辛西娅”的诞生意味着合成生命时代的来临,合成生物学作为其知识和技术的支撑,正日益受到关注和研究。合成生物学技术带给了人类无限的希望:从基础科学领域
本文通过对荣华二采区10
期刊
介绍了国内外铁路防灾安全监控系统的现状及发展,提出了我国铁路客运专线防灾安全监控系统的设计方案,并分析了需要进一步研究的主要问题.