Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

У Вікіпедії є статті про інших людей із прізвищем Маккарті Джон Маккарті англ John McCarthy 4 серпня 1927 року Бостон СШ

Джон МакКарті

Джон МакКарті
У Вікіпедії є статті про інших людей із прізвищем Маккарті.

Джон Маккарті (англ. John McCarthy; 4 серпня 1927 року, Бостон, США — 24 жовтня 2011, Стенфорд) — американський інформатик та дослідник мислення, який вважається винахідником терміну «Штучний інтелект», який він вжив у своїх пропозиціях 1955 року до конференції в Дартмуті 1956, винахідник мови LISP. Лауреат премії Тюрінга у 1971 за свій значний внесок в галузі штучного інтелекту. Називав себе атеїстом («я вірю у Бога, як у вовкулаку. До речі, я атеїст.»)

Джон Маккарті
John McCarthy
image
Народився4 серпня 1927(1927-08-04)
Бостон, Масачусетс, США
Помер24 жовтня 2011(2011-10-24) (84 роки)
Стенфорд, Санта-Клара, Каліфорнія, США[1]
·інфаркт міокарда[2]
Країнаimage США[1]
Діяльністьматематик, інформатик, інженер, викладач університету, дослідник штучного інтелекту
Alma materКаліфорнійський технологічний інститут (1948)[1]
Принстонський університет (1951)[1]
d
ГалузьІнформатика
ЗакладМассачусетський технологічний інститут; Стенфордський університет; Дартмутський коледж; Принстонський університет
Науковий керівникСоломон Лефшец
ВчителіСоломон Лефшец
Аспіранти, докторантиРадж Редді
d
Барбара Лісков
Ружена Байчі
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
d[3]
Ханс Моравек[3]
ЧленствоНаціональна академія наук США
Американська академія мистецтв і наук
Асоціація з розвитку штучного інтелекту
Association for Computing Machinery[4]
AAAS[5]
Матиd
Нагороди
Особ. сторінкаwww-formal.stanford.edu/jmc//
image Джон Маккарті у Вікісховищі

Раннє життя та освіта

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

Маккарті виявив ранню схильність до математики. В юності він вивчив математику за підручниками, що використовувались у розташованому по сусідству Каліфорнійському технологічниму інституті (Caltech). В результаті, коли його прийняли до інституту наступного року, він зміг пропустити перші два роки курсів математики.

Отримавши B.S. з математики у 1948, Маккарті спочатку продовжив своє навчання в Caltech. Він отримав Ph.D. з математики від Принстонського університету у 1951 під керівництвом Соломона Лефшеца.

Маккарті був одружений з Верою Ватсон — програмісткою та альпіністкою, яка зникла під час спроби сходження на Аннапурна I.

Кар'єра в інформатиці

Після короткотермінових призначень у Принстоні, Стенфорді, Дартмут та MIT, він почав працювати професором у Стенфорді у 1962, де й залишався аж до 2000. Зараз він професор-емерит.

Маккарті вперше використав математичну логіку в штучному інтелекті. В 1958 він запропонував [en], який надихнув пізніші роботи над питаннями-відповідями та логічним програмуванням. Базуючись на лямбда-численні, Lisp швидко став мовою програмування номер один у галузі штучного інтелекту після його публікації в 1960. Він надихнув на створення проекту MAC в MIT, але залишив MIT заради Стенфордського університету у 1962, де допоміг заснувати Стенфордську лабораторію штучного інтелекту, яка протягом багатьох років залишалась дружнім суперником проекту MAC.

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

Від 1978 до 1986 Маккарті розробляв метод [en] у немонотонній логіці.

1982 року, схоже, саме в нього виникла ідея космічного фонтану, яку потім розглянув .

Маккарті часто коментує світові проблеми на форумах Usenet. Деякі з його ідей можна знайти на його вебсторінці, яка «має на меті показати, що матеріальний прогрес людства бажаний і стійкий»Progress and its sustainability [ 4 жовтня 2013 у Wayback Machine.].

