论文部分内容阅读
一个知识库系统性能的验证不仅仅局限于检测系统的功能特性，比如它的输入一输出，而且史重要的是必须体现它的动态特性，比如运行时间效率．提出了通过重新排列规则次序来提高推理效率的思想，并举出一个具体例子来阐述采用广度优先搜索有向图的算法重组规则次序．
通过广度优先搜索有向图重组规则次序
【摘 要】
：
一个知识库系统性能的验证不仅仅局限于检测系统的功能特性，比如它的输入一输出，而且史重要的是必须体现它的动态特性，比如运行时间效率．提出了通过重新排列规则次序来提高推理效
【机 构】
：
湖北大学数学与计算机科学学院
【出 处】
：
湖北大学学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
塔里木油田乙方队伍考核网资助项目
其他文献
采用集合坐标方法，运用新的二分量孤子模型，研究氢键系统中孤子偶与杂质的相互作用，得出在杂质区孤子偶的运动方程和入射速度的一般表达式，并进一步讨论在吸引型与排斥型两类不同
搜集了湖北省1998～2002年国民经济发展的有关数据,按照可持续发展的要求,建立了经济可持续发展的多层次指标体系;借助基于主成分分析的建模方法,就实现湖北省经济、资源、环境
在弱场线性近似条件下，将曲率平方引力场方程分解为3个二阶线性偏微分方程，通过这3个二阶偏微分方程求出盘状星系的静态轴对称引力场．
文章介绍了两种日常生活中常见电器的创新设计,热熔胶粘式电源插板和单向照射可旋转灯尾LED灯泡,两项设计都具有结构简单的特点,制造工艺也不复杂,体现了寻常之处的创新理念,
覆膜玉米间种豆类是覆膜玉米立体种植的主要形式,为了进一步明确覆膜玉米间种黑芸豆的效益,为该项技术进一步推广提供科学依据,特安排本试验.
银屑病是一种慢性炎症性皮肤病。近年来,越来越多的证据表明银屑病与代谢综合征的中心环节—胰岛素抵抗之间有显著关联。本文结合国内外文献,从流行病学、病理生理学、分子生