The previous section concerned only external free will, and it isn't convenient to represent knowledge by the states of subautomata of a reasoning automaton. [McCarthy 1979] has a more extensive formalization of knowing what and knowing that.
The situation calculus, [McCarthy and Hayes 1969] and [Shanahan 1997], offers a better formalism for a robot to represent facts about its own possibilities.