A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces
arXiv:2110.05985 · doi:10.4204/EPTCS.372.22
Abstract
We define a symmetric monoidal category modelling fuzzy concepts and fuzzy conceptual reasoning within Gärdenfors' framework of conceptual (convex) spaces. We propose log-concave functions as models of fuzzy concepts, showing that these are the most general choice satisfying a criterion due to Gärdenfors and which are well-behaved compositionally. We then generalise these to define the category of log-concave probabilistic channels between convex spaces, which allows one to model fuzzy reasoning with noisy inputs, and provides a novel example of a Markov category.
In Proceedings ACT 2021, arXiv:2211.01102