Джон Маккарти

Джон Маккарти
John McCarthy
Родился	4 августа 1927 ( 19270804 ) Бостон, Массачусетс, США
Умер	24 октября 2011 (84 года)
Область научных интересов	Информатика
Заведение	Массачусетский технологический институт; Стэнфордский университет; Дартмутский колледж; Принстонский университет
Научный руководитель	Solomon Lefschetz
Награды	Премия Тьюринга, Национальная научная медаль США

Джон Маккарти ( англ. John McCarthy ; 4 августа 1927 года, Бостон, США - 24 октября 2011, Стэнфорд) - американский информатик и исследователь мышления, который считается изобретателем термина " Искусственный интеллект ", который он употребил в своих предложениях 1955 года к конференции в Дартмуте 1956, изобретатель языка LISP. Лауреат премию Тьюринга в 1971 за свой ​​значительный вклад в области искусственного интеллекта.

1. Раннее жизни и образование

Джон Маккарти родился в Бостоне 4 августа 1927, в семье двух эмигрантов, ирландца Джона Патрика и литовской еврейки Иди Глатт Маккарти. Семья была вынуждена часто мигрировать течение великой депрессии, пока отец Маккарти не нашел работу в Лос-Анджелесе.

Маккарти обнаружил раннюю склонность к математике. В юности он изучил математику по учебникам, которые использовались Калифорнийским технологическим институтом (Caltech), который находился по соседству. В результате, когда его приняли в Caltech следующем году, он смог пропустить первые два года курсов математики. ^[1]

Получив BS по математике в 1948, Маккарти сначала продолжил свое обучение в Caltech. Он получил Ph.D. по математике от Принстонского университета в 1951 под руководством Соломона Лефшеца.

Маккарти был женат на Вере Ватсон - програмистци и альпинистци, которая исчезла во время пробы восхождение на Annapurna I.

2. Карьера в компьютерных науках

После краткосрочных назначений в Принстоне, Стэнфорде, Дартмут и MIT, он начал работать профессором в Стэнфорде в 1962, где и оставался до 2000. Сейчас он professor emeritus.

Маккарти впервые использовал математическую логику в искусственном интеллекте. В 1958 он предложил advice taker, который вдохновил поздние работы над вопросами-ответами и логическим программированием. Основываясь на лямбда многочисленные, Lisp быстро стал языком программирования номер один в области искусственного интеллекта после его публикации в 1960. ^[2] Он вдохновил на создание проекта MAC в MIT, но оставил MIT ради Стэнфордского университета в 1962, где помог основать Стэнфордского лаболатория искусственного интеллекта, которая в течение многих лет оставалась дружественным соперником проекта MAC.

В 1961 он был первым, кто публично предположил, что технология распределения компьютерного времени может в будущем привести к ситуации, в которой вычислительная мощность и даже программы будут продаваться с помощью бизнес-модели, аналогичной продаже воды или электричества. Эта идея была очень популярной в конце 1960, но угас в 70-х, когда стало ясно, что оборудование и телекоммуникации еще не готовы. Тем не менее, с 2000 идея возродилась в новых формах (см. например облачные вычисления).

3. Основные публикации

• McCarthy, J. 1959. Programs with Common Sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
• McCarthy, J. 1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3 (4) :184-195.
• McCarthy, J. 1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland.
• McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
• McCarthy, J., and Hayes, PJ 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
• McCarthy, J. 1977. Epistemological problems of artificial intelligence. In IJCAI, 1038-1044.
• McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13 (1-2) :23-79.
• McCarthy, J. 1986. Applications of circumscription to common sense reasoning. Artificial Intelligence 28 (1) :89-116.
• McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., Formalizing Common Sense. Ablex. 226-236.
• McCarthy, J. 1993. Notes on formalizing context. In IJCAI, 555-562.
• McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
• McCarthy, J. 1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning, Commonsense-1998.
• Costello, T., and McCarthy, J. 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3 (A) :51-76
• McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.

4. Сноски