جون مكارثي (عالم حاسوب)

جون مكارثي
John McCarthy
John McCarthy Stanford.jpg
جون مكارثي في مؤتمر عام 2006
وُلِدَ4 سبتمبر 1927
توفي23 أكتوبر 2011
ستانفورد، كاليفورنيا، الولايات المتحدة
الجنسيةأمريكي
المدرسة الأمجامعة پرنستون؛ معهد كاليفورنيا للتكنولوجيا
اللقبالذكاء الاصطناعي؛ لغة ليسپ؛ Circumscription; Situation calculus
الجوائزجائزة تورنگ (1971)
جائزة كيوتو (1988)
الوسام الوطني للعلوم (1991)
وسام بنيامين فرانكلين (2003)
السيرة العلمية
المجالاتتكنولوجيا الحاسوب
الهيئاتجامعة ستانفورد؛ معهد مساتشوستس للتكنولوجيا؛ كلية دارتموث؛ جامعة پرنستون
المشرف على الدكتوراهSolomon Lefschetz
طلاب الدكتوراهروزينا بايشي
راندال ديڤس
Cordell Green
باربرا لسكوڤ
روبرت مور
Francis Morris
راج ردي
Donald Kaplan

جون مكارثي (4 سبتمبر، 1927 – 24 أكتوبر 2011)[2][3][4][5][6] هو عالم حاسوب وعالم معرفي أمريكي حاصل على جائزة تورينگ في عام 1971 لاسهاماته البارزة في مجال الذكاء الاصطناعي. وهو أول من أطلق مصطلح "الذكاء الاصطناعي" في مقترحه الذي قدمه من عام 1955-1956 بمؤتمر دارتماوث وهو مخترع لغة ليسپ للبرمجة.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

حياته الشخصية

مكارثي، في أوائل الثمانينيات.

ولد جون مكارثي في بوسطن، مساتشوستس في 4 سبتمبر 1927 لأب أيرلندي وأم يهودية مهاجرة من ليتوانيا، [7] هما جون پاتريك وإيدا گلات مكارثي. بسبب أزمة الكساد الكبير اضطرت العائلة إلى التنقل المستمر، حتى حصل مكارثي الأبد عملات في لوس أنجلس، كاليفورنيا.

وظهر النبوغ المبكر على جون مكارثي حيث حصل على شهادته الثانوية من تمدرسة بلمونت الثانوية قبل عامين من أقرانه.[8]وأظهر مكارثي تفوقا ملحوظا في الرياضيات؛ حيث كان يتعلم الرياضيات بنفسه عن طريق دراسة الكتب التي تدرس في معهد كاليفورنيا للتكنولوجيا. ونتيجة لذلك، عندما تم قبوله في المعهد في عام 1944، كانت لديه القدرة على اجتياز سنتا الدراسة التمهيدية في الرياضيات.[9]

طُرد مكارثي من معهد كاليفورنيا لعدم حضوره محاضرات الفيزياء؛ ثم التحق بعدها بالجيش الأمريكي ثم قُبل مرة أخرى في معهد كاليفورنيا، حيث حصل على بكالوريوس الرياضيات في عام 1948. وكان مكارثي يحضر محاضرات جون ڤون نيومان الذي كان له تأثيرا كبيرا على حياته العلمية فيما بعد. واستمر مكارثي في الدراسة بمعهد كاليفورنيا، ثم حصل على الدكتوراة في الرياضيات من جامعة پرنيستون في عام 1951 تحت اشراف Solomon Lefschetz.

تزوج مكارثي ثلاث مرات. زوجته الثانية ڤرا واطسون، مبرمجة ومتسلقة جبال توفيت في عام 1978 أثناء محاولتها تسلق جبل أناپورا. ثم تزوج من كارولين تالكوت، عالمة حاسوب في ستانفورد ثم معهد أبحاث ستنافورد الدولي.[10][11]


عمله في علوم الحاسوب

