Uncertain Logic

Baoding Liu

DOI: https://doi.org/10.1007/978-3-642-13959-8_8

2015-01-01

Abstract: Uncertain logic is a generalization of mathematical logic for dealing with uncertain knowledge via uncertainty theory. The first model is uncertain propositional logic designed by Li and Liu [96] in which the truth value of an uncertain proposition is defined as the uncertain measure that the proposition is true. An important contribution is the truth value theorem by Chen and Ralescu [18] that provides a numerical method for calculating the truth value of uncertain formulas. The second model is uncertain predicate logic proposed by Zhang and Peng [227] in which an uncertain predicate proposition is defined as a sequence of uncertain propositions indexed by one or more parameters. One advantage of uncertain logic is the well consistency with classical logic. For example, uncertain logic obeys the law of truth conservation and is consistent with the law of excluded middle and the law of contradiction. This chapter will introduce uncertain propositional logic and uncertain predicate logic.