资源描述：
《含有否定命题逻辑推理的一致性模糊petri网模型》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第&&期电子学报Q1R/5).1/&&6’’:年&&月7047OBO04KP.C07HC.C07.1S/6’’:含有否定命题逻辑推理的一致性模糊!"#$%网模型汪洋，林闯，曲扬，李雅娟（清华大学计算机系，北京&’’’()）摘要：模糊!"#$%网（*+,,-!"#$%."#，*!.）是!"#$%网（!"#$%."#，!.）的模糊化描述的一种扩充/基于*!.模型的模糊推理规则表示和模糊推理已经得到了广泛的研究/传统的方法不能准确表示含有否定命题的产生式规则，并解决正确推理问题/本文讨论了模糊逻辑中否定的含义，将条件命题中的否定理解为其对推理规则的阻碍作用，结果命题中的否
2、定理解为规则中的前提条件阻碍该命题的发生/在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性*!.模型（0123%3#"2#*+,,-!"#$%."#，0*!.）表示方法，同时在0*!.模型中引入域值的概念，并给出相应的形式化推理算法及相关证明/关键词：模糊!"#$%网；模糊逻辑推理；模糊产生式规则；否定命题中图分类号：4!5’6文献标识码：7文章编号：’58696&&6（6’’:）&&9&;<<9’:!"#$%$&’#&()**+,’&-%.’&$/"0’12"-3"4%5,-"4-67$8%&9.’46&%"#=7.>?@2A，BC.0D+@2A，EF?@
3、2A，BC?@9G+@2（!"#$%&’"(&)*+)’#,&"%-./"(."01".2()3)45，16/(42,$7(/8"%6/&5，9"/:/(4&’’’()，+2/($）:;$&-65&：!"##$%&’()*&’（!%*）)+,-&.’&-+)/-/0%&’()*&’（%*）1%(&2)/"+(&+&,(340/3"+&+/-’4&(&5(&+&-’,’)/-,-6(&,7+/-)-8/0’4&0"##$("9&+:)’4!%*1;/:&2&(，0"##$5(/6"3’)/-("9&+:)’4-&8,’)2&9)’&(,9+3,--/’<&&.5(&+
4、+&6,-6(&,+/-&6&00&37’)2&9$)-’(,6)’)/-,9=&’4/6+1>4&)-4&(&-’=&,-)-8+/0’4&-&8,’)2&9)’&(,9+)-0"##$5(/6"3’)/-("9&+,(&6)+3"++&6)-’4)+5,5&(，:4)9&-&8,’)/-+/0’4&)-5"’5(/5/+)’)/-3,-<&(&5(&+&-’&6,+’4&-&8,’)2&)=5,3’/-’4&("9&+，,-6-&8,’)/-+/0’4&3/-+&?"&-’+3,-<&’(&,’&6,+’4,’’4&("9&<9/3@+’4&3/-+&?"&-’
5、+1A,+&6/-)’，B/-+)+’&-’!"##$%&’()*&’（B!%*）=/6&9)+5(/5/+&6，:4)34)+=/(&+")’,<9&’/(&5(&+&-’’4&0"##$9/8)35(/8(,=+:)’4-&8,’)/-+1>4(&+4/96+,(&,9+/)-’(/6"3&6’/B!%*=/6&91!)-,99$，,0/(=,9(&,7+/-)-8,98/()’4=0/(’4&B!%*=/6&9)+5(&+&-’&6,-62,9)6,’&61<’+8"-0$：0"##$%&’()-&’；0"##$(&,+/-)-8；0"##$5(/6"3’)/
6、-("9&；-&8,’)2&5(/5/+)’)/-次权值模糊推理算法/在文献［:］中，JB%和*B@$@9K13@21提!引言出一种适应于动态知识表示和推理的7*!.模型，兼具*!.知识工程是当前计算机领域中讨论和研究的热点，其中模型的表达推理特点和神经元网络的自主学习能力/在文献一个关键的问题是知识的表示和知识的推理/近年来，使用［8］中，K12A?@2A等人提出一种基于*!.模型的完整和高效［&，6］!"#$%网模型来描述逻辑推理问题得到了深入的研究，主的模糊知识表示和推理算法/在文献［(］中，HI0D"2等提出要应用于人工智能领域中的知识推理/为了进一步描述现
7、实并利用=*!.模型在规则系统中进行带权值的模糊推理/在世界中模糊和不完全的知识，人们引入了模糊集合的概念，从文献［;］中，HI0D"2在文献［)］的基础上又提出一种基于而形成了*!./*!.模型的逆向推理方法/在文献［&’］中，0D+2L+等针对*!.是!.的模糊化描述的一种扩充/自&;((年B112"-*!.模型应用于模糊推理时存在的结构冲突和不确定性等问在文献［5］中提出一种使用*!.模型进行模糊推理规则表示题，提出一种改进的*!.模型/前面的研究工作主要集中在和推理的方法，*!.模型逐渐被应用于模糊知识表示和知识逻辑规则的表示，并没有给出形式化的推理算法
