非单调推理

作品数：112被引量：127H指数：6
导出分析报告
相关领域：自动化与计算机技术哲学宗教更多>>
相关作者：廖备水张立英怀进鹏王献昌王炎娟更多>>
相关机构：浙江大学中山大学吉林大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可废止性的理论谱系及其对理由论证的影响
《法律方法》2023年第1期183-207,共25页陈肇新 
中国博士后科学基金会第71批面上资助项目“基于‘理由’概念的裁判论证模式重构研究”(2022M711156)的阶段性研究成果
裁判释法说理与法律论证的“可废止性”属性密切相关。“可废止性”概念最早由哈特引入分析法学领域,作为法律概念的“例外形态”,该进路并未获得普遍认可。法律的人工智能建模和非单调推理研究复兴了论证的“可废止性”属性,并使“论...
关键词：论证可废止性 非单调推理 “信念修正”理由论证 
机器学习从自动到自主化--记清华大学电子工程系助理教授姚权铭
《科学中国人》2022年第19期46-48,共3页刘玉杰 
作为一门多领域交叉学科,机器学习涉及概率论、统计学、逼近论、凸分析、算法复杂度理论等,是研究怎样使用计算机模拟或实现人类学习活动的科学,被公认为人工智能的核心。早在1950年,计算机科学之父艾伦·麦席森·图灵(A l a n Mathison...
关键词：机器学习 基于知识的系统 自然语言理解 非单调推理 人工智能 计算机科学 模式识别 助理教授 
突破自动学习瓶颈 开启产业智能引擎
《科学中国人》2022年第6期60-61,共2页谢更好 
自人工智能诞生以来,机器学习作为实现人工智能的途径,其主要宗旨是:通过研究使用计算机模拟或实现人类学习活动。经过几十年的创新发展,机器学习不仅在基于知识的系统中得到应用,而且在自然语言理解、非单调推理、机器视觉、模式识别...
关键词：基于知识的系统 机器学习 人工智能 自然语言理解 非单调推理 计算机模拟 模式识别 机器视觉 
分析哲学的逻辑知识真对人工智能有用吗?被引量：1
《南开学报（哲学社会科学版）》2020年第3期87-98,共12页徐英瑾 
国家社会科学基金重大项目(15ZDB020);教育部哲学社会科学研究重大课题攻关项目(19JZD010)。
英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的。因此,分析哲学所说的“分析”,大约就可以等于“运用现代逻辑的工具进行分析”。但这样的学术训练,显然是没有办法应对于当...
关键词：分析哲学 人工智能 现代逻辑 心理学 词项逻辑 非单调推理 
行动传递怪论及其消解被引量：1
《逻辑学研究》2019年第5期76-86,共11页贺碧凤 王淑庆 
国家社科基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”（18ZDA031）
西格伯格把行动后果的传递性作为动态行动逻辑的一个公理,这似乎没有什么问题。然而,切拉斯发现,这种行动后果的传递性在技术上会导致一个“行动传递怪论”的公式。通过还原切拉斯的分析,表明切拉斯的推导在技术上是可靠的。但如果分析...
关键词：动态行动逻辑 行动传递怪论 非单调推理 语境主义 
可废止逻辑结构化论辩系统的研究被引量：1
《逻辑学研究》2018年第4期21-36,共16页应腾 黄华新 
杭州市哲学社会科学规划项目"基于论证结构的论辩系统"(2016RCZX17);浙江大学城市学院教师科研基金项目"面向政治辩论的结构化论辩系统"(JYB17010);上海市哲学社会科学规划项目"间接言语行为的博弈逻辑研究"(2017EZX008)
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力。如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点。近年来,论辩...
关键词：非单调推理 结构化论辩 可废止逻辑 
以可推翻论证为基点的非单调推理研究被引量：1
《哲学动态》2017年第5期105-108,共4页张立英 
中央财经大学基础理论研究扶持计划资助
可推翻论证[1]系统是非单调推理研究领域近年来最为活跃的分支之一。与其他分支相比,可推翻论证系统更侧重于推理结构的研究,它的研究基点是论证,即以单个论证作为最小研究单位,而不是像其他的分支及经典逻辑那样从命题或命题中的成分...
关键词：可推翻论证 非单调推理 推理结构 
归纳推理的概称句解释被引量：3
《哲学分析》2017年第2期142-149,199,共8页张立英 
中央财经大学学院科研支持计划;重庆市文科基地重点项目(项目编号:205001227)资助
要表达归纳推理结论的不确定性和刻画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法。
关键词：归纳推理 概称句 概率 非单调推理 
建模法律论证的逻辑工具:法律可废止推理研究被引量：1
《中国哲学年鉴》2016年第1期388-388,共1页熊明辉 
该著是作者博士学位论文(1993)之完全扩充修改版,目的在于为人工智能的法律应用提供哲学基础。该著研究了法律推理的逻辑方面,尊重法律推理常常发生在争论背景之下,注意到了法律给出不一致以足够空间,这意味着律师的推理是在有例外可能...
关键词：法律论证 法律推理 人工智能 非单调推理 论证理论 博士学位论文 修改版 可废止推理 
“怀疑”意义的引申机制与识解策略新探——兼谈“表达省力”与“理解省力”博弈对句法的影响被引量：8
《语言教学与研究》2016年第3期93-101,共9页鲁承发 
第58批博士后面上基金;上海师范大学人文社科基金与上海高校高峰学科建设计划资助"中国语言文学"阶段性成果
"怀疑"句式的构式义为:根据某些前件,推理出一个命题很可能为假。这一语义的另一个侧面是:其矛盾命题很可能为真。这两个语义侧面,在不同的组配关系中被侧显,引申出两个义项:"不很相信"和"有点相信"。前者表达怀疑主体质疑一种旧认识,...
关键词：怀疑 非单调推理 “义程—义面” (交互)主观性 博弈 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部