论文部分内容阅读
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明策略，并充分利用归约过程中已经得到的中间结论。与现有T-不变量和线性代数的求解算法相比。大幅减少了重复推理过程，有效地提高了推理效率。
基于HIPN网的推理算法研究
【摘 要】
：
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明策略，并充分利用归约过程中已经得到的中间结
【机 构】
：
广东商学院信息学院,中南大学信息科学与工程学院
【出 处】
：
现代电子技术
【发表日期】
：
2007年4期
其他文献
为分析天线间距和散射角等信道物理参数对多输入多输出系统信道容量的影响,提出了一种相关衰落环境中信道容量的分析方法。该方法基于接收均匀圆阵构建了蕴含信道物理参数的
目的：为临床合理使用麻醉药品提供参考。方法：对我院2012年1月-2013年12月5 841张麻醉药品处方,进行统计、汇总,采用用药频度（DDDs）、日均费用（DDC）和药物利用指数（DUI）为指标对患者
音乐欣赏教学的认知教育,必须进行系统的循序渐的教学;根据音乐学科特点增加教学内容;根据音乐艺术特点进行教学设计;根据认知教育原理加强分析技能训练.
研究了证券投资组合中，在单指数模型下，允许卖空时，确定有效边界的一种算法的灵敏度．证明了该算法对各证券的期望收益率、系统风险、非系统风险度市场指数收益的方差是稳健的。
高性能集群系统是目前的研究热点之一，研究高效的集群监控系统，具有重要的现实意义。通过分析集群系统的任务特点，建立了集群监控的任务模型，为监控系统的实现提供了理论上的支持
目的：了解河南省和河北省药品不良反应（ADR）报告单位的工作开展现状,为ADR监测工作的完善提供依据。方法：通过查阅文献了解国内外关于ADR监测工作的概况,以河南省和河北省ADR报告
目的：研究桔梗抗肺炎支原体有效部位分离纯化的最优工艺。方法 ：利用大孔吸附树脂柱,以桔梗皂苷D、桔梗总皂苷的比吸附量、脱洗附率及在药材中的含量等为指标,对该有效部位分离
目前网络用户非常关心其所上缴的费用是否能对应自己获得的性能服务。在交换节点处实施的调度算法是解决这个问题的重要手段之一。现实的网络背景环境决定了在核心网节点处的
目的：制备转铁蛋白受体单克隆抗体OX26修饰的眼镜蛇神经毒素（αCT）脂质体（OX26-αCT-LP）,考察其理化性质、体外释放行为,并研究其镇痛作用。方法：采用薄膜分散-挤出法制备αCT-LP,
介绍Struts的概念和体系结构，并阐述Struts的工作原理，介绍拳击比赛管理系统的各个功能模块的功能，最后通过一个例子，详细介绍了Struts框架在系统开发中开发流程。