论文部分内容阅读
根据Horn子句的特点，定义了一种新的Petri网形式——HIPN网，给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法，论证了HIPN网的一些重要特性．基于HIPN模型的逻辑推理过程和现有求解方法相比，可以大幅减少重复推理，有效提高推理效率。
一种知识表达Petri网及其特性分析
【摘 要】
：
根据Horn子句的特点，定义了一种新的Petri网形式——HIPN网，给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法，论证了HIPN网的一些重要特性．基于HIPN模型的逻辑
【机 构】
：
广东商学院信息学院,中南大学信息科学与工程学院
【出 处】
：
郑州大学学报(理学版)
【发表日期】
：
2006年4期
其他文献
采用整体染色透明法对油杉花粉的个体发育过程进行了详细观察,以更清楚地显示油杉单核小孢子有丝分裂过程及其成熟花粉粒结构的特点.结果表明,单核小孢子经过连续4次有丝分裂
指出了现有广义相对论专著中关于引力红移论述存在的含糊和混乱,并对这些含混内容给予了澄清.
在镀镍金属基底上,应用电化学方法阴极沉积氢氧化镍,经热处理得到氧化镍功能薄膜材料.用X-射线衍射(XRD)、傅立叶变换红外光谱(FTIR)和热重分析(TG)等技术对氢氧化镍和氧化镍
加强货运车辆的科学调配是开展货物运输优化组织工作的核心．根据货物运输作业过程的实际需求，提出动态车辆调配问题，明确给出确定性动态车辆调配问题的定义，并利用网络图对问题进
在修剪冗余规则已有算法的基础上，引入相关性这一概念，提出了一种改进的冗余规则修剪方法．实验结果证明该算法能够有效地减少关联规则的数量．
分析了三个算法,即嵌入式零树小波编码(EZW)、等级树编码(SP IHT)、内嵌块编码(EBCOT),提出了并行自适应码流图像编码算法.在通道内部,采用了块间剪裁算法,对于通道内小波系数的编码,加入了游程编码的思想.模拟实验证明,该算法并行性较高,在码流长度较小的情况下,效果显著.