【摘 要】
:
主体信念的形成,以及信念的强度与证据和信任密切相关。例如,得到证据支持的信息通常可被主体所相信,证据支持度往往会影响信念的强度,过去获得的信息,在之后的信任影响下转化为信念等等。另外,主体的信念形成之后,常常是容易变化的,但存在一些是坚定不变的。这些现象在人类认知中扮演着十分重要的角色。对其进行研究有助于更深入地了解人类的思维规律,也有助于丰富信念、证据和信任本身的理论,以及有助于相关领域诸如人工
论文部分内容阅读
主体信念的形成,以及信念的强度与证据和信任密切相关。例如,得到证据支持的信息通常可被主体所相信,证据支持度往往会影响信念的强度,过去获得的信息,在之后的信任影响下转化为信念等等。另外,主体的信念形成之后,常常是容易变化的,但存在一些是坚定不变的。这些现象在人类认知中扮演着十分重要的角色。对其进行研究有助于更深入地了解人类的思维规律,也有助于丰富信念、证据和信任本身的理论,以及有助于相关领域诸如人工智能和博弈论等的研究。本文试图研究如上现象。本文的研究目标主要有两个:其一,探究证据和信任对信念形成的影响。首先,对信念与证据的联系进行形式化研究。其次,对信念强度和证据支持度的联系进行形式化研究。最后,对于信念与信任的联系的形式化问题,李欧进行了回答。但他所建立的公理系统只能刻画出当前的信任对当前获取的信息转化为信念的影响,而无法刻画之后的信任对曾经获得的信息转化为信念的影响。本文将运用佐藤风格的时态认知逻辑模式,对后者进行逻辑刻画。其二,本文将运用佐藤风格的时态认知逻辑方法,对主体的坚定不变的那部分信念进行形式化研究。针对以上这些方面,本文的研究成果如下:第一,本文第三章在信念逻辑和证据逻辑的基础之上,考虑信念和证据联系的形式化问题。在信念和证据逻辑模型中,信念关系和证据关系是相互独立的,这意味着无法将信念和证据联系起来。本章通过在模型上加入约束条件,将信念关系和证据关系联系起来,并通过所建立的BE公理系统中的公理表达出信念和证据之间的联系,从而实现了这一联系的形式化研究。我们还证明了该系统的可靠性和完全性。第二,本文第四章在信念算子和证据算子中融入程度符号,以表达信念的强度和证据的支持度。通过约束条件将二者对应的关系联系起来,并通过BE*公理系统中的公理表达出二者的联系,从技术上实现了二者联系的形式化研究。我们还证明了该系统的可靠性和完全性。第三,本文第六章在李欧所探讨的信念和信任联系的基础之上,通过佐藤风格的时态认知逻辑模式,刻画出了曾经获取的信息,在之后的信任影响下转化为信念的情况,并构建了BAt公理系统,证明了其可靠性和完全性。第四,本文第七章运用佐藤风格的时态认知逻辑模式,对主体的坚定不变的那部分信念进行了形式化研究,并构建了Bt公理系统,证明了其可靠性和完全性。本文所做的这些工作丰富了现有关于信念、证据和信任的研究理论,并且其结论在人工智能、法律推理、信息安全和博弈论等领域具有潜在应用价值。
其他文献
本文以机甲大师竞赛(Robo Mater)中的步兵移动机器人为研究载体,设计整机的机械结构和控制系统,重点以机器人的二自由度云台为对象,针对其在大量随机干扰情况下控制精度低、抗干扰能力差的问题,设计出基于LuGre摩擦模型补偿的改进型自抗扰控制算法,有效提高了云台的控制性能。主要内容如下。根据比赛规则,规划了步兵移动机器人的合理方案,拟定了主要技术指标。在此基础上,完成了机器人的移动底盘和二自由度
本文以机甲大师赛(Robo Master)的英雄机器人为研究对象,进行机械结构、控制系统的软硬件设计制作,以及线性自抗扰控制算法研究。同时,以英雄机器人二自由度云台伺服系统作为研究重点,以云台的响应性、稳定性、抗扰性为评价指标,采用系统辨识,Matlab仿真及物理样机实验等方式,对英雄机器人二自由度云台的动态特性及控制算法进行分析和验证。首先,求解出二自由度云台运动学正逆解方程,得到目标信息与云台
《十四五规划建议》明确提出,要"扎实推动共同富裕,不断增强人民群众获得感、幸福感、安全感,促进人的全面发展和全面进步",把实现共同富裕取得实质性进展作为实现中国特色社会主义建设的远景性现代化目标,体现了党的使命感与未来努力方向。共同富裕既是中国特色社会主义的本质特征,又是中华民族在新历史时代的理想和奋斗目标,改革开放四十年来,中国经济实现了飞速发展,我国具备了实现共同富裕的良好基础,但不可否认,我
产业结构变化对城市群人口发展具有重要影响,人口演变对城市群产业转型的质量也具有反向作用。基于1950年以来美国人口普查和经济普查数据,借助人口比重、人口密度、人口增长率等指标,采用空间自相关、区位熵等方法,从城市群、都市区、中心城市三个层面对北美五大湖城市群的人口空间分布和产业演进过程进行研究。结果发现,以传统产业制造业为优势产业的北美五大湖城市群人口演变具有滞后性、收缩性、波动性、空间分异性、内
目的:探讨聚焦解决模式应用于品管圈活动提高肉芽肿乳腺炎患者舒适度的效果。方法:选取2019年8月1日~12月31日165例肉芽肿性乳腺炎患者作为对照组(改善前),采用常规方法护理;选取2020年1月1日~4月30日105例肉芽肿性乳腺炎患者作为观察组(改善后),开展品管圈活动并实施聚焦解决模式。比较两组患者舒适度及实施品管圈活动前后圈员圈能力。结果:观察组患者舒适度高于对照组(P<0.05)。实施
数学的教学目的不仅仅是为了让学生掌握一定的数学知识,更是为了让学生可以将学到的基础知识运用到实践当中,能用数学思想去解决生活以及学习中遇到的一些实际问题.所以,在数学课程中,除了要让学生掌握并了解相应的数学基础知识与技巧之外,更关键的是培养他们的应用意识,为学生渗透数学核心素养的教学.
本文概述了电子工业用各种涂料的用法、组成、性能要求、各公司产品的比较,及其在应用中的优缺点。