常识推理中非单调逻辑的研究

来源 :南京航空航天大学 | 被引量 : 6次 | 上传用户:lionsky
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
联想是培养创造性的心智机能的一种思维活动。一个认知主体如果不善于联想,其知识不仅是零碎的、孤立的,而且是有限的。本文旨在建立一种刻画联想思维的逻辑推理系统——联想逻辑。并讨论了联想逻辑与非单调推理、模态逻辑的关系。 在第一章中,我们从心理学角度分析了联想的思维特征。从而确定了联想所具有的非单调推理特点。提出了本文所要研究的内容及其安排。 在第二章中,我们建立了联想逻辑的公理系统,提出了概率后承的语义概念,并讨论了联想逻辑的完备性和可靠性。 在第三章中,我们讨论了联想逻辑与模态逻辑、与非单调推理的关系。我们通过引入联想条件句,将联想逻辑嵌入到模态逻辑框架CT4O之中。从而给出了联想推理系统的又一表示定理。另外,我们有说明了联想推理系统是一个非单调推理系统。它满足合理单调律,却不满足弱单调律和谨单调律。因此联想逻辑是一个区别于其它非单调推理系统的逻辑系统。 在第四章中,我们建立了广义信念修正操作与一类占先模型的对应关系。这一结果给非单调推理系统RN提供了占先模型的表示定理,从而为进一步研究RN系统的特性奠定了基础。 在第五章中,我们利用表推演(Tableau)的方法,在命题逻辑中构造一个R-重构的表推演系统。我们先讨论命题Tableaux及其变形系统。再讨论基于Tableaux的R-重构,并证明了R-重构的表推演系统的可靠性和完备性。 最后,我们对全文进行了总结,并讨论了文中遗留的问题和进一步研究的方向。文后列出了本文写作过程中的参考资料。
其他文献
新型农业经营主体是中国现代农业发展的主力军,破解其融资难问题具有非常重要的意义。主要分析了新型农业经营主体所面临的融资难问题及其原因。在此基础上,提出一些破解新型
小儿厌食症是近年来儿科临床的常见病之一,其病因和病理生理改变成为研究焦点,胃肠动力减弱是其重要原因之一。我们在江育仁教授提出的“脾健不在补贵在运”理论指导下,以运脾法
当前智能变电站中智能标签技术采用私有数据库结构方式,该技术不规范、不统一、不利于项目的普及与推广。文中对基于物理回路建模的设计与"虚实对应"进行优化,设计方法的提出基
弹簧压钉绕组压紧装置曾在小容量、低电压等级电力变压器上得到了大面积的推广,随着电力变压器技术的发展,容量增大,电压等级提高,压装垫块绕组压紧结构的应用越来越广泛,其
本文是从历史的视角考察新时期我国国有企业股份制改革的基本情况,全文分三部分: 第一部分,通过从纵的方面叙述企业股份制改革的历史脉络,揭示股份制经济不同时期的发展情况和
针对珠江电厂蒸汽吹灰器的应用情况,剖析了其在运行中对锅炉的影响,找出了引起蒸汽吹灰器故障的主要原因,进行了详细分析;针对在实际生产中遇到的问题,从运行方式、技术措施以及管
我国新闻界对西方新闻写作技巧的借鉴意识由来已久,在当今信息传播全球化的环境中,这有着更为明显的现实意义。本文着重探讨了西方新闻写作中的客观性技巧、讲故事的技巧和安排
著名讽刺小说家张天翼同时也是现代文学中重要的儿童文学家,他所构织的"灰色人物"画廊留给读者丰富而又深刻的社会文化想象空间。最能代表作家的是30年代的讽刺小说,其文本呈
目的:探讨分析会对血液生化检验标本检验结果准确性造成影响的主要因素,然后提出相应的解决措施。方法:此次研究选取2017年9月至2019年5月在本院接受血液生化检验的84例患者
糖尿病(Diabetes Mellitus, DM)及其慢性并发症已成为继癌症和心血管疾病之后的第三大死亡原因。大量临床资料显示不良的血糖控制和与年龄相关的病变共同作用,更加速DM并发症