"Walking isn't a lost art: one must, by some means, get
to the garage."
—Evan Esar,
American Humorist (1899–1995)
McCarthy's line of research has been continued not only
by McCarthy (visit his
website), but also by Doug Lenat's
CYC project.
Pro:
Hayes, Patrick J. (1977),
"In Defence of Logic",
Proceedings of the 5th International Joint Conference on
Artificial Intelligence (IJCAI-77, MIT)
(Pittsburgh: Carnegie-Mellon University Department of Computer
Science):
559-565.
Longer version later appeared as:
Moore, Robert C. (1986), "The Role of Logic in Intelligent
Systems", in I. Benson (ed.), Intelligent Machinery:
Theory and Practice (Cambridge, UK: Cambridge University
Press).
The longer version was later reprinted as:
Moore, Robert C. (1995), "The Role of Logic in
Artificial Intelligence", in Robert C. Moore,
Logic and Representation (Stanford, CA:
CSLI Publications): 3-17.
Pro:
Israel, David J. (1983),
"The Role of Logic in Knowledge Representation",
in Special Issue on Knowledge Representation,
Computer 16(10) (October): 37-41.
A longer(?) version appeared later as:
Israel, David J. (1987), "Some Remarks on the Place
of Logic in Knowledge Representation",
in
Nick Cercone &
Gordon McCalla
(eds.), The Knowledge Frontier:
Essays in the Representation of Knowledge
(New York:
Springer-Verlag): 80-91.
For a general overview of related issues, see:
Rapaport, William J. (1992),
"Logic",
in
Stuart C.
Shapiro
(ed.),
Encyclopedia of Artificial Intelligence, 2nd edition
(New York:
John Wiley): 851-853.