收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

用Petri网对语义网络歧义性和推理不确定性改进的探索

戴敬周  
【摘要】: 语义网络有很强的表达知识的能力,但它没有公认的形式化表示体系,存在歧义性和推理不确定性的问题。本文用Petri网对语义网络推理方法进行了改进。 用Petri网进行推理,需要把语义网络转化成Petri网,本文用形式逻辑做二者的纽带。把语义网络转化为形式逻辑,进而把形式逻辑再转化为Petri网。 根据形式逻辑的归结反演原理,本文给出了一阶谓词逻辑的Petri网推理的方法,实现了语义网络的Petri网推理。 本文还对一阶谓词的几种具体形式的Petri网推理方法和推理算法的搜索策略进行了讨论。 《计算机网络》课程辅导专家系统作为实例,证明了本文方法的可实践性。 本文研究了网逻辑和形式逻辑之间的关系。网逻辑与其他传统逻辑之间的关系有待进一步研究。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 麦范金;史慧;;面向对象语义网络的知识表示[J];微计算机信息;2010年27期
2 李光亚;周学海;龚育昌;赵振西;;一种基于语义网络的开放式超媒体系统结构[J];计算机科学;1998年03期
3 马亮,汪涛,吴耿锋;基于WfPN的业务流程重组[J];计算机研究与发展;2001年07期
4 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
5 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
6 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
7 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
8 袁志祥,叶红;电子商务协议的建模方法与分析[J];安徽工业大学学报(自然科学版);2004年03期
9 曾庆田,吴哲辉;Petri网分解的保性条件分析[J];小型微型计算机系统;2004年09期
10 刘道斌,郭莉,白硕;基于Petri网的安全协议形式化分析[J];电子学报;2004年11期
11 郑谦益;面向对象Petri网及其在告警服务代理软件中的应用[J];南京邮电学院学报;2004年04期
12 赵宏伟;张海龙;臧雪柏;;表象式语义网络研究[J];北京工业大学学报;2009年08期
13 段荣婷;;《中国档案主题词表》语义网络化应用研究[J];档案学研究;2010年06期
14 段荣婷;;基于简约知识组织系统的《中国档案主题词表》语义网络化应用研究[J];档案学通讯;2011年02期
15 王文学;用Petri网分析离散事件动态系统[J];控制与决策;1990年01期
16 张岚,李人厚;一种基于广义随机Petri网的分析器[J];计算机学报;1991年05期
17 王永革;序佩特里(Petri)网计算能力分析[J];软件学报;1993年03期
18 管惠维,李志光;MPP系统模型化的广义随机Petri网技术[J];小型微型计算机系统;1997年03期
19 杨光宇,郑应平;面向对象Petri网建模与仿真的可视化环境[J];系统仿真学报;1997年03期
20 孟伟,张国印,韩学东;一种新型的系统建模方法[J];哈尔滨工程大学学报;2000年05期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
3 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
4 代印唐;基于语义网络的知识协作关键技术研究[D];复旦大学;2009年
5 史斌;面向语义网的语义搜索引擎关键技术研究[D];北京工业大学;2010年
6 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
7 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
8 曾小红;汉语“过+宾”结构的多角度分析[D];湖南师范大学;2004年
9 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
10 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 魏晓敏;六个英语介词习得研究:中国英语学习者介词意义发展横断研究[D];湖南大学;2004年
3 宋捷;基于语义网络的远程教育系统研究[D];对外经济贸易大学;2006年
4 张海龙;表象式语义网络研究[D];吉林大学;2007年
5 王滢;俄语前置词“В”的认知语义分析[D];中国人民解放军外国语学院;2007年
6 王帅;面向中小企业的多项目管理系统研究[D];西北大学;2008年
7 李艳;网络教学中知识点网络的个性化呈现研究[D];华中师范大学;2006年
8 李涛;中观结构关系网络在学习词典中的构建与表述[D];广东外语外贸大学;2009年
9 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
10 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
中国重要报纸全文数据库 前10条
1 华新;你要的是哪个苹果?语义智能搜索时代来临[N];经理日报;2007年
2 义川;Web 3.0更有前途?[N];网络世界;2006年
3 华通;通过语义Web构建智能网络[N];中国计算机报;2007年
4 邓晓芒 华中科技大学哲学系;黑格尔辩证法为形式逻辑奠基[N];中国社会科学报;2009年
5 ;李葆嘉:语言科技新思维的倡导者[N];大众科技报;2008年
6 草庐公;逻辑推断:打开战争“黑箱”的第一把钥匙[N];解放军报;2004年
7 吉林大学哲学社会学院 孙利天;一切科学都是应用逻辑[N];中国社会科学报;2011年
8 彭漪涟;逻辑科学需要进行系统反思[N];光明日报;2006年
9 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
10 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978