含有否定命题逻辑推理的一致性模糊Petri网模型.pdf

《含有否定命题逻辑推理的一致性模糊Petri网模型.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第11期电子学报VoI.34No.112006年11月ACTAELECTRONICASINICANoV.2006含有否定命题逻辑推理的一致性模糊Petri网模型汪洋，林闯，曲扬，李雅娟（清华大学计算机系，北京100084）摘要：模糊Petri网（FuzzyPetriNet，FPN）是Petri网（PetriNet，PN）的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则，并解决正确推理问题.本文讨论了模糊逻辑中否定的含义，将条件命题中的否定理解为其对推理规则的阻碍作用，

2、结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型（ConsistentFuzzyPetriNet，CFPN）表示方法，同时在CFPN模型中引入域值的概念，并给出相应的形式化推理算法及相关证明.关键词：模糊Petri网；模糊逻辑推理；模糊产生式规则；否定命题中图分类号：TP302文献标识码：A文章编号：0372-2112（2006）11-1955-06ConsistentFuzzyPetriNetsModelforLogicProgramswithNegationWANGYang，

3、LINChuang，OUYang，LIYa-juan（DepartmentofComputerScience&Technology，TsinghuaUniuersity，Beijing100084，China）Abstract：FuzzyPetriNet（FPN）isanextensionofPetriNet（PN）.Previousresearchfocusesontherepresentationandrea-soningofthefuzzyruleswithFPN.However，fuzzyproductionruleswithnegativel

4、iteralscannotbeexpressedandreasonedeffec-tivelyintraditionalmethods.Theinherentmeaningsofthenegativeliteralsinfuzzyproductionrulesarediscussedinthispaper，whilenegationsoftheinputpropositioncanberepresentedasthenegativeimpactontherules，andnegationsoftheconseguentscanbetreatedasth

5、attheruleblockstheconseguents.Basedonit，ConsistentFuzzyPetriNet（CFPN）modelisproposed，whichismoresuitabletorepresentthefuzzylogicprogramswithnegations.ThresholdsarealsointroducedtoCFPNmodel.Finally，aformalrea-soningalgorithmfortheCFPNmodelispresentedandvalidated.Keywords：fuzzyPet

6、rinet；fuzzyreasoning；fuzzyproductionrule；negativeproposition次权值模糊推理算法.在文献［6］中，XLi和FLara-Rosano提!引言出一种适应于动态知识表示和推理的AFPN模型，兼具FPN知识工程是当前计算机领域中讨论和研究的热点，其中模型的表达推理特点和神经元网络的自主学习能力.在文献一个关键的问题是知识的表示和知识的推理.近年来，使用［7］中，RongYang等人提出一种基于FPN模型的完整和高效［1，2］Petri网模型来描述逻辑推理问题得到了深入的研究，主的模糊知识表示和推理算法.

7、在文献［8］中，SMChen等提出要应用于人工智能领域中的知识推理.为了进一步描述现实并利用WFPN模型在规则系统中进行带权值的模糊推理.在世界中模糊和不完全的知识，人们引入了模糊集合的概念，从文献［9］中，SMChen在文献［4］的基础上又提出一种基于而形成了FPN.FPN模型的逆向推理方法.在文献［10］中，ChunHu等针对FPN是PN的模糊化描述的一种扩充.自1988年LooneyFPN模型应用于模糊推理时存在的结构冲突和不确定性等问在文献［3］中提出一种使用FPN模型进行模糊推理规则表示题，提出一种改进的FPN模型.前面的研究工作主要集中在和

8、推理的方法，FPN模型逐渐被应用于模糊知识表示和知识逻辑规则的表示，并没有给出形式化的推理算法