Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

WANG Yang; LIN Chuang; QU Yang; LI Ya-juan

您当前的位置：

首页 >

文章列表页 >

Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

更新时间：2025-07-16

- Consistent Fuzzy Petri Nets Model for Logic Programs with Negation
- Acta Electronica Sinica Vol. 34, Issue 11, Pages: 1955-1960(2006)
- 作者机构：
  
  清华大学计算机系,北京,100084
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP302
- Published：2006
- 稿件说明：
移动端阅览
WANG Yang, LIN Chuang, QU Yang, et al. Consistent Fuzzy Petri Nets Model for Logic Programs with Negation[J]. Acta Electronica Sinica, 2006, 34(11): 1955-1960.
DOI：

WANG Yang, LIN Chuang, QU Yang, et al. Consistent Fuzzy Petri Nets Model for Logic Programs with Negation[J]. Acta Electronica Sinica, 2006, 34(11): 1955-1960. DOI：

摘要

模糊Petri网(Fuzzy Petri Net

FPN)是Petri网(Petri Net

PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则

并解决正确推理问题.本文讨论了模糊逻辑中否定的含义

将条件命题中的否定理解为其对推理规则的阻碍作用

结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net

CFPN)表示方法

同时在CFPN模型中引入域值的概念

并给出相应的形式化推理算法及相关证明.

Abstract

Fuzzy Petri Net (FPN) is an extension of Petri Net (PN).Previous research focuses on the representation and reasoning of the fuzzy rules with FPN.However

fuzzy production rules with negative literals can not be expressed and reasoned effectively in traditional methods.The inherent meanings of the negative literals in fuzzy production rules are discussed in this paper

while negations of the input proposition can be represented as the negative impact on the rules

and negations of the consequents can be treated as that the rule blocks the consequents.Based on it

Consistent Fuzzy Petri Net (CFPN) model is proposed

which is more suitable to represent the fuzzy logic programs with negations.Thresholds are also introduced to CFPN model.Finally

a formal reasoning algorithm for the CFPN model is presented and validated.

关键词

Keywords

references

Views

947

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

TrANTHOCNET:Confidence Ant Colony Routing Algorithm in MANET

Related Author

LIU Yan-heng

ZHANG Jing

WANG Jian

Related Institution

College of Computer Science and Technology,Jilin University.

Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University.

⁰