Search Results for author:
Found 10 papers, 1 papers with code
Overdrawing Urns using Categories of Signed Probabilities
A basic experiment in probability theory is drawing without replacement from an urn filled with multiple balls of different colours.
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
In terms of categorical probability theory, this amounts to an analysis of the situation in terms of the behaviour of the multiset functor, extended to the Kleisli category of the distribution monad.
Causal Inference by String Diagram Surgery
We represent the effect of such an intervention as an endofunctor which performs `string diagram surgery' within the syntactic category of string diagrams.
Categorical Aspects of Parameter Learning
Parameter learning is the technique for obtaining the probabilistic parameters in conditional probability tables in Bayesian networks from tables with (observed) data --- where it is assumed that the underlying graphical structure is known.
The Mathematics of Changing one's Mind, via Jeffrey's or via Pearl's update rule
Evidence in probabilistic reasoning may be 'hard' or 'soft', that is, it may be of yes/no form, or it may involve a strength of belief, in the unit interval [0, 1].
A Channel-based Exact Inference Algorithm for Bayesian Networks
This paper describes a new algorithm for exact Bayesian inference that is based on a recently proposed compositional semantics of Bayesian networks in terms of channels.
The Logical Essentials of Bayesian Reasoning
This chapter offers an accessible introduction to the channel-based approach to Bayesian probability theory.
Neural Nets via Forward State Transformation and Backward Loss Transformation
We illustrate this perspective by training a simple instance of a neural network.
Disintegration and Bayesian Inversion via String Diagrams
The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory.
Category Theory in Coq 8.5
We report on our experience implementing category theory in Coq 8. 5.
Logic in Computer Science
