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

Материал из Циклопедии
Перейти к навигации Перейти к поиску

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

John McCarthy
2-4a.stanford university.mccarthy-john.c1967.l062302006.stanford university.src.jpg
Дата рождения
4 сентября 1927 года
Место рождения
Бостон, США
Дата смерти
24 октября 2011 года
Место смерти
Станфорд, США






Научный руководитель
Соломон Лефшец




48-John-McCarthy-AP.jpg

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

Научная карьера[править]

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

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

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

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

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

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

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

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

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

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

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

Награды: Стипендия Слоуна (19571959), Премия Тьюринга (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.

Источники[править]

 
Предшественники

Ибрагим ЗаркалиИзраиль ШтафельЕвно ЯкобсонАвраам ШтернХаим СлонимскийГирш ИоффеАмеде МангеймКурт ХерцштаркЭмануэль ГольдбергСтанислав УламЭмиль ПостРальф Бенджамин

Компьютерные учёные

Джон НейманМакс НьюманТерри ВиноградГ. ЛукоффХэл АбельсонФил КацДжеф РаскинУриэль ФейгеАмос ФиатДавид ХарельНир ШавитС. ВольфрамЛи МинскийЭд ФейгенбаумЭндрю ВитербиМ. БлюмР. ФаноАдель ГолдбергР. ФинкельА. СпилбергД.С. СлотникХайн ГолдстайнАдель КацАза РаскинИда РоудсРичард КарпД. Коэн-ОрДжон КемениРэй КурцвейлЛ.А. ЛевинДжон МаккартиС. ПейпертАлан ПерлисЛоренс РабинерФрэнк РозенблаттД. ГерберДжефф УльманД. ВейценбаумДжуда ПерлБарбара ЛисковФред КоэнМайкл ЛаорД. ЭстринТельма ЭстринДебора ЭстринЭхуд ШапироЮваль ЭловициА.А. БрудноМайкл РабинЗ.Л. РабиновичВ.И. ЛевенштейнГ.Л. ЛившинБ.М. КаганБ.Я. КаганА.С. КронродА.А. ФельдбаумИ.В. БергИ.С. БрукА.Б. ЗалкиндГ.М. АдельсонА.Ф. ИоффеУ. КэхэнАмир ПнуэлиВольф ГоломбЛи ФельзенштейнС. МэйзорМули ИденОрен ПаташникРон ПинтерПитер ЭлиасЭрих БлохВ.Н. ВапникА.Я. ЧервоненкисИ.Ц. ГальперинГили РаананАрье ФайнгольдА. ФренкельЙорам МозесХагит АтияШломо МоранАви ВигдерсонДорит АароновУди МанберА. БродерЗеев СураскиДафна КоллерИлан ШпилингерЖан ИшбиаБоаз ЭйтанЮдит ЭстринДади ПерлмуттерЯэль ВиллаЭд КэхэнБ.Г. КацС. ОвшинскиМ.П. ГальперинН.Е. КобринскийА.Е. КобринскийИрвин ЯкобсМоше ЛихтманШломит ВайсЙорам ЯакобиЭндрю ТаненбаумДжошуа БлохДин ХачамовичАнна КарлинЕ.Л. РошалЯн РайхманИ.Я. АкушскийЕ.А. ЛиберманИтан ЦукерманВ.Л. АрлазаровЛ.С. БерштейнМарк АдлерВ.А. СойферКен СильверманМони НаорСинтия ДворкОмер РейнгольдБрэм КоэнОдед РегевР. ФейгинНоам НисанДани ДолевНати ЛинеалА.М. ГореликР. МореноБ. СильверН. ВудландИ. БерезинПол ЭйслерН. АбрамсонВ. БухгольцДжо КейтсД. СассманВ.С. ЧернявскийЛасло КозмаЛарри ТеслерДжек ШварцВ.И. ШтейнбергИдо КантерРассел КиршКлара Нейман

Кибернетики

Норберт ВинерХейнц фон ФёрстерМ.А. АйзерманН.А. БернштейнЭ.М. БраверманВ.И. ВаршавскийБен ГерцельЛ.И. ГутенмахерВ.К. ЛевинМ.Б. ЛейтманАвраам ЛемпельА.Я. ЛернерС.Б. ПогребинскийАртуро РозенблютГерберт СаймонБ.А. ТрахтенбротМ.Л. ЦетлинЯ.З. ЦыпкинБ.Л. ШмульянЮ.А. Шрейдер

Робототехника

Ружена БайчиХанс БарухЙохан БоренштейнИгорь ВернерКен ГолдбергДавид ЗаррукДин КейменИ.М. МакаровВиктор ШейнманСарит КраусХод ЛипсонЯн БернстайнГил ВайнбергДжефф ЛиберманДжером ЛемельсонВ.С. Гурфинкель

Криптографы

Лен АдлеманДэниел БернстейнАлекс БирюковИрвинг ГудСоломон КульбакАбрахам СинковУильям ФридманМартин ХеллманАди ШамирБрюс ШнайерДэн БонехЭли БихамШафи Гольдвассер

Интернет

Пол БэранВинт СерфРадья ПерлманБоб КанЛео КлейнрокДэнни КоэнРичард СтоллманАарон ШварцКарл МаламудД. ЛаньеДж. ЭпплбаумМ. ВербицкийДжош КопельманП. КирстейнИда ГольцДмитрий Хомак

Предприниматели

Сергей БринЛарри ПейджСтив БалмерСьюзен ВожицкиШерил СэндбергМарк ЦукербергЭдуардо СаверинДастин МосковицТрэвис Каланик Сафра КацЛарри ЭллисонВ.М. МирилашвилиЭнди ГутмансАмнон ШашуаОрен ЭциониФилипп КанЯн КумМакс ЛевчинРид ХоффманКен ЛевинБен ХоровицЮджин КлейнерАртур ЛевинсонЛирон ШапираУэнделл БраунЭнди ГроувРонен ШилоЭлдад МатитяуАврам МиллерМарк ПинкусБоб РозеншейнЭнди РубинДжон РубинштейнМайкл РубинЛиор РонТомер КаганЛеон БагритЭд ЗандерМарк БениоффМайкл ДеллО.П. ФирерКен ГольдманДэвид ХиндавиАлон КоэнКамилло ОливеттиГилад РабиновичЭрик ЛефкофскиСэнди ЛернерАарон ЛевиеЭдвин ЛэндДани ЛевинТальмон МаркоИгорь МагазинникЮ.Б. МильнерАлан ШугарМайкл МорхеймКрейг НьюмаркРут ПоратБрайан РобертсГенри СамуэлиДжоэл СпольскиАлан ТрефлерД. РозенштайнДэн РозенцвейгЭнн ВожицкиДжефф ВейнерЛев ЛевиевТедди СагиОрна БерриБ. ГордонДжек ТрэмелКира РадинскиДэн БриклинИ.В. СегаловичА.Б. НосикФеликс ЗандманБени АлагемД. ХоффманРальф БаерЭд ФредкинЭрик БенамуМаксин ФассбергДейв ГолдбергГил ШведРоберт АльтманДжефф СколлСтив ШирлиЛ.Б. БогуславскийЯкоб ГолдманМайкл КоганЭнди ХерцфельдНир ЗукМарн ЛевинКоби АлександерБоаз МишолиЭндрю МэйсонЛ.И. ВайнбергЗоар ЗисапельАарон АаронЯнив ГартиУри ЛевинНил ДракманИцик КиршенбаумДжейсон РубинДов МоранЙосси МатиасДжек ФридманЙоэль МаарекМитч КапорД. СтопплменДжордан МекнерДжастин ФранкельДжонатан АбрамсД. ХомакШон РэдДов ФроманЕ.И. БунинаСтив ПерлманБратья БухманыМендель РозенблюмЖерар ФилипсСэм АльтманЭнди ДжессиРэнди Цукерберг

Компании США

AlphabetGoogleDellPackard BellQuixeyFacebookWhatsAppPalo Alto NetworksYouTube

Израильские компании

Elbit SystemsEx Libris GroupCeragon NetworksComsec ConsultingCheck PointElronEZchip SemiconductorAnobitAlvarionAudioCodesBATMChip PC TechnologiesCybereasonM-SystemsWaze MobileMellanoxMirabilisNice SystemsAlgoSecAmdocsComverseQumranetInfinidatCimatronRadwareLucid LogixEmblaze MobileCyberArkSikluPlariumInuitiveAllot CommunicationsMetalinkKramer ElectronicsGettWix.comVishay IntertechnologyYamarRadwinRADDataRAD GroupAITECRamon ChipsSightfulGilat Satellite NetworksRoboteam

Иностранные компании в Израиле

Intel в ИзраилеMicrosoft в ИзраилеApple в ИзраилеIBM в ИзраилеMotorola в ИзраилеHewlett-Packard в ИзраилеGoogle IsraelAT&T в ИзраилеCisco в ИзраилеeBay в ИзраилеAmazon в ИзраилеPalo Alto в ИзраилеDell в ИзраилеToshiba в ИзраилеSamsung в ИзраилеAlibaba в ИзраилеElectronic Arts в ИзраилеFacebook в ИзраилеAlcatel в ИзраилеEMC в ИзраилеARM в ИзраилеNvidia в ИзраилеYahoo в ИзраилеSalesforce в ИзраилеProofpoint в ИзраилеКасперский в ИзраилеЯндекс в Израиле

Израильские технологии

Израильская кремниевая долинаКибервойны ИзраиляВирусы и антивирусыДНК-компьютерWEIZACDiskOnKey/USB-флеш-накопительУчастие Израиля в создании Firewalli8088Kinect«Микромышь»EPROMRPDA-57Changhong H2SolarinAny.doProcess SimulateTecnomatixClarizenBabylonICQJuniorKali LinuxCeedoooVooMobliMoovitMeerkatViberWiPeerWazeYoSkylakeKaby Lake RefreshEnLigth256GrippityGoogle DuplexTDMoIPPentium MDebaterCentrinoModu TPentium DKaby LakeSandy BridgeTap SystemsIce LakeNervana NNP-1Робототехника Израиляизраильский автономный навигатор для пехотинцевСлайдтроникаБоевые роботы ИзраиляWeizQC