缺省逻辑

作品数：39被引量：40H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张明义丁德成苏开乐傅丽刘瑞胜更多>>
相关机构：南京大学贵州科学院北京大学吉林大学更多>>
相关期刊：《上海交通大学学报》《智能计算机与应用》《计算机学报》《江西师范大学学报（哲学社会科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
智能机器何以逻辑地“明辨是非”?——自动驾驶电车难题的一种缺省逻辑分析
《哲学研究》2024年第10期84-95,共12页阴昭晖 
国家社会科学基金一般项目“人与人工智能‘价值共同体’理念构建中的算法价值与价值算法研究”(编号20BZX016)的阶段性成果。
在探讨智能机器是否具备成为伦理能动者的资格时,一个普遍被认可的先决条件是,它们能够进行高水平的价值或道德推理。因此,研究如何将现代逻辑有效地嵌入智能机器之中就具有理论意义和现实需求。从逻辑学的观点看,自动驾驶电车难题可以...
关键词：自动驾驶电车难题 缺省逻辑 价值推理 
张明义:博学笃行 才望兼隆
《晚晴》2024年第7期38-41,共4页凌洁 
他是中国人工智能知识表示研究领域的一个拓荒者。他在贵阳创立了一个研究非单调逻辑的团队,长期以来促进中西方科学家的交流。他对各种形式的非单调逻辑,包含缺省逻辑、回答集程序以及信念修改贡献了大量的结果,成为我国首位获得库尔...
关键词：非单调逻辑 库尔特 西方科学家 缺省逻辑 哥德尔 贵州大学 中国人工智能 拓荒者 
贪婪缺省逻辑
《软件学报》2017年第7期1759-1772,共14页陈博 曹存根 眭跃飞 
农业部公益性行业(农业)科研专项(201303107)~~
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺...
关键词：缺省逻辑 扩展 GD-扩展 伪子公式 Gentzen系统 
规范冲突问题及其非单调逻辑研究被引量：3
《湖北大学学报（哲学社会科学版）》2016年第2期33-39,160,共7页孔红 
在规范领域存在两种重要的推理:规范推理和规范适用推理。规范推理是在规范命题集上定义的、从规范推出规范的推理。规范适用推理是将一般性的规范适用于具体情境得出结论的推理。法律规范冲突是指在规范适用层面出现的法律结果不相容...
关键词：规范冲突问题 道义逻辑 缺省逻辑 规范推理 规范适用推理 
基于逻辑推理的计算机试题评卷算法研究被引量：4
《智能计算机与应用》2014年第4期47-49,53,共4页贾志先 
教育部人文社会科学研究新疆项目(14XJJAZH001)
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多种多样,存在着不一致(inconsistent)或不确定(uncertain)的问题。R.Reiter缺省逻辑(default logic)推理可...
关键词：四值逻辑 缺省逻辑 计算机评卷 
话语逻辑分裂现象的认知加工
《现代交际》2014年第5期36-36,共1页于欢 
由于日常语言中经常出现诸如名词并置一类的逻辑断裂的表达。本文根据关联理论和缺省逻辑,对这一语言现象的交际进行分析,认为听话人认知机制中的缺省逻辑会自动获得最佳关联,取得最佳语境效果进而进行话语理解,完成交际。非线性的缺省...
关键词：分裂逻辑 缺省逻辑 关联 
缺省逻辑及其在言语交际中的应用
《毕节学院学报（综合版）》2013年第6期37-40,共4页樊蕊 
在日常言语交际中,人们使用的推理往往具有不确定性、相对性等特点,而这些特点是经典逻辑无法刻画的,于是可以对信息缺失或不完整的情况进行刻画的缺省逻辑步入了学者们的研究视野。目前,缺省逻辑以其自身优势已然成为研究言语交际中如...
关键词：缺省逻辑 推理 言语交际 语境 
从缺省逻辑的视角看一般会话含义
《江西师范大学学报（哲学社会科学版）》2011年第6期141-144,共4页黄晨 高芸 
缺省性和可取消性是一般会话含义的本质特征,又是缺省逻辑的本质属性。从缺省逻辑的视角探讨一般会话含义为自然语言的理解打开了新的思路,为含义推导注入了新的活力。
关键词：非单调逻辑 缺省逻辑 一般会话含义 
缺省推理与常规关系被引量：2
《中国青年政治学院学报》2011年第4期139-142,F0003,共5页高海龙 
语用推理以获得对方的真实意图为目标,本质上是一种非单调逻辑推理,缺省逻辑推理是非单调逻辑推理方式中最为重要的一种。语用推理是以常规关系为逻辑参数的非单调逻辑推理。语用推理是常规关系与缺省推理的互动过程。听话人要理解话语...
关键词：语用推理 缺省逻辑 常规关系 
一个维特根斯坦主义者眼中的框架问题被引量：8
《逻辑学研究》2011年第2期93-136,共44页徐英瑾 
2006年国家社科基金项目"维特根斯坦哲学视野中的人工智能问题"(06CZX011)的资助
框架问题的核心命意乃是:在对智能体的行动进行表征之时,如何能够在有效地表征出行动的效果之时,避免对于其非效果的表征?对于符号主义路数的人工智能研究来说,框架问题的确非常棘手,因为它的存在使得对于行动的知识刻画必须引入大量的...
关键词：框架问题 关于惯性的常识律 素朴物理学 缺省逻辑 维特根斯坦 非公理推演系统 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部