ABSTRACT
There is a sense in which the study of machine intelligence can be described as the application of philosophy to technology. From mathematical logic insights into processes of reasoning are obtained, and from epistemology ways of representing symbolically what we know about the world. The machine intelligence practitioner is a ‘knowledge engineer’, who needs to find ways of representing symbolically what his computing system should ‘know’, and thus equip it to handle the intelligent tasks which he has in mind for it.
