缺省逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于四值语义的缺省逻辑被引量：1
《计算机学报》2005年第9期1447-1458,共12页岳安步 林作铨 
国家自然科学基金(60373002;60496322);国家"九七三"重点基础研究发展基金(2004CB318000)资助
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具...
关键词：缺省逻辑 四值逻辑 非单调逻辑 超协调逻辑 非单调超协调逻辑 
缺省逻辑的累积性变种的扩张特征被引量：1
《计算机学报》1998年第2期119-126,共8页张明义 张颖 
国家863高技术基金;贵州省自然科学基金
Giordano和Martelli提出了Reiter的缺省逻辑（DL）的两个新变种：CADL（CommitmenttoASSumptionsDefaultLongic）与QDI（Quasi-DefaultLogic），它们都具有累积性，但不再具半单调性，QDL甚至不再承诺预设（Committoassumptions）．本...
关键词：缺省逻辑 累积性 相容性 算法 
缺省逻辑的e扩充和me扩充
《计算机学报》1995年第3期161-166,共6页王献昌 
国家自然科学基金;国家"863"高技术计划资助
缺省逻辑（ＤｅｆａｕｌｔＬｏｇｉｃ）的扩充概念有二个弊端：１．无法描述缺省规则间固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系．Ｗ．Ｌｕｋａｓｚｅｗｉｃｚ提出的ｍ扩充概念解决了问题２但没有解决问题１；本文...
关键词：缺省逻辑 验证式 扩充 me扩充 e扩充 
利用重写系统研究缺省逻辑
《计算机学报》1994年第5期354-360,共7页姜云飞 
国家自然科学基金
本文在布尔环重写系统中研究了缺省逻辑．一个缺省理论等价于一个布尔环方程组．本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简...
关键词：非单调推理 缺省逻辑 重写系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部