DF命题的矩阵归结

• 作者: 李明仑
• 来源期刊: 山东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: DF命题归结公理 ⊙运算 DF命题归结矩阵
• 年，卷（期）: 2005,（6）
• 页码范围: 59-63
• 页数: 5页
• 分类号: TP3
• 字数: 2790字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6197.2005.06.014

摘要

对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论.对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明仑	苏州大学计算机科学与技术学院	2	9	1.0	2.0