بعد فترة من عمله في جامعات پرنستون، ستانفورد، دارتماوث ومعهد مساتشوستس للتكنولوجيا، أصبح أستاذا بجامعة ستانفورد في عام 1962، حتى تقاعده في نهاية عام 2000. منذ بداية عمله في معهد مساتشوستس للتكنولوجيا حتى تقاعده كان يطلق عليه اسم "العم جون".[12]

McCarthy championed المنطق الرياضي من أجل الذاكاء الصناعي. في عام 1956، نظم أول مؤتمر دولي حول الذكاء الصناعي. وكان من بين الحضور مارڤن مينسكي، الذي أصبح فيما بعد، أحد المنظرين الرائدين في هذا المجال، وعمل مع مكارثي في معهد مساتشوستس عام 1959.[13]في نهاية عام 1956، أصبح مكارثي زميل باحث في معهد مساتشوستس. في عام 1958، he proposed the advice taker, which inspired later work on question-answering and برمجة منطقةي. في عام 1959، قام باختراع garbage collection لحل مشكلات لغة ليسپ.[14][15] اعتمادا على lambda calculus، سرعان من أصبحت لغة ليسپ، هي اللغة المستخدمة في تطبيقات AI بعد نشرها في عام 1960.[16] ساعد مكارثي في تأسيس مشروع ماك في معهد مساتشوستس للتكنولوجيا، لكنه انتقل في عام 1962 إلى جامعة ستانفورد، حيث ساعد في تجهيز معمل ستانفورد AI ، الذي كان منافسا لمشروع ماك لعدة سنوات.

في عام 1961، كان أول من يطرح على العامة (في خطبة ألقاها بمناسبة الذكرى المئوية لانشاء معهد مساتشوستس)، احتمالية أن تؤدي تكنولوجيا اقتسام الوقت في الحاسوب إلى مستقبل يمكن أن تباع فيه قدرات وتطبيقات الحاسوب تجاريا مثل الطاقة الكهربية والمائية. وكانت فكرة فوائد المعلومات أو الحاسوب شائعة جدا في نهائية الستينيات، لكنها سرعان ما تلاشت في أواسط التسعينيات. ومع ذلك، في عام 2000 ظهرت الفكرة مرة أخرى بأشكال جديدة (انظر موفر خدمة التطبيق، شبكة الحوسبة، وسحابة الحوسبة.)


In 1966, McCarthy and his team at Stanford wrote a computer program used to play a series of chess games with counterparts in the الاتحاد السوڤيتي; McCarthy's team lost two games and tied two games.

From 1978 to 1986, McCarthy developed the circumscription method of non-monotonic reasoning.

McCarthy is also credited with developing an early form of time-sharing. His colleague Lester Earnest told the Los Angeles Times: "The Internet would not have happened nearly as soon as it did except for the fact that John initiated the development of time-sharing systems. We keep inventing new names for time-sharing. It came to be called servers.… Now we call it cloud computing. That is still just time-sharing. John started it."[17]


In 1982 he appears to have originated the idea of the space fountain, a form of "space elevator", which was further examined by Roderick Hyde.[18]

McCarthy often commented on world affairs on the Usenet forums. Some of his ideas can be found in his sustainability Web page,[19] which is "aimed at showing that human material progress is desirable and sustainable".

His 2001 short story "The Robot and the Baby"[20] lightheartedly explored the question of whether robots should have (or simulate having) emotions, and anticipated aspects of Internet culture and social networking that became more prominent in the ensuing decade.[21]

جوائز وتكريمات

منشورات بارزة

  • 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, P. J. 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.

انظر ايضا

