试论认知逻辑研究中的若干问题

发布时间：2018-06-28 04:11

  本文选题：认知逻辑 + 可操作性　； 参考：《南开学报(哲学社会科学版)》2003年06期

【摘要】：认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。
[Abstract]:The purpose of cognitive logic research is to provide powerful tools for artificial intelligence research. However, the current research results of cognitive logic are difficult to be applied to the practice of artificial intelligence. To a large extent, this situation is caused by the problems existing in cognitive logic itself. Firstly, the theory of cognitive logic is lack of maneuverability, and people can not construct the proof of the theorem of cognitive logic system and the deduction according to the system. Secondly, the possible world semantics used in cognitive logic theory can not make a reasonable explanation of cognitive sentences. Thirdly, the axiomatic system of cognitive logic is not necessary for artificial intelligence research. Due to the existence of these problems, logicians need to seriously reflect on the original methods.
【作者单位】： 南开大学哲学系
【基金】：喜马拉雅文教基金 中流文教基金
【分类号】：B815.3

【共引文献】

相关期刊论文 前10条

1 潘恩荣;;设计的哲学基础与意义——自然主义式的认知[J];自然辩证法通讯;2006年05期

2 郭斌;从康德的理性观看计算机时空的构建——从计算机的角度来看时间与空间[J];自然辩证法研究;2004年08期

3 刘西瑞;表征的基础[J];厦门大学学报(哲学社会科学版);2005年05期

4 王哲;;人工智能的复杂性与信息科学纲领[J];系统科学学报;2007年02期

5 魏屹东;认知科学与哲学关系的历史审视[J];文史哲;2005年02期

6 周凌波,王前;略论信息思维的三种基本形式[J];东北大学学报(社会科学版);2005年03期

7 沈骊天;;心灵的哲学求索与科学探索[J];华中科技大学学报(社会科学版);2006年05期

8 韩永进;技术的符号意义问题研究[J];科学技术与辩证法;2004年04期

9 郝宁湘,郭贵春;人工智能与智能进化[J];科学技术与辩证法;2005年03期

10 毛华滨,高新民;从意向性看人工智能的发展方向[J];科学技术与辩证法;2005年05期

相关博士学位论文 前5条

1 贾林祥;认知心理学的联结主义理论研究[D];南京师范大学;2002年

2 翟东海;加乘型模糊神经网络理论和应用的研究[D];西南交通大学;2003年

3 唐平;异常心理的哲学研究[D];武汉大学;2005年

4 彭永东;控制论的发生与传播研究[D];中国科学院研究生院（自然科学史研究所）;2006年

5 胡小安;虚拟技术若干哲学问题研究[D];武汉大学;2006年

相关硕士学位论文 前10条

1 刘琼;图灵测试、中文房间理论及其对功能主义的影响[D];湘潭大学;2007年

2 汪寅;虚拟现实技术的哲学意蕴及其社会影响[D];广西大学;2004年

3 琚乔月;法律专家系统的逻辑学探析[D];河南大学;2005年

4 唐芳芳;哥德尔定理的意义[D];清华大学;2005年

5 赵泽林;心灵的计算理论与马克思主义心智学说的当代发展[D];华中师范大学;2006年

6 李康;福多的心理模块论及其认知哲学思想[D];山西大学;2006年

7 崔鑫;人工智能研究纲领的困境与走向[D];南京航空航天大学;2006年

8 汪静;网络语言的本质及社会功能[D];东华大学;2007年

9 宁春勇;人工智能能否超越人类智能？[D];河南大学;2007年

10 蒋玲玲;整合·虚拟·超越[D];湖南师范大学;2007年

【相似文献】

相关期刊论文 前10条

1 楚谭;浅谈语句的语用意义[J];中国俄语教学;1984年06期

2 李先昆;中国逻辑与语言研究会讨论语言逻辑问题[J];哲学动态;1986年08期

3 S.哈克;黄骏;尹智全;周建设;冯周卓;;逻辑的范围[J];世界哲学;1986年06期

4 金承光;《法律意识中的逻辑》简介[J];国外社会科学;1989年09期

5 郭贵春;逻辑方法的意义[J];东岳论丛;1990年05期

6 祁洞之;古代中国自然哲学的认识论基础及特征[J];江苏社会科学;1992年06期

7 李小五;用带测度函数的可能世界语义学解释—归纳认知逻辑[J];自然辩证法研究;1993年02期

8 李小五;1993年国外哲学逻辑研究新进展[J];国外社会科学;1994年06期

9 曾利沙;英语线性段落结构模式研究[J];外语教学与研究;1994年01期

10 周文英;现代普通逻辑提纲（四）[J];江西教育学院学报;1995年01期

相关会议论文 前10条

1 张建军;;类说谎者认知悖论[A];1994年逻辑研究专辑[C];1994年

2 李瑞峰;;知道逻辑初探[A];1994年逻辑研究专辑[C];1994年

3 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年

4 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

5 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

6 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年

7 刘奋荣;;非单调性问题与自认知逻辑[A];2001年逻辑研究专辑[C];2001年

8 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

10 蔡曙山;;学科交叉与现代逻辑的发展[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

相关重要报纸文章 前10条

1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

2 陈慕泽;多主体系统中的互知[N];光明日报;2000年

3 朱德全　龙登丽;课堂改革：能否基于问题开处方？[N];中国教育报;2004年

4 华东师范大学 冯棉;逻辑科学，将充满活力[N];社会科学报;2004年

5 陈波;逻辑学的2005年[N];光明日报;2006年

6 中国人民大学附属中学高级教师 彭晓;无限网络,无限教育[N];光明日报;2006年

7 中国社会科学院农村发展所研究员 李成贵;建设清洁的新农村[N];人民日报;2007年

8 记者 宋广玉;我市和谐发展指数位列全国第四[N];南京日报;2007年

9 深圳报业集团驻沪记者 马信芳;深圳以86.80分居41城市之首[N];深圳特区报;2007年

10 刘倩倩;威海和谐发展指数位列全国第四[N];威海日报;2007年

相关博士学位论文 前4条

1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

2 唐林涛;设计事理学理论、方法与实践[D];清华大学;2004年

3 刘海波;智能机器人神经心理模型研究[D];哈尔滨工程大学;2005年

4 王勇;用于电力行业决策支持的多AGENT技术研究[D];华东师范大学;2007年

相关硕士学位论文 前7条

1 孙瑜;基于VSK-AF逻辑的多Agent系统的形式化模型[D];云南师范大学;2002年

2 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

3 梁永锋;中学化学教学中酸度AG代替pH的研究[D];西北师范大学;2004年

4 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

5 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

6 张雪魁;李斯特经济学与历史唯物主义[D];河北大学;2004年

7 章江花;基于BDI-VSK-T逻辑的Agent系统形式化模型的研究[D];云南师范大学;2006年

，

本文编号：2076677