next up previous
Next: The Logic-AI Marriage

Logic and Artificial Intelligence:
Divorced, Still Married, Separated ...?

Selmer Bringsjord
Dept. of Philosophy, Psychology & Cognitive Science
Department of Computer Science
Rensselaer Polytechnic Institute (RPI)
Troy NY 12180 USA tex2html_wrap_inline769 tex2html_wrap_inline771 brings
David A. Ferrucci
IBM T.J. Watson Research Center
Yorktown Heights NY USA


Though it's difficult to agree on the exact date of their union, logic and artificial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily united. What connubial permutation do logic and AI find themselves in now? Are they still (happily) married? Are they divorced? Or are they only separated, both still keeping alive the promise of a future in which the old magic is rekindled? This paper is an attempt to answer these questions via a review of six books. Encapsulated, our answer is that (i) logic and AI, despite tabloidish reports to the contrary, still enjoy matrimonial bliss, and (ii) only their future robotic offspring (as opposed to the children of connectionist AI) will mark real progress in the attempt to understand cognition.

Selmer Bringsjord
Mon Nov 17 14:57:06 EST 1997