Fuzzy Logic and Markov Kernels
Logic in Computer Science
2023-03-08 v1 Logic
Probability
Abstract
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.
Cite
@article{arxiv.2303.03725,
title = {Fuzzy Logic and Markov Kernels},
author = {Rogier Brussee},
journal= {arXiv preprint arXiv:2303.03725},
year = {2023}
}
Comments
16 pages AMSLatex