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