Article ID Journal Published Year Pages File Type
397001 International Journal of Approximate Reasoning 2014 21 Pages PDF
Abstract

•We characterise fuzzy logic in terms of probability over Kleene truth models.•A bridge is established between fuzzy logic and probability over Tarski valuations.•A further bridge is found between fuzzy logic and probability over supervaluations.

An integrated approach to truth-gaps and epistemic uncertainty is described, based on probability distributions defined over a set of three-valued truth models. This combines the explicit representation of borderline cases with both semantic and stochastic uncertainty, in order to define measures of subjective belief in vague propositions. Within this framework we investigate bridges between probability theory and fuzziness in a propositional logic setting. In particular, when the underlying truth model is from Kleene's three-valued logic then we provide a complete characterisation of compositional min–max fuzzy truth degrees. For classical and supervaluationist truth models we find partial bridges, with min and max combination rules only recoverable on a fragment of the language. Across all of these different types of truth valuations, min–max operators are resultant in those cases in which there is only uncertainty about the relative sharpness or vagueness of the interpretation of the language.

Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
,