【摘 要】
：
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发
【基金项目】
：
国家自然科学基金，吉林省自然科学基金
论文部分内容阅读
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法--分阶段tableau .在该算法中,将tableau分成两个阶段,等词单独处理,利用提取不等式析取并在启发式的帮助下计算等价类的方法,进一步限制了tableau的搜索空间,提高了tableau的推理效率.同时,为了研究分阶段tableau的有效性,进行了实例分析,并与Fitting和Jeffrey方法进行了比较,结果表明,分阶段tableau方法优于其它方法.
其他文献
本文对盾构机上注浆系统液压的结构和工作原理进行详细分析，并结合工程实际，阐述该液压系统故障的原因及处理措施。
稻光1号品种来源:"通粳793"吉林省通化市农科院1988年以"秋光"为母本,以"京引127"为父本进行杂交,选育而成.2004年通过吉林省农作物品种审定委员会审定.
以桥式起重机模块化端梁系列为研究对象,针对桥式起重机模块化端梁加工工艺过程的典型化和工装标准化设计制造加工装备,根据两种不同形式的模块化端梁,运用该装备,实现模块化
提出了改进型指纹点方向图计算方法,设计了基于方向图的分离模板以实现灰度图像的方向性滤波,并采用数学形态学的方法进行二值指纹图的滤波操作。实验表明,用该方法进行图像预处理,能大大减少指纹图像中的伪结构,有利于后续的指纹特征抽取和识别。
自进入21世纪以来，人类社会的技术革新进入了一个极为高速的阶段，在教育方面也取得了突破性的进展，无论是在教学理念还是教学手段上，都得到了很大的飞跃。而多媒体教学就是其中十