SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE

John McCarthy and Patrick J. Hayes
Computer Science Department
Stanford University
Stanford, CA 94305
[email protected]
http://www-formal.stanford.edu/jmc/

1969

• Introduction
• PHILOSOPHICAL QUESTIONS
  • Why Artificial Intelligence Needs Philosophy
  • Reasoning programs and the Missouri program
  • Representations of the world
  • The automaton representation and the notion of `can'
• FORMALISM
  • Situations
  • Fluents
  • Causality
  • Actions
  • Strategies
  • Knowledge and Ability
• REMARKS AND OPEN PROBLEMS
  • The approximate character of
  • Possible Meanings of `can' for a Computer Program
  • The Frame Problem
  • Formal Literatures
  • Probabilities
  • Parallel Processing
• DISCUSSION OF LITERATURE
  • Modal Logic
  • Logic of Knowledge
  • Tense Logics
  • Logics and Theories of Action
  • Other Topics
  • Counterfactuals
  • The Communication Process
• References
• About this document ...