Jabarkan Kecerdasan Buatan dari Lisp (bahasa pemrograman)

Ada beberapa ilmuwan (termasuk Marvin Minsky, Herbert Simon, Allen Newell dan Oliver Selfridge) yang bekerja di bidang Kecerdasan Buatan. Yang membedakan karya John McCarthy dengan ilmuwan lain adalah penekanannya pada penggunaan logika matematika baik sebagai bahasa untuk mewakili pengetahuan yang harus dimiliki mesin cerdas, dan sebagai sarana untuk bertukar pikiran dengan pengetahuan itu. Penekanan pada logika matematika ini mengarah pada pengembangan pendekatan logika untuk Kecerdasan Buatan, serta pengembangan LISP bahasa komputer pada tahun 1958.

Perbedaan lain antara pendekatan John McCarthy yang lain, adalah jika pekerjaan sebelumnya di Kecerdasan Buatan telah berfokus pada mendapatkan komputer untuk mereplikasi kegiatan yang menantang bagi manusia, seperti bermain catur dan membuktikan teorema matematika. Sebaliknya, John McCarthy prihatin dengan tugas-tugas duniawi dan tampaknya sepele, seperti menyusun rencana untuk sampai ke bandara.

John McCarthy berpendapat bahwa ada aspek-aspek pikiran manusia yang dapat dideskripsikan dengan cukup tepat untuk direplikasi: "Kecepatan dan kapasitas memori komputer saat ini mungkin tidak cukup untuk mensimulasikan banyak fungsi otak manusia yang lebih tinggi," tulisnya pada tahun 1955, "Tapi kendala utama bukanlah kurangnya kapasitas mesin, tetapi ketidakmampuan kita untuk menulis program mengambil keuntungan penuh dari apa yang kita miliki."

Istilah "Artificial Intelligence" (Kecerdasan Buatan) diusulkan oleh John McCarthy pada tahun 1955, ketika ia mulai menulis (dengan Marvin Minsky, Shannon, dan Nathaniel Rochester), proposal untuk mendanai konferensi pertama yang didedikasikan untuk topik tersebut — Konferensi Dartmouth yang terkenal tentang kecerdasan buatan, yang mengambil tempat di musim panas 1956.