数理辩证逻辑

作品数：9被引量：51H指数：2
导出分析报告
相关领域：哲学宗教理学更多>>
相关作者：赵总宽何华灿马佩王路艾丽蓉更多>>
相关机构：中国人民大学西北工业大学河南大学中国社会科学院哲学研究所更多>>
相关期刊：《哲学研究》《思维科学通讯》《中州学刊》《湖南科技大学学报（社会科学版）》更多>>
相关基金：国家自然科学基金西北工业大学基础研究基金北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
重新找回人工智能的可解释性被引量：35
《智能系统学报》2019年第3期393-412,共20页何华灿 
国家自然科学基金面上项目(60273087);西北工业大学基础研究基金重点项目(W18101)
针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较...
关键词：人工智能 可解释性 演化 不确定性 泛逻辑学 柔性命题逻辑 柔性神经元 数理辩证逻辑 
从认知心理学的观点看数理辩证逻辑被引量：1
《湖南科技大学学报（社会科学版）》2010年第1期25-31,共7页赵总宽 
现代逻辑不应片面地拒斥心理学。它与心理学有着本质的区别而又有内在的关联。认知心理学的发展提出了人生认知发展的辩证推理阶段问题。数理辩证逻辑实现了辩证推理形式的系统化和形式化发展。它为认知心理学理论与应用的发展提供了强...
关键词：现代逻辑 认知心理学 辩证推理 数理辩证逻辑 
建构数理辩证逻辑系统必须澄清的一些理论问题被引量：1
《河南大学学报（社会科学版）》2009年第4期1-7,共7页马佩 
为了建构数理辩证逻辑系统,必须首先正确理解如下几个理论问题:1.关于数理辩证逻辑的名称问题;2.辩证逻辑的研究对象和学科性质问题;3.辩证逻辑能够不能够和应该不应该形式化问题;4.非形式化辩证逻辑与数理辩证逻辑的关系问题;5.正确区...
关键词：数理辩证逻辑 数理普通逻辑 逻辑矛盾 辩证矛盾 
对我国两个著名的数理逻辑系统的评析——为建构我国的数理辩证逻辑系统献言被引量：1
《中州学刊》2009年第4期137-141,共5页马佩 
从"数理辩证逻辑的对象问题"、"数理辩证逻辑与经典数理逻辑的关系问题"、"数理辩证逻辑的常项问题"三个方面来评析,赵总宽教授的《数理辩证逻辑导论》一书建构的逻辑系统更宜称为非经典逻辑中的扩展逻辑。以桂起权教授等著的《次协调...
关键词：数理逻辑 数理辩证逻辑 经典数理逻辑 逻辑矛盾 辩证矛盾 
从易经逻辑到数理辩证逻辑
《思维科学通讯》2008年第3期22-34,共13页赵总宽 
早在公元6000多年前，中国先人就创造了以爻卦为命题形式，以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后，又给出了爻辞和卦辞的语义解释系统。后来，又给出了《易经》的语义和语用解释系统。它自古至今，长盛不衰，成为中国的...
关键词：易经逻辑的形式演绎系统 中国的传统逻辑 数理辩证逻辑 易经逻辑的形式公理系统DPA++ 
从经典逻辑到数理辩证逻辑
《毕节学院学报（综合版）》2008年第1期45-47,共3页赵总宽 
经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证...
关键词：经典逻辑 数理辩证逻辑 非直谓性推理 不确定性推理 内涵性推理 逻辑悖论 逻辑怪论 
从易经逻辑到数理辩证逻辑被引量：1
《毕节学院学报（综合版）》2007年第5期35-43,共9页赵总宽 
早在6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、...
关键词：易经逻辑的形式演绎系统 中国的传统逻辑 数理辩证逻辑 易经逻辑的形式公理系统 DPA^++ 
辩证逻辑的数学化趋势被引量：3
《河池学院学报》2007年第1期6-11,共6页何华灿 艾丽蓉 王华 
国家自然科学基金(60273087);北京市自然科学基金(4032009);西北工业大学基础理论研究基金的资助
本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍...
关键词：标准逻辑 非标准逻辑 人工智能 数理辩证逻辑 泛逻辑学 
“辩证逻辑”的历史与未来──《数理辩证逻辑导论》读后感被引量：10
《哲学研究》1998年第11期71-77,共7页王路 
关键词：辩证逻辑 形式逻辑 《自然辩证法》 恩格斯 黑格尔的《逻辑学》 一阶逻辑 历史与未来 《反杜林论》 形式化 实质蕴涵怪论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部