Discuss McCarthy and Hayes' idea that traditional philosophical
problems translate into problems about the design of an intelligent
program. Can you think of any new philosophical problems that
can come about through running this mapping "backwards"?
Explain, and give your own examples to illustrate, McCarthy's
approach to formalizing ordinary reasoning about events etc
using first-order logic. What do you think about this whole
approach?
References: Indicated articles for this lecture.