I thank Eyal Amir, Daniel Dennett, and Patrick Suppes for useful discussions.
This work was supported by the DARPA High Performance Knowledge Bases program and by the AFOSR New World Vistas program under AFOSR grant AF F49620-97-1-0207.
