book chapter Open access
Some Philosophical Problems from the Standpoint of Artificial Intelligence
John McCarthya, Patrick J. Hayesb
- aComputer Science Dept., Stanford University
- bMetamathematics Unit, University of Edinburgh
Looking for the full paper…
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
Abstract
No abstract is available from our sources. Use “Read paper” to view it.
TL;DRThe formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise. (Semantic Scholar)