Showing math.OCShow all
2 papers · 1 filter
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.OC2025
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…