一种基于知识编译的模型计数方法

• 作者: 刘华 殷明浩 谷文祥
• 来源期刊: 东北师大学报（自然科学版）
• 学科: 工学
• 关键词: 模型计数 知识编译 否定范式 模型树 R-模型树 香农扩展
• 年，卷（期）: 2010,（4）
• 页码范围: 46-50
• 分类号: TP301
• 字数: 3276字
• 语种: 中文

摘要

提出一种新的基于知识编译的模型计数方法--MTREE.该方法以一个否定范式(NF)作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型树,在R-模型树上应用多项式时间算法求出其模型个数,即为原输入NF的模型个数.严格证明了该算法是完备有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谷文祥	东北师范大学计算机科学与信息技术学院	71	538	11.0	20.0
2	殷明浩	东北师范大学计算机科学与信息技术学院	35	304	10.0	16.0
3	刘华	东北师范大学计算机科学与信息技术学院	9	2	1.0	1.0