| 一种算子模糊逻辑系统及其Petri网推理算法 |
| |
| 引用本文： | 夏世芬,毛大会,徐扬.一种算子模糊逻辑系统及其Petri网推理算法[J].模糊系统与数学,2008,22(1):7-14. |
| |
| 作者姓名： | 夏世芬 毛大会 徐扬 |
| |
| 作者单位： | 1. 西南交通大学,应用数学系,四川,成都,610031
2. 成都职业技术学院,基础部,四川,成都,610031 |
| |
| 摘 要： | 定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理，给出了算子模糊逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理，最后用实例进行了验证。
|
| 关 键 词： | λ-归结 Petri网 T-不变量 模糊逻辑 模糊推理 |
| 文章编号： | 1001-7402(2008)01-0007-08 |
| 修稿时间： | 2006年6月12日 |
An Operator Fuzzy Logic System and Its Inference Algorithm of Petri Net |
| |
| XIA Shi-fen,MAO Da-hui,XU Yang.An Operator Fuzzy Logic System and Its Inference Algorithm of Petri Net[J].Fuzzy Systems and Mathematics,2008,22(1):7-14. |
| |
| Authors: | XIA Shi-fen MAO Da-hui XU Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
