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）．该

其他文献

Research on Bilingual Instruction for Students of International Trade Major

This paper takes international trade major as an example to explore two segments of bilingual curriculum development,a good environment of bilingual instruction

期刊

英语学习学习方法英语翻译阅读international trade majorbilingual instructioncreating a goo

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

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

期刊

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

全国女装市场呈现九大特点

本文是中华全国商业信息中心2005年对200多家全国最点大型零售企业服装类商品的年度销售情况统计结果进行分析，归纳，总结出2005年女装市场的运行特点并对未来的发展趋势进行预

期刊

运行特点市场女装销售情况零售企业信息中心发展趋势商品商业

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

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

期刊

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

维生素C加尿激酶脑池灌注防治脑血管痉挛（附60例报告）

目的探索预防迟发性脑血管痉挛的有效手段.方法对60例破裂脑动脉瘤进行了超早期或早期外科手术,术后随机分别行尿激酶脑池灌注(A组)和维生素C(VitC)+尿激酶脑池灌注(B组).结

期刊

维生素C尿激酶脑池灌注脑血管痉挛脑动脉瘤蛛网膜下腔出血subarachnoid hemorrhage cerebral aneurysm cer

迎奥运北京工业品牌展——时装之都品牌展自主创新提升发展促进贸易加强合作

“迎奥运北京工业品牌展览会”是北京市工业促进局、北京市技术监督局、北京市贸易促进委员会以北京工业品牌产品为主体,宣传、展示和汇报北说工业品牌建设和自主创新的成果；

期刊

自主创新能力品牌产品北京市工业奥运贸易时装合作

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

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

期刊

教学改革网络课程分级

颈内动脉分叉上间隙的显微外科解剖

目的探讨颈内动脉分叉上间隙的解剖特征及其手术意义.方法在30侧尸体标本上观察该间隙的显微解剖.结果该间隙狭小、深在,血管多,90%呈三角形,A1段为前下边,M1段为外下边,前穿

期刊

颈内动脉分叉上间隙显微解剖外科解剖特征手术internal carotid artery fork surgical interspaces

有感于中国童装

通过本刊童装调查，我们了解到中国童装市场的巨大潜力以及中国童装设计的重要性和面临的困惑。中国缺少童装设计师，童装设计师品牌尚处雏形。童装设计不仅是童装品牌发展之根本

期刊

童装设计中国设计师童装市场品牌和面

pH对COD吸光度影响的研究

本研究利用紫外分光光度计测定了不同pH值情况下COD标准溶液吸光度,建立了pH值与COD吸光度值的非线性回归模型,得出了非线性回归方程。通过对模型的显著性检验,结果表明该模

期刊

CODPH紫外分光光度计非线性回归

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

与本文相关的学术论文