Foundation of credibilistic logic

被引：28

作者：

Li, Xiang ^{[1
]}

Liu, Baoding ^{[1
]}

机构：

[1] Tsinghua Univ, Dept Math Sci, Uncertainty Theory Lab, Beijing 100084, Peoples R China

来源：

FUZZY OPTIMIZATION AND DECISION MAKING | 2009年 / 8卷 / 01期

基金：

中国国家自然科学基金;

关键词：

Fuzzy logic; Modus ponens; Fuzzy proposition; Fuzzy formula; Truth value; FUZZY; APPROXIMATE;

D O I：

10.1007/s10700-009-9053-6

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, credibilistic logic is introduced as a new branch of uncertain logic system by explaining the truth value of fuzzy formula as credibility value. First, credibilistic truth value is introduced on the basis of fuzzy proposition and fuzzy formula, and the consistency between credibilistic logic and classical logic is proved on the basis of some important properties about truth values. Furthermore, a credibilistic modus ponens and a credibilistic modus tollens are presented. Finally, a comparison between credibilistic logic and possibilistic logic is given.

引用

页码：91 / 102

页数：12

共 24 条

[1]

[Anonymous], 2007, J Uncertain Syst

[2]

[Anonymous], 1991, P 12 INT JOINT C ART

[3]

[Anonymous], UNCERTAINTY THEORY

[4]

[Anonymous], 2004, UNCERTAINTY THEORY

[5]

Bolc L., 1992, Many-Valued Logics

[6]

Bonissone P. P., 1987, International Journal of Approximate Reasoning, V1, P71, DOI 10.1016/0888-613X(87)90005-3

[7] A FUZZY EXPERT SYSTEM [J].

BUCKLEY, JJ ;

SILER, W ;

TUCKER, D .

FUZZY SETS AND SYSTEMS, 1986, 20 (01) :1-16

[8]

Chang C.-L., 1973, Symbolic Logic and Mechanical Theorem Proving, DOI DOI 10.1137/1016071

[9] NECESSITY MEASURES AND THE RESOLUTION PRINCIPLE [J].

DUBOIS, D ;

PRADE, H .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1987, 17 (03) :474-478

[10] FUZZY-SETS IN APPROXIMATE REASONING .2. LOGICAL APPROACHES [J].

DUBOIS, D ;

LANG, J ;

PRADE, H .

FUZZY SETS AND SYSTEMS, 1991, 40 (01) :203-244

← 1 2 3 →