المصادر

  1. ^ McCarthy, John (2007-03-07). "Commentary on World, US, and scientific affairs". Retrieved 2008-02-01. By the way I'm an atheist.
  2. ^ Miller, Stephen (October 26, 2011). "McCarthy, a Founder of Artificial Intelligence, Dies at 84". Wall Street Journal. Retrieved 26 October 2011.
  3. ^ Myers, Andrew (October 25, 2011). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University News. Retrieved 26 October 2011.
  4. ^ Biggs, John (October 24, 2011). "Creator Of Lisp, John McCarthy, Dead At 84". TechCrunch.
  5. ^ Cifaldi, Frank (October 24, 2011). "Artificial Intelligence Pioneer John McCarthy Dies". گاماسوترا.
  6. ^ Thomson, Iain (24 October 2011). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco.
  7. ^ Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists, Dennis Shasha and Cathy Lazere, Springer 1998.
  8. ^ John McCarthy dies at 84; the father of artificial intelligence, Los Angeles Times on-line, October 27, 2011
  9. ^ Hayes, Patrick J. (2007). "On John McCarthy's 80th Birthday, in Honor of his Contributions". AI Magazine. Association for the Advancement of Artificial Intelligence. 28 (4): 93–102. Retrieved 2010-11-24. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
  10. ^ Markoff, John (October 25, 2011). "John McCarthy, 84, Dies; Computer Design Pioneer". The New York Times.
  11. ^ "Biography of Carolyn Talcott".
  12. ^ Steven Levy, Hackers, Heroes of the Computer Revolution, [[{{{publisher}}}]], [[{{{date}}}]].
  13. ^ [http://www.latimes.com/news/obituaries/la-me-john-mccarthy-20111027,0,7137805.story John McCarthy dies at 84; the father of artificial intelligence , Los Angeles Times on-line, October 27, 2011]
  14. ^ "Recursive functions of symbolic expressions and their computation by machine". Communications of the ACM. April 1960. Retrieved 2009-03-29.
  15. ^ "Recursive functions of symbolic expressions and their computation by machine, Part I". Retrieved 2009-05-29.
  16. ^ McCarthy, John (1960). "Recursive Functions of Symbolic Expressions and Their Computation by Machine". CACM. 3 (4): 184–195. doi:10.1145/367177.367199.
  17. ^ [http://www.latimes.com/news/obituaries/la-me-john-mccarthy-20111027,0,7137805.story John McCarthy dies at 84; the father of artificial intelligence , Los Angeles Times on-line, October 27, 2011]
  18. ^ McCarthy, John (August 1, 1994). "Re: SPACE BRIDGE SHORT" . Posting in Usenet newsgroup: sci.space.tech.
  19. ^ McCarthy, John (February 4, 1995). "Progress and its sustainability". formal.stanford.edu.
  20. ^ McCarthy, John (June 28, 2001). "The Robot and the Baby". formal.stanford.edu.
  21. ^ http://wordswithmeaning.org/2011/10/the-death-of-true-tech-innovators-d-ritchie-j-mccarthy-yet-the-death-of-steve-jobs-overshadows-all/
  22. ^ DOI:10.1109.2FMIS.2011.64
    This citation will be automatically completed in the next few minutes. You can jump the queue or expand by hand
  23. ^ "IEEE Computer Society Magazine Honors Artificial Intelligence Leaders". DigitalJournal.com. 24 أغسطس 2011 (2011-08-24). Retrieved 18 سبتمبر 2011 (2011-09-18). {{cite news}}: Check date values in: |accessdate= and |date= (help) Press release source: PRWeb (Vocus).

قراءات إضافية

  • Scientific Temperaments: Three Lives in Contemporary Science by Philip J. Hilts, Simon and Schuster, 1982. Lengthy profiles of John McCarthy, physicist Robert R. Wilson and geneticist Mark Ptashne.
  • Machines Who Think: a personal inquiry into the history and prospects of artificial intelligence by Pamela McCorduck, 1979, second edition 2004.
  • The Omni Interviews edited by Pamela Weintraub, New York: Ticknor and Fields, 1984. Collected interviews originally published in Omni magazine; contains an interview with McCarthy.

وصلات خارجية

Wikiquote-logo.svg اقرأ اقتباسات ذات علاقة بجون مكارثي (عالم حاسوب)، في معرفة الاقتباس.
سبقه
Lucy Suchman
وسام بنيامين فرانكلين في الحاسوب والعلوم المعرفية
2003
تبعه
Richard M. Karp