缺省逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
贪婪缺省逻辑
《软件学报》2017年第7期1759-1772,共14页陈博 曹存根 眭跃飞 
农业部公益性行业(农业)科研专项(201303107)~~
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺...
关键词：缺省逻辑 扩展 GD-扩展 伪子公式 Gentzen系统 
不协调知识的缺省推理(英文)被引量：1
《软件学报》2004年第7期1030-1041,共12页韩庆 林作铨 
国家自然科学基金~~
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双...
关键词：缺省逻辑 超协调逻辑 四值逻辑 双缺省理论 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
子句型缺省逻辑中的分情形推理(英文)被引量：4
《软件学报》2001年第8期1140-1146,共7页许道云 丁德成 张明义 
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小文字集的算法 .方法对于在缺省逻辑中计算
关键词：分情形推理 子句型缺省逻辑 Roos扩张 计算复杂性 
标记辩论推理系统
《软件学报》1997年第11期838-851,共14页王克文 胡久稔 
国家攀登计划项目;国家863高科技项目
Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础，其推理机制由所谓的论点结构实现．由Lin的系统导出的非单调推理并不具有累加性，而该性质是衡量一个非单调推理关系的重要标志之一．利用Brewka的方法，本文提出标记辩论...
关键词：非单调推理 缺省逻辑 辩论推理 标记辩论推理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部