@InProceedings{McCarthy1995,
author = {John L. McCarthy},
title = {What has AI in Common with Philosophy?},
booktitle = {IJCAI},
year = {1995},
pages = {2041-2042},
bibsource = {DBLP, http://dblp.uni-trier.de/db/conf/ijcai/ijcai95.html#McCarthy95}
}
Computer programs need to be equipped with a philosophy in order to reach human level intelligence. Such a philosophy includes a concept of what knowledge is and how may be obtained. [2041]
At present, there is no philosophical system sufficiently well defined to provide the foundation for a practical and intelligent computer program. [2041]
In most current AI work, the designer of the program constructs a philosophy in advance and builds a restricted representation of this into the system. [2041]
Hypothesis: philosophical attitudes that are required to be built into intelligent programs: [2041]
The philosophy of artificial intelligence can be viewed as its own academic subject area, with its own research methods aimed at clarifying the philosophical problems raised in AI. [2041]
A formal means of representing facts about the world must adequately represent actual available information, yet omit details that do not aid in decision making. [2042]
An attitude of free will and having to make choices must be built into intelligent systems. [2042]
Natural kinds of information must be described rather than defined in order to allow for approximate concepts to be used by the system. [2042]
There are four positions that can be taken with regard to objects or systems: [2042]
It is sometimes necessary to assign quantifiable measurements to beliefs, hopes, promises, obligations, questions, answers, goals, and other reifications. [2042]
The use of counterfactuals is required to permit systems to learn without having to actually participate in an experience. [2042]
A system that relies only on the philosophy of relating actions to subsequent observations will severely limit what can be accomplished by the system. [2042]
The areas of AI which will benefit most from philosophical research include: [2042]