В його оповіданні 2001 року Робот і немовля [ 6 грудня 2010 у Wayback Machine.] висвітлено проблему, чи повинні роботи мати (або імітувати) емоції, та передбачувані аспекти інтернет-культури і соціальних мереж, які проявились у наступні десятиліття.

Основні публікації

  • McCarthy, J. 1959. Programs with Common Sense [ 4 жовтня 2013 у Wayback Machine.]. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
  • McCarthy, J. 1960. . 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 [ 11 жовтня 2013 у Wayback Machine.]. 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. 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.

Див. також

Виноски

  1. http://amturing.acm.org/award_winners/mccarthy_0239596.cfm
  2. https://www.latimes.com/nation/la-xpm-2011-oct-27-la-me-john-mccarthy-20111027-story.html
  3. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  4. https://awards.acm.org/fellows/award-recipients
  5. NNDB — 2002.
    d:Track:Q1373513
  6. [1] [ 4 жовтня 2013 у Wayback Machine.][2] [ 21 листопада 2005 у Wayback Machine.]By the way I'm an atheist. (McCarthy John. March 7, 2003)
  7. Hayes, Patrick J.; Leora Morgenstern (2007). . AI Magazine. Association for the Advancement of Artificial Intelligence. 28 (4): 93—102. Архів оригіналу за 23 вересня 2011. Процитовано 24 листопада 2010.
  8. McCarthy, John. Recursive Functions of Symbolic Expressions and Their Computation by Machine. CACM. 3 (4): 184—195.
  9. Розміщено в Usenet у sci.space.tech 1 серпня 1994

Посилання

  • .
  • Маккарті в The Mathematics Genealogy Project [ 9 червня 2010 у Wayback Machine.]
  • Інтерв'ю з Гаєм Стілом (Guy Steele) [ 15 листопада 2010 у Wayback Machine.] проведене OOPSLA 2008
Різні інтерв'ю
  • Усне інтерв'ю з Джоном Маккарті [ 6 лютого 2007 у Wayback Machine.] в [en], Університет Міннесоти, Міннеаполіс. Маккарті обговорює свою роль у розвитку розподілу часу в Массачусетському технологічному інституті. Він також описує свою роботу в галузі штучного інтелекту (ШІ), що фінансується Агентством передових дослідницьких проєктів, зокрема ШІ на основі логіки (LISP) та робототехніку.
  • Усне інтерв'ю з Марвіном Мінскі [ 6 лютого 2007 у Wayback Machine.] в . Мінскі описує дослідження штучного інтелекту (ШІ) у Массачусетському технологічному інституті, зокрема роботи Джона Маккарті.
  • Усне інтерв'ю з ДЖеком Денісом [ 5 березня 2002 у Wayback Machine.] у . Денніс обговорює роботу Джона Маккарті щодо розподілу часу та вплив Управління техніки обробки інформації DARPA на розвиток розподілу часу.
  • Усне інтерв'ю з Фернандо Корбато [ 25 січня 2007 у Wayback Machine.] в . Корбато обговорює дослідження з інформатики, особливо щодо розподілу часу, в Массачусетському технологічному інституті (MIT), зокрема й роботи Джона Маккарті.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

