Some properties of fuzzy reasoning in propositional fuzzy logic systems

被引：36

作者：

Zhang, Jiancheng ^{[1
]}

Yang, Xiyang ^{[1
]}

机构：

[1] Quanzhou Normal Univ, Dept Math, Fujian 362000, Peoples R China

来源：

INFORMATION SCIENCES | 2010年 / 180卷 / 23期

关键词：

Fuzzy reasoning; Algorithm; Propositional fuzzy logic; Generalized root; Deduction theorem; UNIFIED FORMS; CALCULUS;

D O I：

10.1016/j.ins.2010.07.035

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

080201 [机械制造及其自动化];

摘要：

In order to analyze the logical foundation of fuzzy reasoning. this paper first introduces the concept of generalized roots of theories in Lukasiewicz propositional fuzzy logic Luk. Godel propositional fuzzy logic God. Product propositional fuzzy logic II. and nilpotent minimum logic NM (the R(o)-propositional fuzzy logic L*) Next, it is proved that all consequences of a theory r named D(r). are completely determined by its generalized root whenever r has a generalized root Moreover. it is proved that every finite theory r has a generalized root, which can be expressed by a specific formula Finally, we demonstrate the existence of a non-fuzzy version of Fuzzy Modus Ponens (FMP) in Luk, God, II and NM (L), and we provide its numerical version as a new algorithm for solving FMP (C) 2010 Elsevier Inc All rights reserved

引用

页码：4661 / 4671

页数：11

共 21 条

[1]

[Anonymous], P U TBILISI A

[2]

Fuzzy modus ponens as a calculus of logical modifiers: Towards Zadeh's vision of implication calculus [J].