6 papers
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
Wojciech Różowski, Robin Piedeleu, Alexandra Silva +1
Behavioural distances provide a quantitative approach to comparing the states of transition systems, moving beyond traditional Boolean notions of equivalence. In this paper, we dev…
Layered Monoidal Theories II: Fibrational Semantics
Leo Lobski, Fabio Zanasi
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models…
Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
Antonio Lorenzin, Fabio Zanasi
Moralisation and Triangulation are transformations allowing to switch between different ways of factoring a probability distribution into a graphical model. Moralisation allows to…
Logic Explanation of AI Classifiers by Categorical Explaining Functors
Stefano Fioravanti, Francesco Giannini, Paolo Frazzetto +2
The most common methods in explainable artificial intelligence are post-hoc techniques which identify the most relevant features used by pretrained opaque models. Some of the most…
An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
Antonio Lorenzin, Fabio Zanasi
Moralisation and Triangulation are transformations allowing to switch between different ways of factoring a probability distribution into a graphical model. Moralisation allows to…
Graded String Diagrams for Imprecise Probability and Causal Intervention
Ralph Sarkis, Fabio Zanasi
We introduce string diagrams for graded symmetric monoidal categories. Our approach includes a definition of graded monoidal theory and the corresponding freely generated syntactic…