使用归结和调解的输入反驳与单元反驳不等价被引量：3

原文传递

导出

摘要 Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。

作者孙吉贵刘叙华

机构地区吉林大学计算机科学系

出处《科学通报》 EI CAS CSCD 北大核心 1992年第3期204-206,共3页 Chinese Science Bulletin

基金国家自然科学基金

关键词调解对称调解单元反驳输入反驳

参考文献3

1刘叙华,欧阳丹彤.广义Horn集[J].软件学报,1995,6(4):248-256.
2孙吉贵,刘叙华.NC线性对称调解[J].计算机学报,1993,16(8):561-567. 被引量：2
3肖俐平,孟晖,李德毅.基于拓扑势的网络节点重要性排序及评价方法[J].武汉大学学报（信息科学版）,2008,33(4):379-383. 被引量：22
4许勇,王智学,李宗勇.领域本体的一致性检查[J].计算机工程,2009,35(1):55-57. 被引量：15
5吴正江,秦克云.基于剩余格L模糊粗糙近似算子公理集的极简化[J].计算机工程与应用,2008,44(36):32-33. 被引量：2
6朱维军,周清雷.求解爱因斯坦谜题的一种形式系统及推理方法[J].计算机科学,2012,39(9):244-246. 被引量：1
7曹汝鸣,毛宇光,陈文彬.中介命题演算系统MP^M的公理完备集[J].计算机科学,2006,33(2):151-154. 被引量：1
8张哲旭.网络结构的体系和模式[J].商,2014,0(32):198-198.
9薛小平,耿壮,薛元韬.教育资源本体OntoER创建研究——基于行业技术规范的本体创建案例[J].微电子学与计算机,2011,28(1):99-103. 被引量：1
10彭志平,柯文德,史忠植.一种不一致本体的可废止推理系统[J].华中科技大学学报（自然科学版）,2012,40(1):40-44.

科学通报

1992年第3期

内容加载中请稍等...