Various approaches from ACT looking to capture Bayesian reasoning. Active inference sees us as Bayesian reasoners, minimising surprise by updating beliefs and conducting actions. Why not bring these together?
Some are, e.g., Toby Smithe.
How does the Poly/dynamical systems approach fit?
How does statistical learning theory fit?
Perhaps we can extract a relevant type theory from any such applied category theory.
There’s even a quantum variant, including holography. That might tap into Linear HoTT.
If psychoanalysts are getting interested in active inference, maybe there is room for something like a type theory of the unconscious.
No direct category theory, but possibilities
Chris Fields, James F. Glazebrook, Michael Levin, Neurons as hierarchies of quantum reference frames arXiv:2201.00921
Chris Fields, Karl Friston, James F. Glazebrook, Michael Levin, A free energy principle for generic quantum systems, arXiv:2112.15242
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9305335/
Last revised on June 29, 2023 at 07:03:18. See the history of this page for a list of all contributions to it.