مشاوره مدیریت کسب و کار

پـــدر هـــوش مصنـــوعی

پروفسور جان مک کارتی و دستاوردهایش

پروفسور جان مک کارتی "John McCarthy" در 24 سپتامبر سال 1927 در بوستن ایالت ماساچوست آمریکا متولد شد. پدر وی یک ایرلندی و مادی یهودی اهل لیتوانی داشت. پدر وی در دوران رکود اقتصادی آمریکا کارگر تولیدی لباس کار بود.

مک کارتی فردی فوق العاده باهوش بود. استعداد وی در ریاضیات باعث شد 2 سال زودتر از مدرسه عالی بلمونت فارق التحصیل شود. او دو سال در موسسه تکنولژی کالیفرنیا (Caltech) ریاضیات خواند، سپس از آنجا اخراج شد و به ارتش پیوست و مجدداً تحصیلات خود را در رشته ریاضیات در (Caltech) ادامه داد و در نهایت در سال 1951 موفق به اخذ مدرک دکتری ریاضیات از دانشگاه پرینستون گردید.

مک کارتی 3 بار ازدواج کرده که همسر دوم وی بنام ورا واتسون یک تور لیدر کوه نورد بوده که در سال 1978 فوت می نماید و ازدواج بعدی وی با کارولین تالکوت بوده که وی یک دانشمند کامپیوتر و استاد دانشگاه استنفورد است.

وی در سال 1962 در دانشگاه MIT استاد شد و تا بازنشستگی خود در سال 2000 در همان دانشگاه مشغول تدریس بود. وی همواره با دانشجویان خود صمیمی بود به قدی که آنها را عموجان صدا می کرد.

مک کارتی بیشتر با تئوری منطق ریاضیات و هوش مصنوعی خود معروف و شناخته شده می باشد. وی در سال 1956 نخستن کنفرانس هوش مصنوعی را برپا نمود. او در سال 1959 اصطلاح garbage collection را اختراع نموده و پس از آن بر اساس حساب لیسپ (Lisp) زبان برنامه نویسی جدیدی را ارائه نمود. وی در جشن یکصدمین سالگرد دانشگاه MIT برای اولین بار تئوری به اشتراک گذاشتن اطلاعات و حل مسائل از طریق کامیوتر را مطرح نمود. مک کارتی را میتوان اولین دانشمند به وجود آورنده اینترنت دانست. او همواره هدف پیشرفت مادی انسان را مدنظر داشت و انسانی جدی، اهل مطالعه و طرفدار آزادی بیان بود.

دکتر مک کارتی که نامش با هوش مصنوعی، لیسپ، حساب دیفرانسیل و انتگرال بر سر زبانهاست در 24 اکتبر سال 2011 در سن 84 سالگی در استنفورد کالیفرنیا در آمریکا درگذشت.

تعدادی از جوایز دریافتی دکتر مک کارتی

·        جایزه تورینگ از انجمن رایانه ماشین آلات (1971)

·        جایزه کیوتو (1988)

·        مدال ملی علوم (آمریکا) در علوم ریاضی، آماری و محاسباتی (1990)

·        تاریخ کامپیوتر به عنوان همکار موزه (1999)

·        بنجامین فرانکلین مدال در کامپیوتر و علوم شناختی را از موسسه فرانکلین (2003)

·        سیستم های هوشمند IEEE (2011)

کتاب ها و نشریات دکتر مک کارتی

• 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.

با یاری یزدان

رضا زاغری تفرشی

خرداد 1391