λ-Horn集上的λ-单元锁归结

The λ-Unit Lock Resolution on λ-Horn Set

下载PDF

导出

摘要本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。 This paper presents the λ-unit lock resolution on λ-horn set and the proof of completeness of λ-unit lock resolution.

作者刘叙华杨凤杰

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

出处《吉林大学自然科学学报》 CAS CSCD 1989年第3期39-41,共3页 Acta Scientiarum Naturalium Universitatis Jilinensis

关键词 λ-Horn子句 λ-约化集锁归结 λ-unit lock resolution, λ-empty, λ-horn clanse, λ-reduction.

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

参考文献3

1刘叙华，1986年
2刘叙华，科学通报，1985年，16期
3刘叙华，计算机学报

1欧阳丹彤,刘叙华.Horn集上的有向调解法[J].吉林大学自然科学学报,1992(4):38-42. 被引量：2
2陈莉.泰国Kulthorn集团:来自大象之国的压缩机制造商[J].电器,2012(2):60-61.
3戴望州.HORN集上基于广义归结方法的定理机器证明[J].湘潭师范学院学报（自然科学版）,2009,31(1):31-34.
4程晓春.删除策略的相容性[J].计算机学报,1998,21(2):176-182.
5裴峥,黄天民.基于模糊神经网络的Horn集上的输入归结[J].西南交通大学学报,2002,37(5):565-569. 被引量：1
6欧阳丹彤,孙吉贵,刘叙华.输入调解法和单元调解法在Horn集上的完备性[J].软件学报,1993,4(1):6-11. 被引量：1
7刘叙华,欧阳丹彤.广义Horn集[J].软件学报,1995,6(4):248-256.
8Horn全球技术开放日再显槽加工领军者姿态[J].汽车工艺师,2015,0(7):41-41.
9于津,刘叙华.基于不确定、不精确知识的推理系统─UKRS~＊ [J].小型微型计算机系统,1996,17(9):31-34.

吉林大学自然科学学报

1989年第3期

浏览历史

内容加载中请稍等...

λ-Horn集上的λ-单元锁归结

参考文献3

相关作者

相关机构

相关主题

浏览历史