【摘 要】
：
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式.该增强方式对概念描述先
【机 构】
：
浙江大学人工智能研究所,浙江工商大学计算机与信息工程学院,浙江工商大学食品感官科学实验室
【基金项目】
：
The National Natural Science Foundation of China （ No. 60775029）, the Science and Technology Program of Zhejiang Province （ No. 2007C33072）.
论文部分内容阅读
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式.该增强方式对概念描述先构建一个析取范式,并只保留其中的一个合取子句,然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）.由于避免了传统tableau算法因∩-,∪-规则所带来的大量的概念描述重复,这种增强方式在空间性能上有了非常大的改善.通过例子示范了这种增强方式的运用及
其他文献
提出交通基础设施对区域经济增长同时具有正溢出和负溢出作用.根据浙江省11个市1994～2003年的面板数据,通过空间生产函数模型证明了浙江省各市之间存在交通基础设施的正溢出作
摘要：本文先介绍业务流程再造的含义，然后分析过程方法对质量管理体系和产品的作用，研究流程再造是实施过程方法的有效途径，同时为持续改进提供了方向等三个方面，论证流程再造对ISO9001质量管理体系持续改进具有借鉴的作用。 关键词：流程再造 ；质量管理； 过程方法 上个世纪九十年代，国际标准化组织发布的1994版9000族质量管理体系标准进入我国，推动了我国大型企业产品质量管理提升。同时，美国麻省
【正】 《红月》可以说是第一批进入中国大陆市场的网络游戏之一,当时在玩家中间还是掀起了不小的浪潮。一时之间,许多玩家都被《红月》的清新的科幻风格和华丽的2D游戏画面
【正】 小巧轻便是今年数码产品的流行趋势,从笔记本到数码相机,都是越做越小,越做越精致。袖珍型的数码相机更一直是市场的宠儿,各大厂商都在自己的产品中加入小巧系列的产
为了实现对未知物体的分类，提出了一种基于改进解释树的部件级三维物体分类方法．采用部件级描述形式，使得对物体类的描述更加简洁．所提的物体分类方法主要包括2个核心处理模块，即
设计了一种工作在0～8GHz频段的热驱动式RFMEMS开关．开关利用热驱动方式实现横向金属直接接触，因此具有较好的射频性能．开关的结构层由厚的电镀镍和氮化硅组成，由于氮化硅的绝缘作
凤凰谷水电站工程采用分期明渠导流，明渠边坡及纵向围堰基础地质条件差，施工困难，根据工程实施情况和设计跟踪，适时地进行了设计优化和调整，在工期相当紧张的情况下，导流明渠按期完
自由式单孔多锚头防腐型预应力锚索作为一种新型的预应力锚索，具有改善锚固段应力集中、有效防腐、有效减小孔径、全孔一次注浆、可进行二次补偿张拉等特点，增强了对复杂地层的
考虑了一类具有时变和连续分布时滞神经网络系统的指数稳定性问题．通过引入Lyaptmov-Krasovskii泛函、自由权矩阵和等价的描述系统形式，针对所考虑的系统建立了一个时滞相关的