常识推理中非单调逻辑的研究
【摘要】:
联想是培养创造性的心智机能的一种思维活动。一个认知主体如果不善于联想,
其知识不仅是零碎的、孤立的,而且是有限的。本文旨在建立一种刻画联想思维的逻
辑推理系统——联想逻辑。并讨论了联想逻辑与非单调推理、模态逻辑的关系。
在第一章中,我们从心理学角度分析了联想的思维特征。从而确定了联想所具有
的非单调推理特点。提出了本文所要研究的内容及其安排。
在第二章中,我们建立了联想逻辑的公理系统,提出了概率后承的语义概念,并
讨论了联想逻辑的完备性和可靠性。
在第三章中,我们讨论了联想逻辑与模态逻辑、与非单调推理的关系。我们通过
引入联想条件句,将联想逻辑嵌入到模态逻辑框架CT4O之中。从而给出了联想推理
系统的又一表示定理。另外,我们有说明了联想推理系统是一个非单调推理系统。它
满足合理单调律,却不满足弱单调律和谨单调律。因此联想逻辑是一个区别于其它非
单调推理系统的逻辑系统。
在第四章中,我们建立了广义信念修正操作与一类占先模型的对应关系。这一结
果给非单调推理系统RN提供了占先模型的表示定理,从而为进一步研究RN系统的
特性奠定了基础。
在第五章中,我们利用表推演(Tableau)的方法,在命题逻辑中构造一个R-重构的
表推演系统。我们先讨论命题Tableaux及其变形系统。再讨论基于Tableaux的R-重构,
并证明了R-重构的表推演系统的可靠性和完备性。
最后,我们对全文进行了总结,并讨论了文中遗留的问题和进一步研究的方向。
文后列出了本文写作过程中的参考资料。
|
|
|
|
1 |
刘全,孙吉贵,于万钧;改进γ公式的表推演推理方法研究[J];计算机应用研究;2005年01期 |
2 |
潘昊,钟珞,陈杰;支持规则推理的神经网络模型[J];微机发展;1997年05期 |
3 |
何云!研究生队,鲁汉榕!计算机教研室;常识推理中的矛盾知识处理方法[J];空军雷达学院学报;1999年02期 |
4 |
葛小三;边馥苓;;基于常识的空间推理研究[J];地理与地理信息科学;2006年04期 |
5 |
王芳;翁学辉;;非单调逻辑的产生背景[J];内蒙古农业大学学报(社会科学版);2009年06期 |
6 |
李未;;前言[J];计算机科学;1993年02期 |
7 |
白硕;李国杰;;非单调逻辑十五年[J];模式识别与人工智能;1995年S1期 |
8 |
于斌;林作铨;石纯一;;可废除推理研究[J];计算机科学;1996年02期 |
9 |
林作铨;常识问题常识推理的逻辑基础[J];计算机研究与发展;1997年06期 |
10 |
朱朝晖,李斌,陈世福,朱梧槚;关于条件蕴涵的一个注记(英文)[J];Transactions of Nanjing University of Aeronautics & Astronau;2001年01期 |
11 |
孙吉贵,刘瑞胜,陈荣;基于溯因问题求解的知识库更新[J];吉林大学自然科学学报;1999年01期 |
12 |
杨武金;刘东东;;非单调逻辑:困境与出路[J];毕节学院学报;2007年05期 |
13 |
杜劲松;张尧庭;;关于常识推理的统计途径[J];计算机科学;1994年01期 |
14 |
靳小龙,魏旺强;基于常识的亲属关系推理模型[J];计算机工程与应用;2001年17期 |
15 |
张桂英;周兴社;倪红波;周珊丹;苗强;;老年人看护系统中常识推理的研究[J];计算机工程;2010年04期 |
16 |
金芝,胡守仁;面向对象逻辑语言SCKE中的限制推理[J];软件学报;1994年05期 |
17 |
张东摩;宫宁生;;中介自动推理的理论与实现(Ⅵ)——中介模态逻辑MS_5的表推演系统[J];模式识别与人工智能;1995年04期 |
18 |
孙吉贵;刘叙华;;表推演方法[J];计算机科学;1995年06期 |
19 |
张东摩;宫宁生;;中介自动推理的理论与实现(V)——中介模态逻辑MK的表推演系统[J];模式识别与人工智能;1995年02期 |
20 |
徐金辉,李凡长,蔡庆生;关于模糊联想类比推理的数学模型及逻辑初探[J];计算机研究与发展;1996年03期 |
|