缺省理论

作品数：22被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张明义董明楷傅丽邓安生王国俊更多>>
相关机构：贵州科学院西南师范大学厦门大学北京航空航天大学更多>>
相关期刊：《工程数学学报》《小型微型计算机系统》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划福建省自然科学基金福建省重点科技计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不协调知识的缺省推理(英文)被引量：1
《软件学报》2004年第7期1030-1041,共12页韩庆 林作铨 
国家自然科学基金~~
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双...
关键词：缺省逻辑 超协调逻辑 四值逻辑 双缺省理论 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部