Report Number: CS-TR-74-411
Institution: Stanford University, Department of Computer Science
Title: After Leibniz...: discussions on philosophy and artificial
Author: Anderson, D. Bruce
Author: Binford, Thomas O.
Author: Thomas, Arthur J.
Author: Weyhrauch, Richard W.
Author: Wilks, Yorick A.
Date: March 1974
Abstract: This is an edited transcript of informal conversations which
we have had over recent months, in which we looked at some of
the issues which seem to arise when artificial intelligence
and philosophy meet. Our aim was to see what might be some of
the fundamental principles of attempts to build intelligent
machines. The major topics covered are the relationship of AI
and philosophy and what help they might be to each other: the
mechanisms of natural inference and deduction; the question
of what kind of theory of meaning would be involved in a
successful natural language understanding program, and the
nature of models in AI research.