论文部分内容阅读
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型树,在R-模型树上应用多项式时间算法求出其模型个数,即为原输入NF的模型个数.严格证明了该算法是完备有效的.
一种基于知识编译的模型计数方法
【摘 要】
：
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型
【机 构】
：
东北师范大学计算机科学与信息技术学院
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2010年4期
【基金项目】
：
国家自然科学基金资助项目（60473042 60573067 608003102）
其他文献
默默耕耘中，365个日子已经从身边不经意地溜走。转眼，又到了“爆竹传笑语，腊梅吐幽香”的时候。站在新年的门口，本刊编辑部全体同仁谨向给予《中国卫生质量管理》杂志以亲切关怀，
结合国家基础设施建设发展、结合国防建设的重大需求，以及人类社会发展面临的环境、能源、资源压力，传统建材走复合化、多功能化、制品化、高端化的技术路线，开发高性能、多功能
企业能否在市场竞争中立于不败之地,关键在于企业能否为社会提供质量高,工期短,造价低的建筑产品。由此可见,项目的成本管理成了项目施工管理的核心内容。项目的成本控制是贯
欧洲第二大银行、西班牙最大银行桑坦德银行6月7日表示。将收购其竞争者西班牙第六大银行BancoPopular银行，收购价格是象征性的1欧元。
手术同意书是一种特殊的医疗契约,可以作为医疗机构履行说明告知义务、患者和亲属行使其知情同意选择权的书面证据.认清手术同意书的法律属性,规范手术同意书适用中的格式内
提高饲料产品质量促进广西饲料工业持续发展文／￥￥广西区饲料工业办公室梁纪豪饲料工业作为一个新兴的工业行业，起步于８０年代中期，发展至会，已成为国民经济的支柱产业之一，是发展养殖业
通过分解硝酸盐的方法制备了Eu3＋掺杂Sr3RAl2O7.5（R=Y,Lu）的粉末,并在紫外光激发下对2种样品的激发光谱和发射光谱进行了研究.结果表明：Eu3＋在不同局域环境下表现出不同的发光特性
随着建设中国-东盟自由贸易区步伐加快，广西已由地处祖国边陲的民族地区成为我国与东盟各国交流合作的最前沿地区之一。为此，作为外语人才的重要输送地，广西各高职院校的外语社