My recollection when I looked into this is that Kalman filters were, in fact, part of the inspiration for the theory (I am not certain I’m remembering this right).
Conversation
The problem here is similar to that of Bayesian rationalism. On the one hand, if you think the problem Kalman filters address is the essence of cognition, then there is no real alternative to them
1
3
Same way that if you think belief strength is the essence of rationality, there's no real alternative to probability theory (which is Cox's theorem)
1
1
(I don't know if there's an analogously strong result in control theory—my vague recollection is that an optimality theorem hasn't been proved rigorously but it's generally taken as true. would know!)
2
1
Not sure what you're asking. Kalman filters are a standard part of control toolkits, and they're "optimal" in the sense of being the optimal LQG solution for linear time invariant systems with gaussian noise. They rest on something called the "certainty equivalence principle"
1
2
Thanks, yeah, I was being vague. Kalman filters are optimal for the thing they are optimal for, and then there’s various broader classes of problems for which analogous things are provably optimal (?), and you’d like a strong result for a very broad class that isn’t done…
2
1
That is exactly correct. Under some nice conditions, a noisy signal can be used in place of a non-noisy signal and you'll still get an optimal solution. LQG is a weird but practically important special case that reduces to a simpler case.
2
1
😂
It's not entirely faking it since general control theory is just nonlinear stochastic ODE theory applied to engineering, so if you know basic grad level math, your intuitions will be roughly right
1
2
To your larger point re: expressivity of logics, control theory can be viewed as a "hack" where we work with rare islands of tractability where probabilistic systems behave as simply as first-order predicate logic systems despite not being generally reduiable to them
1
3
In general, I think the correct logic for control theory is second order... modal logic in possible worlds. Control theory rarely works with that explicitly (I did, briefly) but implicitly, that's the assumed world
(Although my master’s thesis was on the use of a modal logic of time in robot planning, so maybe I would have :)
1
Show replies

