Possibility theory, probability theory and multiple-valued logics: A clarification

被引:277
作者
Dubois, D [1 ]
Prade, H [1 ]
机构
[1] Univ Toulouse 3, IRIT, CNRS, F-31062 Toulouse 4, France
关键词
D O I
10.1023/A:1016740830286
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
There has been a lon-lasting misunderstanding in the literature of artificial intelligence and uncertainty modeling, regarding the role of fuzzy set theory and many-valued logics. The recurring question is that of the mathematical and pragmatic meaningfulness of a compositional calculus and the validity of the excluded middle law. This confusion pervades the early developments of probabilistic logic, despite early warnings of some philosophers of probability. This paper tries to clarify this situation. It emphasizes three main points. First. it suggests that the root of the controversies lies in the unfortunate confusion between degrees of belief and what logicians call "degrees of truth". The latter are usually compositional, while the former cannot be so. This claim is first illustrated by laying bare the non-compositional belief representation embedded in the standard propositional calculus. It turns out to be an all-or-nothing version of possibility theory. This framework is then extended to discuss the case of fuzzy logic versus graded possibility theory. Next, it is demonstrated that any belief representation where compositionality is taken for granted is bound to at worst collapse to a Boolean truth assignment and at best to a poorly expressive tool. Lastly, some claims pertaining to an alleged compositionality of possibility theory are refuted, thus clarifying a pervasive confusion between possibility theory axioms and fuzzy set basic connectives.
引用
收藏
页码:35 / 66
页数:32
相关论文
共 91 条
[1]  
Adams E., 1975, SYNTHESE, V30, P429
[2]  
ALELIUNAS R, 1990, UNCERTAINTY AL, V4, P199
[3]  
ALELIUNAS R, 1990, KNOWLEDGE REPRESENTA, P387
[4]  
ALELIUNAS R, 1986, MODELS REASONING BAS
[5]  
[Anonymous], P 10 C UNC ART INT
[6]  
[Anonymous], 1988, POSSIBILITY THEORY A
[7]  
[Anonymous], 1974, THEORY PROBABILITY C
[8]  
[Anonymous], 1988, KNOWLEDGE FLUX
[9]   FUZZY TRUTH DEFINITION OF POSSIBILITY MEASURE FOR DECISION CLASSIFICATION [J].
BALDWIN, JF ;
PILSWORTH, BW .
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1979, 11 (04) :447-463
[10]   ANALYTIC FORMALISM OF THEORY OF FUZZY SETS [J].
BELLMAN, R ;
GIERTZ, M .
INFORMATION SCIENCES, 1973, 5 :149-156