首页> 中文会议>第九届全国容错计算学术大会 >一种新的Petri网推理方法

一种新的Petri网推理方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出一种新的基于Petri网的知识表达方法和逻辑推理算法,通过减少重复推理过程,充分利用推理过程中已经得到的中间结论.该算法比现有算法减少了推理步数,有效地提高了推理效率.

著录项

来源
《第九届全国容错计算学术大会》|2001年|197-201|共5页
会议地点长沙
作者
王志坚; 蔡自兴;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类设计与性能分析;
关键词
Petri网; 知识表达; 逻辑推理;

相似文献

中文文献
外文文献
专利

1. 一种新的Petri网推理方法 [J] . 王志坚 ,蔡自兴 . 计算机工程与科学 . 2002,第002期
2. 一种模糊Petri网的逆向知识推理方法设计实现 [J] . 杨劲松 ,凌培亮 . 计算机科学 . 2009,第012期
3. 一种基于模糊Petri网的并行推理方法 [J] . 徐欢 ,李孝忠 . 系统仿真学报 . 2007,第A01期
4. 一种基于线性逻辑的时间Petri网推理方法 [J] . 高梅梅 ,吴智铭 . 计算机研究与发展 . 2000,第012期
5. 一种新的基于局部搜索的扩展规则推理方法 [J] . 杨洋 ,刘磊 ,李广力 . 计算机学报 . 2018,第004期
6. 一种计算机取证的时间Petri网推理方法 [C] . 张雷 . 2008年中国信息技术与应用学术论坛 . 2008
7. 一种新的Petri网状态方程及其应用 [A] . 张亚 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号