The Department of Computer Science is saddened to report that Emeritus Professor John McCarthy died on October 24, 2011 at age 84. John was one of the founders of artificial intelligence (AI), coining that name in 1955. From that time until his death he made foundational contributions both to AI and to computer science in general. In a famous 1958 paper and subsequent memos, he proposed (and thereafter strongly held) that the knowledge needed by AI programs should be represented in declarative sentences (principally in a logical language) rather than being encoded within the programs that use that knowledge. As he put it, “Sentences can be true in much wider contexts than specific programs can be useful.”
John’s work on AI systems that could reason with declarative knowledge inspired a legion of researchers who, along with John, advanced this approach to AI and produced many practical applications of it. Realizing some of the difficulties of getting logical systems to...
read more