【摘 要】
：
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发
【基金项目】
：
国家自然科学基金，吉林省自然科学基金
论文部分内容阅读
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发式的帮助下计算等价类的方法,进一步限制了tableau的搜索空间,提高了tableau的推理效率.同时,为了研究分阶段tableau的有效性,进行了实例分析,并与Fitting和Jeffrey方法进行了比较,结果表明,分阶段tableau方法优于其它方法.
其他文献
在城市治理中、界定和发挥企业的作用是重大的理论问题，也是需要切实解决的实践问题。然而由于社会责任的缺失，企业距离参与城市治理尚有一段距离、相反由社会责任缺失所带来的
本文对盾构机上注浆系统液压的结构和工作原理进行详细分析，并结合工程实际，阐述该液压系统故障的原因及处理措施。
重点描述了数据挖掘技术在网络型误用入侵检测中的应用,实现了从网络审计数据中挖掘关联规则和序列模式,选择和构建临时统计特征,最后使用RIPPER分类器建立了误用检测模型.
稻光1号品种来源:"通粳793"吉林省通化市农科院1988年以"秋光"为母本,以"京引127"为父本进行杂交,选育而成.2004年通过吉林省农作物品种审定委员会审定.
数形结合思想是学生理解数学知识、解决数学问题的重要思维策略。小学生以形象思维为主,抽象的数学知识学习对他们来说有一定难度,数形结合思想强调以'有形'帮助学生
近年来,我国经济发展迅速,建筑行业作为我国经济支柱产业发展尤为迅速,使得建筑行业之间的竞争更为激烈,要想提升建筑企业的核心竞争力,就要做好企业建筑工程中的经济管理工
以桥式起重机模块化端梁系列为研究对象,针对桥式起重机模块化端梁加工工艺过程的典型化和工装标准化设计制造加工装备,根据两种不同形式的模块化端梁,运用该装备,实现模块化
提出了改进型指纹点方向图计算方法,设计了基于方向图的分离模板以实现灰度图像的方向性滤波,并采用数学形态学的方法进行二值指纹图的滤波操作。实验表明,用该方法进行图像预处理,能大大减少指纹图像中的伪结构,有利于后续的指纹特征抽取和识别。
自进入21世纪以来，人类社会的技术革新进入了一个极为高速的阶段，在教育方面也取得了突破性的进展，无论是在教学理念还是教学手段上，都得到了很大的飞跃。而多媒体教学就是其中十
国防动员潜力统计调查工作是国防动员建设的前提,是实战化国防建设的重要组成部分。因此本文从提升思想认知,明确国防动员潜力调查工作的重要性、建立完善的军事需求提报机制