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

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

John McCarthy

Дата рождения

4 сентября 1927 года

Место рождения

Бостон, США

Дата смерти

24 октября 2011 года

Место смерти

Станфорд, США

Научный руководитель

Соломон Лефшец

учёный

Джон Маккарти (англ. John McCarthy) — американский информатик, автор термина «искусственный интеллект», изобретатель языка программирования Лисп, основоположник функционального программирования.

Научная карьера

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

Рано увлёкся математикой.

В 1948 году получил степень бакалавра математики в Калифорнийском технологическом институте.

В 1951 году получил степень доктора философии по математике в Принстоне.

После кратковременных должностей в Принстонском и Стэнфордском университетах, Дартмутском колледже и Массачусетском технологическом институте.

В 1962−2000 годах — профессор в Стэнфордском университете.

В 1955 году ввёл термин «искусственный интеллект». Отстаивал использование математической логики для искусственного интеллекта.

В 1956 году изобрёл альфа-бета алгоритм поиска.

В 1958 году предложил систему «принятия советов», которая позже вдохновила работы по ответам на запросы и логическому программированию, а также изобрёл язык программирования Лисп, описание которого опубликовал в апреле 1960 года в журнале Communications of the ACM.

В 1959 году создал одну из первых в мире шахматных программ.

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

Награды: Стипендия Слоуна (1957−1959), Премия Тьюринга (1971), Пионер компьютерной техники (1985), Премия Киото (1988), Национальная научная медаль США (1990) и Медаль Бенджамина Франклина (2003).

Был женат три раза.

Умер 24 октября 2011 года в Станфорде, штат Калифорния.

Труды

• McCarthy, J. 1959. «Programs with Common Sense» at the Wayback Machine (archived October 4, 2013). 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» at the Wayback Machine (archived October 4, 2013). 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, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence at the Wayback Machine (archived August 25, 2013). 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.