基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
根据Horn子句的特点,定义了一种新的Petri网形式--HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率.
推荐文章
一种多值Petri网及其应用
多值Petri网
多值逻辑
知识表示
不确定性推理
一种自适应模糊Petri网及其应用
自适应
模糊
Petri网
人工神经网络
反向传播
学习
一种面向对象模糊Petri网建模方法的研究
面向对象
模糊Petri网
知识系统
建模
一种扩展式动态环境演算范型的Petri网描述
移动计算
环境演算
染色Petri网
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种知识表达Petri网及其特性分析
来源期刊 郑州大学学报(理学版) 学科 工学
关键词 Petri网 HIPN 知识表达 逻辑推理
年,卷(期) 2006,(4) 所属期刊栏目
研究方向 页码范围 83-86
页数 4页 分类号 TP18
字数 2408字 语种 中文
DOI 10.3969/j.issn.1671-6841.2006.04.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 蔡自兴 中南大学信息科学与工程学院 393 7036 40.0 69.0
2 王志坚 广东商学院信息学院 10 63 5.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (6)
节点文献
引证文献  (5)
同被引文献  (5)
二级引证文献  (0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(2)
  • 参考文献(2)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2007(2)
  • 引证文献(2)
  • 二级引证文献(0)
2008(2)
  • 引证文献(2)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Petri网
HIPN
知识表达
逻辑推理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
郑州大学学报(理学版)
季刊
1671-6841
41-1338/N
大16开
郑州市高新技术开发区科学大道100号
36-191
1962
chi
出版文献量(篇)
2278
总下载数(次)
0
总被引数(次)
9540
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导