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

• 作者: 曲扬 李雅娟 林闯 汪洋
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 模糊Petri网 模糊逻辑推理 模糊产生式规则 否定命题
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 1955-1960
• 页数: 6页
• 分类号: TP302
• 字数: 6206字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2006.11.005

摘要

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机系	151	10702	46.0	102.0
2	李雅娟	清华大学计算机系	7	178	6.0	7.0
3	汪洋	清华大学计算机系	32	392	9.0	19.0
4	曲扬	清华大学计算机系	7	284	7.0	7.0