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

关键词：模糊petfi网 模糊逻辑推理 模糊产生式规则 否定命题 

单位：清华大学计算机系; 北京100084