next up previous
Next: A minimal example of Up: FREE WILL-EVEN FOR ROBOTS Previous: Good analyses into subautomata

Formalism for introspective free will


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.

John McCarthy
Sun Nov 21 23:39:43 PST 1999