论文部分内容阅读
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明策略，并充分利用归约过程中已经得到的中间结论。与现有T-不变量和线性代数的求解算法相比。大幅减少了重复推理过程，有效地提高了推理效率。
基于HIPN网的推理算法研究
【摘 要】
：
基于HIPN网的知识表达有知识的长效性和避免重复运算两个优势。提出了一个基于HIPN网模型的逻辑推理算法，该算法结合经典的归结证明策略，并充分利用归约过程中已经得到的中间结
【机 构】
：
广东商学院信息学院,中南大学信息科学与工程学院
【出 处】
：
现代电子技术
【发表日期】
：
2007年4期
其他文献
音乐欣赏教学的认知教育,必须进行系统的循序渐的教学;根据音乐学科特点增加教学内容;根据音乐艺术特点进行教学设计;根据认知教育原理加强分析技能训练.
高性能集群系统是目前的研究热点之一，研究高效的集群监控系统，具有重要的现实意义。通过分析集群系统的任务特点，建立了集群监控的任务模型，为监控系统的实现提供了理论上的支持
目前网络用户非常关心其所上缴的费用是否能对应自己获得的性能服务。在交换节点处实施的调度算法是解决这个问题的重要手段之一。现实的网络背景环境决定了在核心网节点处的
介绍Struts的概念和体系结构，并阐述Struts的工作原理，介绍拳击比赛管理系统的各个功能模块的功能，最后通过一个例子，详细介绍了Struts框架在系统开发中开发流程。