搜索到224篇“ 非经典逻辑“的相关文章
苏珊·哈克经典逻辑思想研究
苏珊·哈克经典逻辑思想主要来源于对实用主义思想的探究和对形而上学问题的探讨。在皮尔士和奎因的实用主义思想影响下,哈克认为逻辑是可误的,也是可修正的。哈克对形而上学问题的研究侧重于对经典逻辑系统的合理性和有效性问题的探...
乔娜
关键词:非经典逻辑多值逻辑模态逻辑
经典逻辑中“否定”的含义澄清——以亚相容、直觉主义、量子逻辑为例
2019年
在命题逻辑的范围之内,否定作为各类逻辑系统中必不可少的一元连接词,其确定的意义和适用范围一直存在争议,也因此,构建于否定基础之上的各类逻辑系统之间的关系也不甚明了。当经典逻辑系统选择不承认经典逻辑中的矛盾律或是排中律等定理时,并未切中其更为本质的区别,即对否定词及其涉及的定理在认识上的区别。因而在阐释不同系统所具有的性质时,真正核心的问题,应着眼于澄清经典否定与其他经典逻辑系统中否定的关系,并在此基础上,进一步澄清经典逻辑系统与其他逻辑系统之间的关系。
薛飞
关键词:层级非经典逻辑
源于经典逻辑的代数结构研究综述被引量:2
2019年
作为智能科学的数学基础之一,经典逻辑(主要指经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、可换剩余格、结合剩余格、剩余有序广群、BCK/BCI-代数、BCC/BZ-代数、伪BCK/BCI-代数等.同时介绍近年来经典逻辑代数方向的最新研究进展,包括量子B-代数(quantum B-agebra)、EO-代数(extended-order algebra)及新近提出的基本蕴涵代数(basic implication algebra)等.
张小红
关键词:非经典逻辑模糊逻辑代数结构蕴涵代数滤子
经典逻辑视阈下的知识表征分析
机器智能化一直是人工智能追求的目标,而机器学习作为人工智能的一个重要分支,是机器智能化研究的重要内容。但是机器学习的研究正面临着一个困境,那就是,机器无法表征所有的人类推理知识以及现实世界事实。之所以如此,是由于现实世界...
崔帅
关键词:知识表征非经典逻辑
量子叠加态和量子同一性的经典逻辑解读——从逻辑哲学观点看被引量:3
2017年
逻辑哲学观点看,逻辑必须不断跟上时代步伐,适应科学推理新的实际需要。经典逻辑的基本定律(矛盾律、同一律)并不是逻辑的终极真理。达科斯塔(N.C.Da Costa)的次协调逻辑放松矛盾律的禁令,允许"不平庸矛盾",并能从逻辑上消解量子叠加态的疑难。禁自返逻辑及其"量子等同"算子的引入,消解了"全同粒子"丧失经典意义同一性的疑难。
王伟长桂起权
关键词:逻辑哲学
经典逻辑的本质及其意义
2016年
经典逻辑致力于扩展逻辑的推理能力,为机器智能化提供新的研究方式。故而我们对经典逻辑发展的动因进行了分析,在此基础上探究了经典逻辑的特征,指出其具有多值性、不确定性以及单调性的特征,最后通过总结经典逻辑的研究意义表明,经典逻辑是一种依赖语境的分析方法,其因独特的研究形式拓宽了研究内容的范围,试图实现科学理性与人文理性的统一。
郭贵春崔帅
关键词:非经典逻辑不确定性
剖析三种经典逻辑的思想来源与特征
2014年
论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.
张兴芳
关键词:概率逻辑模糊逻辑
逻辑系统发生学:探索经典逻辑产生奥秘的金钥匙被引量:1
2012年
逻辑系统发生学的中心任务是探究逻辑系统的产生和发展的奥秘。经典逻辑产生的内在动力是经典逻辑的形式系统与形式原型之间具有某种程度上的不恰当性。当经典逻辑在形式化过程中出现一些"怪论"和"疑难"时,为了解释或消解这些疑难,就需要运用种种不同的调整和修改策略,去"修正"原有的经典逻辑系统,从而产生新的逻辑系统,这种新系统要么是对经典逻辑的扩展,要么是对经典逻辑的变异,这就是经典逻辑产生和发展的奥秘。而逻辑系统发生学则是探索经典逻辑产生奥秘的金钥匙。
任晓明桂起权
关键词:非经典逻辑形式化
经典逻辑系统发生学研究 兼论逻辑哲学的中心问题
本书作为“天津市哲学社会科学规划研究项目:经典逻辑系统发生学研究——逻辑哲学的中心问题”的结项成果,系在长期研究积累与多篇博士论文的基础上,由作者加以补充、完善后而成的一部学术专著,紧紧围绕逻辑系统发生,特别是经典逻...
任晓明
关键词:逻辑哲学
试论经典逻辑在人工智能中的应用
2010年
目前计算机科学以惊人的速度不断发展,作为其核心分支的人工智能研究也取得了很大的突破。在成就的背后,逻辑学是推动其前进的主要动力。本文重点探讨经典逻辑在人工智能中的具体应用。
张汉生陈国亮
关键词:非经典逻辑人工智能

相关作者

桂起权
作品数:189被引量:403H指数:10
供职机构:武汉大学哲学学院
研究主题:辩证逻辑 科学哲学 经济学方法论 逻辑 逻辑哲学
王住登
作品数:12被引量:21H指数:3
供职机构:盐城师范学院数学科学学院
研究主题:伪T-模 非经典逻辑 T-模 蕴涵算子 完备BROUWER格
廖大见
作品数:11被引量:8H指数:2
供职机构:淮海工学院理学院
研究主题:伪T-模 非经典逻辑 蕴涵算子 T-模 完备格
张兴芳
作品数:173被引量:467H指数:10
供职机构:聊城大学数学科学学院
研究主题:模糊推理 蕴涵算子族 真度 逻辑系统 蕴涵算子
张玫瑰
作品数:25被引量:67H指数:5
供职机构:郑州大学法学院
研究主题:法律论证 非经典逻辑 司法裁判 人工智能 规制