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

被引：9

作者：

汪洋

林闯

曲扬

李雅娟

机构：

[1] 清华大学计算机系

来源：

电子学报 | 2006年 / 11期

基金：

国家自然科学基金重大研究计划;

关键词：

模糊Petri网; 模糊逻辑推理; 模糊产生式规则; 否定命题;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1955 / 1960

页数：6