ActInf MathStream #006.1 ~ Sean Tull "Active Inference in String Diagrams"

"Active Inference in String Diagrams" Sean Tull (Quantinuum) Associated paper:
https://arxiv.org/abs/2308.00861 "Active Inference in String Diagrams: A
Categorical Account of Predictive Processing and Free Energy" Sean Tull,
Johannes Kleiner, Toby St Clere Smithe Abstract: I will present a new
formalisation of predictive processing and active inference in terms of
category theory and its associated graphical language of 'string diagrams'.
These diagrams provide a rigorous but intuitive way to reason compositionally
about probabilistic (and more general) processes that have been applied in
many settings. After introducing categories and string diagrams, I will show
one can use them to both describe and reason about the main features of active
inference: generative models, Bayesian updating (including with soft
observations), Free Energy, perception, planning, and the process of active
inference itself. A highlight is a straightforward diagrammatic derivation of
the formula for active inference in terms of variational and expected free
energy. This is joint work with Johannes Kleiner and Toby St Clere Smithe.
More links for Sean Tull: https://www.seantull.uk/
https://scholar.google.com/citations?... Active Inference Institute
information: Website: https://activeinference.org/ Twitter:
https://twitter.com/InferenceActive Discord: https://discord.gg/8VNKNp4jtx
YouTube: / activeinference Active Inference Livestreams:
https://coda.io/@active-inference-ins...

CSID: 4a2cc3f20416744f

Content Managed by ContentSafe.co