References

Costello and McCarthy 1999

Costello, T., and J. McCarthy. 1999. Useful Counterfactuals. Electronic Transactions on Artificial Intelligence. submitted 1999 July.

Dennett 1978

Dennett, D. 1978. Brainstorms: Philosophical Essays on Mind and Psychology. Cambridge: Bradford Books/MIT Press.

Dennett 1984

Dennett, D. 1984. Elbow room : the varieties of free will worth wanting. MIT Press.

McCarthy 1979

McCarthy, J. 1979. First order theories of individual concepts and propositions. In D. Michie (Ed.), Machine Intelligence, Vol. 9. Edinburgh: Edinburgh University Press. Reprinted in [McCarthy 1990].

McCarthy 1990

McCarthy, J. 1990. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation.

McCarthy 1996

McCarthy, J. 1996. Making Robots Conscious of their Mental States. In S. Muggleton (Ed.), Machine Intelligence 15. Oxford University Press. to appear in 2000. The web version is improved from that presented at Machine Intelligence 15 in 1995.

McCarthy 1999a

McCarthy, J. 1999a. Logical theories with approximate concepts--draft. submitted but web only for now.

McCarthy 1999b

McCarthy, J. 1999b. Philosophical and Scientific Presuppositions of Logical Ai. In H. J. Levesque and F. Pirri (Eds.), Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, 72-78. Springer-Verlag.

McCarthy and Hayes 1969

McCarthy, J., and P. J. Hayes. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie (Eds.), Machine Intelligence 4, 463-502. Edinburgh University Press.

Shanahan 1997

Shanahan, M. 1997. Solving the Frame Problem, a mathematical investigation of the common sense law of inertia. M.I.T. Press.

Shannon 1938

Shannon, C. E. 1938. A symbolic analysis of relay and switching circuits. Transactions American Institute of Electrical Engineers 57:713-723. I think this is the article in which Shannon showed that most boolean functions require many relay contacts.

Suppes 1994

Suppes, P. 1994. Voluntary motion, biological computation and free will. Midwest Studies in Philosophy XIX:452-467.