2023/03/07 by Rogier Brussee, Brussee, Rogier
Computer Science · #03B22 #18A15 #60A86 #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Probability (math.PR) #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2303.03725
openalex publication_date 2023/03/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Fuzzy logic is a way to argue with boolean predicates for which we only have a confidence value between 0 and 1 rather than a well defined truth value. It is tempting to interpret such a confidence as a probability. We use Markov kernels, parametrised probability distributions, to do just that. As a consequence we get general fuzzy logic connectives from probabilistic computations on products of the booleans, stressing the importance of joint confidence functions. We discuss binary logic connectives in detail and recover the "classic" fuzzy connectives as bounds for the confidence for general connectives. We push multivariable logic formulas as far as being able to define fuzzy quantifiers and estimate the confidence.