U Vikipediyi ye statti pro inshih lyudej iz prizvishem Makkarti Dzhon Makkarti angl John McCarthy 4 serpnya 1927 roku Boston SShA 24 zhovtnya 2011 Stenford amerikanskij informatik ta doslidnik mislennya yakij vvazhayetsya vinahidnikom terminu Shtuchnij intelekt yakij vin vzhiv u svoyih propoziciyah 1955 roku do konferenciyi v Dartmuti 1956 vinahidnik movi LISP Laureat premiyi Tyuringa u 1971 za svij znachnij vnesok v galuzi shtuchnogo intelektu Nazivav sebe ateyistom ya viryu u Boga yak u vovkulaku Do rechi ya ateyist Dzhon MakkartiJohn McCarthyNarodivsya4 serpnya 1927 1927 08 04 Boston Masachusets SShAPomer24 zhovtnya 2011 2011 10 24 84 roki Stenford Santa Klara Kaliforniya SShA 1 infarkt miokarda 2 Krayina SShA 1 Diyalnistmatematik informatik inzhener vikladach universitetu doslidnik shtuchnogo intelektuAlma materKalifornijskij tehnologichnij institut 1948 1 Prinstonskij universitet 1951 1 dGaluzInformatikaZakladMassachusetskij tehnologichnij institut Stenfordskij universitet Dartmutskij koledzh Prinstonskij universitetNaukovij kerivnikSolomon LefshecVchiteliSolomon LefshecAspiranti doktorantiRadzh Reddi d Barbara Liskov Ruzhena Bajchi d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 d 3 Hans Moravek 3 ChlenstvoNacionalna akademiya nauk SShA Amerikanska akademiya mistectv i nauk Asociaciya z rozvitku shtuchnogo intelektu Association for Computing Machinery 4 AAAS 5 MatidNagorodipremiya Tyuringa 1971 CHM Fellow Awards d 1985 d 1988 Nagoroda Pioner komp yuternoyi galuzi 1985 d 2002 d 1990 d d 1994 Osob storinkawww formal stanford edu jmc Dzhon Makkarti u VikishovishiRannye zhittya ta osvitaDzhon Makkarti narodivsya v Bostoni 4 serpnya 1927 v sim yi dvoh emigrantiv irlandcya Dzhona Patrika ta litovskoyi yevrejki Idi Glatt Makkarti Sim ya bula vimushena chasto migruvati protyagom velikoyi depresiyi azh poki batko Makkarti ne znajshov robotu v Los Andzhelesi Makkarti viyaviv rannyu shilnist do matematiki V yunosti vin vivchiv matematiku za pidruchnikami sho vikoristovuvalis u roztashovanomu po susidstvu Kalifornijskomu tehnologichnimu instituti Caltech V rezultati koli jogo prijnyali do institutu nastupnogo roku vin zmig propustiti pershi dva roki kursiv matematiki Otrimavshi B S z matematiki u 1948 Makkarti spochatku prodovzhiv svoye navchannya v Caltech Vin otrimav Ph D z matematiki vid Prinstonskogo universitetu u 1951 pid kerivnictvom Solomona Lefsheca Makkarti buv odruzhenij z Veroyu Vatson programistkoyu ta alpinistkoyu yaka znikla pid chas sprobi shodzhennya na Annapurna I Kar yera v informaticiPislya korotkoterminovih priznachen u Prinstoni Stenfordi Dartmut ta MIT vin pochav pracyuvati profesorom u Stenfordi u 1962 de j zalishavsya azh do 2000 Zaraz vin profesor emerit Makkarti vpershe vikoristav matematichnu logiku v shtuchnomu intelekti V 1958 vin zaproponuvav en yakij nadihnuv piznishi roboti nad pitannyami vidpovidyami ta logichnim programuvannyam Bazuyuchis na lyambda chislenni Lisp shvidko stav movoyu programuvannya nomer odin u galuzi shtuchnogo intelektu pislya jogo publikaciyi v 1960 Vin nadihnuv na stvorennya proektu MAC v MIT ale zalishiv MIT zaradi Stenfordskogo universitetu u 1962 de dopomig zasnuvati Stenfordsku laboratoriyu shtuchnogo intelektu yaka protyagom bagatoh rokiv zalishalas druzhnim supernikom proektu MAC V 1961 vin buv pershim hto publichno pripustiv sho tehnologiya rozpodilu komp yuternogo chasu mozhe v majbutnomu privesti do situaciyi v yakij obchislyuvalna potuzhnist i navit programi budut prodavatis za dopomogoyu biznes modeli analogichnoyi prodazhu vodi chi elektriki Cya ideya bula duzhe populyarnoyu naprikinci 1960 ale prigasla v 70 h koli stalo yasno sho aparatne zabezpechennya ta telekomunikaciyi she ne gotovi Tim ne mensh z 2000 ideya vidrodilas v novih formah divitsya napriklad hmarni obchislennya Vid 1978 do 1986 Makkarti rozroblyav metod en u nemonotonnij logici 1982 roku shozhe same v nogo vinikla ideya kosmichnogo fontanu yaku potim rozglyanuv Makkarti chasto komentuye svitovi problemi na forumah Usenet Deyaki z jogo idej mozhna znajti na jogo vebstorinci yaka maye na meti pokazati sho materialnij progres lyudstva bazhanij i stijkij Progress and its sustainability 4 zhovtnya 2013 u Wayback Machine V jogo opovidanni 2001 roku Robot i nemovlya 6 grudnya 2010 u Wayback Machine visvitleno problemu chi povinni roboti mati abo imituvati emociyi ta peredbachuvani aspekti internet kulturi i socialnih merezh yaki proyavilis u nastupni desyatilittya Osnovni publikaciyiMcCarthy J 1959 Programs with Common Sense 4 zhovtnya 2013 u Wayback Machine In Proceedings of the Teddington Conference on the Mechanization of Thought Processes 756 91 London Her Majesty s Stationery Office McCarthy J 1960 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 11 zhovtnya 2013 u Wayback Machine 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 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 Div takozhNajskladnisha logichna zadacha en Kosmichnij fontan DostatkivstvoVinoskihttp amturing acm org award winners mccarthy 0239596 cfm https www latimes com nation la xpm 2011 oct 27 la me john mccarthy 20111027 story html Matematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipients NNDB 2002 d Track Q1373513 1 4 zhovtnya 2013 u Wayback Machine 2 21 listopada 2005 u Wayback Machine By the way I m an atheist McCarthy John March 7 2003 Hayes Patrick J Leora Morgenstern 2007 AI Magazine Association for the Advancement of Artificial Intelligence 28 4 93 102 Arhiv originalu za 23 veresnya 2011 Procitovano 24 listopada 2010 McCarthy John Recursive Functions of Symbolic Expressions and Their Computation by Machine CACM 3 4 184 195 Rozmisheno v Usenet u sci space tech 1 serpnya 1994Posilannya Makkarti v The Mathematics Genealogy Project 9 chervnya 2010 u Wayback Machine Interv yu z Gayem Stilom Guy Steele 15 listopada 2010 u Wayback Machine provedene OOPSLA 2008 Rizni interv yu Usne interv yu z Dzhonom Makkarti 6 lyutogo 2007 u Wayback Machine v en Universitet Minnesoti Minneapolis Makkarti obgovoryuye svoyu rol u rozvitku rozpodilu chasu v Massachusetskomu tehnologichnomu instituti Vin takozh opisuye svoyu robotu v galuzi shtuchnogo intelektu ShI sho finansuyetsya Agentstvom peredovih doslidnickih proyektiv zokrema ShI na osnovi logiki LISP ta robototehniku Usne interv yu z Marvinom Minski 6 lyutogo 2007 u Wayback Machine v Minski opisuye doslidzhennya shtuchnogo intelektu ShI u Massachusetskomu tehnologichnomu instituti zokrema roboti Dzhona Makkarti Usne interv yu z DZhekom Denisom 5 bereznya 2002 u Wayback Machine u Dennis obgovoryuye robotu Dzhona Makkarti shodo rozpodilu chasu ta vpliv Upravlinnya tehniki obrobki informaciyi DARPA na rozvitok rozpodilu chasu Usne interv yu z Fernando Korbato 25 sichnya 2007 u Wayback Machine v Korbato obgovoryuye doslidzhennya z informatiki osoblivo shodo rozpodilu chasu v Massachusetskomu tehnologichnomu instituti MIT zokrema j roboti Dzhona Makkarti

Дата публікації:
Топ