3 papers
math.OC2025
Formalising the intentional stance 2: a coinductive approach
Simon McGregor, timorl, Nathaniel Virgo
Given a stochastic process with inputs and outputs, how might its behaviour be related to pursuit of a goal? We model this using 'transducers', objects that capture only the extern…
math.OC2024
Formalising the intentional stance 1: attributing goals and beliefs to stochastic processes
Simon McGregor, timorl, Nathaniel Virgo
This article presents a formalism inspired by Dennett's notion of the intentional stance. Whereas Dennett's treatment of these concepts is informal, we aim to provide a more formal…
math.PR2023
Unifilar Machines and the Adjoint Structure of Bayesian Filtering
Nathaniel Virgo
We elucidate the mathematical structure of Bayesian filtering, and Bayesian inference more broadly, by applying recent work on category theoretical probability, specifically the co…