论文部分内容阅读
定义了一类新的易处理理论：s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
多值知识编译
【摘 要】
：
定义了一类新的易处理理论：s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.
【机 构】
：
东北师范大学计算机科学与信息技术学院,金华职业技术学院信息工程学院
【出 处】
：
东北师大学报(自然科学版)
【发表日期】
：
2011年4期
其他文献
汉阴县人民医院始建于1947年，经过60年的建设与发展，已基本形成集医疗、教学、科研、康复、急救于一体的现代化二级综合 医院规模。现为陕西省肿瘤医院对口支援医院、湖北省康
<正> 农村改厕工作难,难在哪里? 从调查来看,农村改厕还要受风俗习惯的制约,厕所与房屋改造相比,房屋建设在前,厕所在后,而且和院墙建设相一致,院墙建设要考虑到邻居的房屋、
2004年1月20日,国家质检总局隆重召开全国质量监督检验检疫先进集体、先进个人表彰大会.来自广西壮族自治区百色革命老区、广西质监战线的优秀代表、百色市质监局局长晋东被
设q是q个元素的有限域,qn＋l是Fq上n＋l维行向量空间,Gn＋l,n是n＋l级奇异典型群之一.qn＋l在Gn＋l,n上的作用下导出了它在qn＋l的子空间集合上的作用,因而qn＋l在Gn＋l,n作用下划分成一些轨道M
为了分析小麦的收获过程，基于离散元法与质点-弹簧模型，提出一种成熟期小麦植株的建模方法．采用该方法建立的小麦植株模型不仅能模拟小麦植株的形态结构，还可以分析小麦收获时植
本文阐述了《机床数控技术》教学改革的一些尝试，提出了改革理论教学方法及考核评价制度，实施三段式实践教学的改革思路，介绍了实施步骤和措施，就实施改革的教学效果作了总结。
在高分子材料聚乙烯醇溶液体系中,以H4SiW12O40为质子酸和聚合反应的掺杂剂,用（NH4）2S2O8作为强氧化剂和引发剂,通过化学氧化聚合法合成了H4SiW12O40掺杂聚苯胺.采用紫外-可见
由业务副院长，医务部主任，医疗质量管理科科长，药剂科，药理科，感染办，器材科等有关人员和相应的院专家组专家组成查房小组，每月进行医疗质量查房，内容一是查规章制度落实情况，二是查病
主要研究了格林函数的正性,同时利用锥压缩和锥拉伸不动点定理证明了一类Dirichlet型非线性分数阶微分方程边值问题正解的存在性.