EPCCL理论的求交知识编译算法

来源 :软件学报 | 被引量 : 0次 | 上传用户：times0927

【摘要】

：

超扩展规则是对扩展规则的扩充，基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集，并将所得结果以EPCCL（each pair of clauses co

【作者】

：

牛当当刘磊吕帅

【机构】

：

吉林大学计算机科学与技术学院,吉林大学数学学院,符号计算与知识工程教育部重点实验室（吉林大学）

【出处】

：

软件学报

【发表日期】

：

2017年8期

【关键词】

：

知识编译扩展规则超扩展规则 EPCCL(each pair of CLAUSES CONTAINS COMPLEMENTARY literals)理论并行

【基金项目】

：

国家自然科学基金（61300049,61502197,61503044）,教育部高等学校博士学科点专项科研基金（20120061120059）,吉林省重点科技攻关项目（20130206052GX）,吉林省自然科学基金（20140520069JH,20150101054JC,20150520058JH）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

超扩展规则是对扩展规则的扩充，基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集，并将所得结果以EPCCL（each pair of clauses contains complementary literats）理论的形式保存．基于超扩展规则的性质，提出一种EPCCL理论编译算法：求交知识编译算法IKcHER（intersection approach to knowledge compilation based on hyper extensionrule）．该

其他文献

提高《工程力学》教学质量的方法探讨

要提高工程力学课程的教学质量，必须根据课程的特点和新世纪高职学生的特点，树立以学生为本的教学理念，不断进行教学反思，全方位地为学生做好教学服务。

期刊

工程力学教学方法教学质量高等职业院校教学理念

造纸机公共直流母线多传动系统的谐波分析与抑制

对造纸机公共直流母线多传动系统中产生谐波的原因分析的基础上，提出了常用的谐波抑制的方法并进一步应用在造纸机控制系统中．主要分析了造纸机控制系统电抗器及电容抑制谐波的

期刊

公共直流母线多传动谐波抑制造纸机

计算机网络课程分级教学简析

文章简要说明了计算机网络课程分级教学的做法。并详细介绍了各等级中应讲授的具体教学内容。

期刊