论文部分内容阅读
“行为”是哲学、经济、军事、计算机科学、系统工程、人工智能等诸多学科研究的核心概念,这是因为它们在这些领域中无处不在。行动实际上就是智能主体(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逻辑,清晰地描述了主体的知识状态、心智状态和情感状态的不确定性。笔者提出的这些模型可以轻易地向其他类型的主体模型进行推广。