Foundation of credibilistic logic

Authors:
Xiang Li;Baoding Liu
Affiliations:
Uncertainty Theory Laboratory, Department of Mathematical Sciences, Tsinghua University, Beijing, China 100084;Uncertainty Theory Laboratory, Department of Mathematical Sciences, Tsinghua University, Beijing, China 100084
Venue:
Fuzzy Optimization and Decision Making
Year:
2009

Citing 10
Cited 1

Inference in a multivalued logic system

International Journal of Man-Machine Studies
Probabilistic logic

Artificial Intelligence
A fuzzy expert system

Fuzzy Sets and Systems
Fuzzy sets in approximate reasoning, part 2: logical approaches

Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
Fuzzy Logic and the Resolution Principle

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
A survey of credibility theory

Fuzzy Optimization and Decision Making
Many-Valued Logics 2

Many-Valued Logics 2
Expected value of fuzzy variable and fuzzy expected value models

IEEE Transactions on Fuzzy Systems
Entropy of Credibility Distributions for Fuzzy Variables

IEEE Transactions on Fuzzy Systems

Short communication: A note on truth value in uncertain logic

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.