Human free will is a product of evolution and contributes to the success of the human animal. Useful robots will also require free will of a similar kind, and we will have to design it into them. Free will is not an all-or-nothing thing. Some agents have more free will, or free will of different kinds, than others, and we will try to analyse this phenomenon. Our objectives are primarily technological, i.e. to study what aspects of free will can make robots more useful, and we will not try to console those who find determinism distressing. We distinguish between having choices and being conscious of these choices; both are important, even for robots, and consciousness of choices requires more structure in the agent than just having choices and is important for robots. Consciousness of free will is therefore not just an epiphenomenon of structure serving other purposes. Free will does not require a very complex system. Young children and rather simple computer systems can represent internally ‘I can, but I won't’ and behave accordingly. Naturally I hope this detailed design stance will help understand human free will. It takes the compatibilist philosophical position. There may be some readers interested in what the paper says about human free will and who are put off by logical formulas. The formulas are not important for the arguments about human free will; they are present for people contemplating AI systems using mathematical logic. They can skip the formulas, but the coherence of what remains is not absolutely guaranteed.
[1]
Claude E. Shannon,et al.
A symbolic analysis of relay and switching circuits
,
1938,
Transactions of the American Institute of Electrical Engineers.
[2]
Daniel C. Dennett,et al.
Brainstorms: Philosophical Essays on Mind and Psychology
,
1981
.
[3]
John McCarthy,et al.
Philosophical and Scientific Presuppositions of Logical AI
,
1999
.
[4]
Patrick Suppes,et al.
Voluntary Motion, Biological Computation, and Free Will
,
1994
.
[5]
Vladimir Lifschitz,et al.
Formalizing Common Sense: Papers by John McCarthy
,
1998
.
[6]
Daniel C. Dennett.
Elbow Room: The Varieties of Free Will Worth Wanting
,
1984
.
[7]
John McCarthy.
First Order Theories of Individual Concepts and Propositions.
,
1979
.
[8]
Jc Shepherdson,et al.
Machine Intelligence 15
,
1998
.
[9]
Murray Shanahan.
Solving the frame problem - a mathematical investigation of the common sense law of inertia
,
1997
.
[10]
John McCarthy,et al.
Making Robots Conscious of Their Mental States
,
1995,
Machine Intelligence 15.
[11]
Daniel C. Dennett,et al.
Elbow Room: The Varieties of Free Will Worth Wanting
,
1986
.
[12]
John McCarthy,et al.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
,
1987
.