✨John McCarthy (nhà khoa học máy tính)

John McCarthy (4 tháng 9 năm 1927 - 24 tháng 10 năm 2011) là một nhà khoa học máy tính và nhà khoa học nhận thức người Mỹ. McCarthy là một trong những người sáng lập ra bộ môn trí tuệ nhân tạo. Ông đặt ra thuật ngữ " trí tuệ nhân tạo " (AI), phát triển họ ngôn ngữ lập trình Lisp, ngôn ngữ này ảnh hưởng đáng kể đến việc thiết kế ngôn ngữ lập trình ALGOL, chia sẻ thời gian và có ảnh hưởng rất lớn trong sự phát triển ban đầu của AI.

McCarthy dành phần lớn sự nghiệp của mình tại Đại học Stanford. Ông đã nhận được nhiều giải thưởng và danh dự, như Giải thưởng Turing cho những đóng góp của ông cho chủ đề AI năm 1971, Huân chương Khoa học Quốc gia Hoa Kỳ năm 1990 và Giải thưởng Kyoto năm 1988, cùng huân chương Benjamin Franklin năm 2003.

Cuộc sống và con đường học vấn thuở ban đầu

John McCarthy được sinh ra tại Boston, Massachusetts, vào ngày 4 tháng 9 năm 1927, có cha là người nhập cư là người Ailen và mẹ là người nhập cư Do Thái gốc Litva, John Patrick và Ida Glatt McCarthy. Gia đình buộc phải di dời thường xuyên trong cuộc Đại khủng hoảng, cho đến khi cha của McCarthy tìm được công việc, làm nhà tổ chức cho Công nhân Quần áo hỗn hợp ở Los Angeles, California. Cha anh đến từ làng chài Cromane ở County Kerry, Ireland. Mẹ ông mất năm 1957.

McCarthy thông minh xuất chúng, và tốt nghiệp trường trung học Belmont sớm hai năm. McCarthy được chấp nhận vào Caltech vào năm 1944.

McCarthy cho thấy năng khiếu sớm về toán học; khi còn ở tuổi thiếu niên, ông đã tự học toán đại học bằng cách nghiên cứu các sách giáo khoa được sử dụng tại Viện Công nghệ California (Caltech) gần đó. Kết quả là ông đã có thể bỏ qua hai năm đầu tiên của học tại học toán Caltech. McCarthy đã bị đình chỉ từ Caltech vì không tham gia các khóa học giáo dục thể chất. Sau đó, ông phục vụ trong Quân đội Hoa Kỳ và được nhận lại, nhận bằng Cử nhân toán học năm 1948.

Chính tại Caltech, ông đã tham dự một bài giảng của John von Neumann chính bài giảng này đã truyền cảm hứng cho những nỗ lực của ông trong tương lai.

McCarthy khởi đầu bằng việc hoàn thành nghiên cứu sau đại học tại Caltech trước khi chuyển đến Đại học Princeton. Ông đã nhận được bằng tiến sĩ. trong toán học từ tổ chức vào năm 1951 khi còn là học sinh của Solomon Lefschetz.

Học vấn

Sau các buổi hẹn ngắn hạn tại Đại học Princeton và Stanford, McCarthy trở thành trợ lý giáo sư tại Dartmouth năm 1955.

Một năm sau, McCarthy chuyển đến MIT với tư cách là một nghiên cứu viên vào mùa thu năm 1956.

Năm 1962, McCarthy trở thành giáo sư chính thức tại Stanford, nơi ông ở lại cho đến khi nghỉ hưu năm 2000. Vào cuối những ngày đầu ở MIT, anh đã được các sinh viên của mình gọi một cách trìu mến là "Chú John".

McCarthy vô địch logic toán học cho trí tuệ nhân tạo.

Những đóng góp trong khoa học máy tính

nhỏ|McCarthy năm 2008 John McCarthy là một trong những "cha đẻ" của trí tuệ nhân tạo, cùng với Marvin Minsky, Allen Newell và Herbert A. Simon. McCarthy đã đặt ra thuật ngữ "trí tuệ nhân tạo" vào năm 1955 và tổ chức Hội nghị Dartmouth nổi tiếng vào mùa hè năm 1956. Hội nghị này đã bắt đầu AI như một lĩnh vực. (Minsky sau đó gia nhập vào nhóm nghiên cứu với McCarthy tại MIT vào năm 1959.)

Năm 1958, ông đã đề xuất người đưa ra advice taker, điều này đã truyền cảm hứng cho công việc sau này về trả lời câu hỏi và lập trình logic.

John McCarthy đã phát minh ra Lisp vào cuối những năm 1950. Dựa trên tính toán lambda, Lisp sớm trở thành ngôn ngữ lập trình được lựa chọn cho các ứng dụng AI sau khi xuất bản năm 1960.

Năm 1958, McCarthy phục vụ trong hội đồng ACM Ad hoc với nhiệm vụ là một phần của hội đồng thiết kế ALGOL 60. Vào tháng 8 năm 1959, ông đã đề xuất việc sử dụng đệ quy và các biểu thức điều kiện, nó đã trở thành một phần của ALGOL.

Khoảng năm 1959, ông đã phát minh ra phương pháp được gọi là" garbage collection " để giải quyết các vấn đề trong Lisp.

Ông đã giúp thúc đẩy việc tạo ra Project MAC tại MIT khi ông làm việc ở đó.

Tại Đại học Stanford, ông đã giúp thành lập Phòng thí nghiệm AI của Stanford, trong nhiều năm là đối thủ thiện chí của Project MAC.

Năm 1961, có lẽ ông là người đầu tiên đề xuất công khai ý tưởng về utility computing, trong bài phát biểu kỷ niệm một trăm năm của MIT: công nghệ time sharing trên máy tính có thể dẫn đến một tương lai mà sức mạnh tính toán và thậm chí các ứng dụng cụ thể có thể được bán thông qua mô hình kinh doanh utility (như kinh doanh nước hoặc điện). Ý tưởng về một máy tính hoặc tiện ích thông tin rất phổ biến vào cuối những năm 1960, nhưng đã bị phai mờ vào giữa những năm 1990. Tuy nhiên, kể từ năm 2000, ý tưởng này đã xuất hiện trở lại trong các hình thức mới (xem nhà cung cấp dịch vụ ứng dụng, điện toán lưới và điện toán đám mây).

Năm 1966, McCarthy và nhóm của ông tại Stanford đã viết một chương trình máy tính được sử dụng để chơi một loạt các trò chơi cờ vua với các đối tác ở Liên Xô; Đội của McCarthy thua hai trận và hòa hai trận (xem Kotok-McCarthy).

Từ 1978 đến 1986, McCarthy đã phát triển phương pháp cắt vòng theo lý luận không đơn điệu.

McCarthy cũng được ghi nhận với việc phát triển một hình thức chia sẻ thời gian sớm. Đồng nghiệp của ông, Lester Earnest đã nói với Thời báo Los Angeles: "Internet sẽ không đến như được mong đợi cho đến khi ông John thực hiện việc phát triển các hệ thống chia sẻ thời gian. Chúng tôi vẫn đang tiếp tục phát minh ra những khái niệm mới về chia sẻ thời gian. Nó đã được gọi là những máy chủ  . . . Bây giờ chúng tôi gọi nó là điện toán đám mây. Đó vẫn chỉ là chia sẻ thời gian. John đã bắt đầu nó. "

Các hoạt động khác

McCarthy thường bình luận về các vấn đề thế giới trên các diễn đàn Usenet. Một số ý tưởng cuảonogg có thể được tìm thấy trong trang Web bền vững của ông, "nhằm mục đích cho thấy rằng tiến trình vật chất của con người là mong muốn và bền vững". McCarthy là một người đọc sách nghiêm túc, một người lạc quan và là người ủng hộ tuyệt đối của tự do ngôn luận. Sự tương tác Usenet tốt nhất của ông có thể nhìn thấy trong kho lưu trữ rec.arts.books. Và John tích cực tham dự các bữa ăn tối ở SF Bay Area ở Palo Alto của những người đọc rab gọi là rab-fests. John tiếp tục bảo vệ những lời chỉ trích tự do liên quan đến những trò đùa dân tộc châu Âu tại Stanford.

McCarthy thấy tầm quan trọng của toán học và giáo dục toán học. Usenet.sig của ông trong nhiều năm là, "Ông là người bác bỏ khái niệm làm số học là sẽ phải chịu số phận vô nghĩa"; bìa giấy phép của anh ấy đọc, tương tự, "Làm số học hoặc cam chịu số phận vô nghĩa." Ông khuyên 30 sinh viên tốt nghiệp tiến sĩ.

2001 truyện ngắn của ông "The Robot và Baby" farcically khám phá câu hỏi liệu robot nên có (hoặc mô phỏng có) cảm xúc, và dự đoán các khía cạnh của văn hóa Internet và mạng xã hội đã trở nên ngày càng nổi bật trong thập kỷ tiếp theo.

Cuộc sống cá nhân

McCarthy đã kết hôn ba lần. Người vợ thứ hai của ông là Vera Watson, một lập trình viên và nhà leo núi đã chết vào năm 1978 khi cố gắng mở rộng quy mô Annapurna I như một phần của cuộc thám hiểm toàn nữ do Arlene Blum tổ chức. Sau đó, ông kết hôn với Carolyn Talcott, một nhà khoa học máy tính tại Stanford và sau đó là SRI International.

McCarthy coi mình là người vô thần. Lớn lên như một người Cộng sản, ông trở thành một đảng Cộng hòa bảo thủ sau chuyến thăm hai ngày tới Tiệp Khắc năm 1968 sau cuộc xâm lược của Liên Xô. McCarthy qua đời tại nhà riêng ở Stanford vào ngày 24 tháng 10 năm 2011

Triết lý về trí tuệ nhân tạo

Năm 1979 McCarthy đã viết một bài báo có tựa đề "Mô tả phẩm chất tinh thần cho máy móc". Trong đó, ông viết, "Máy đơn giản như máy điều nhiệt có thể nói là có niềm tin, và việc có niềm tin dường như là một đặc điểm của hầu hết các máy có khả năng giải quyết vấn đề." Vào năm 1980, nhà triết học John Searle đã trả lời với Luận cứ phòng nổi tiếng của Trung Quốc, việc không đồng tình với McCarthy và cho rằng máy móc không thể có niềm tin đơn giản vì họ không có ý thức (ông nói rằng máy móc thiếu "chủ ý", một thuật ngữ thường được sử dụng trong triết lý của tâm trí). Một lượng lớn văn học đã được viết để hỗ trợ cho nhiều phía.

Giải thưởng và danh dự

• Giải thưởng Turing từ Hiệp hội Máy móc Máy tính (1971).
• Giải thưởng Kyoto (1988).
• Huy chương Khoa học Quốc gia (Hoa Kỳ) về Toán học, Thống kê và Khoa học Tính toán (1990).
• Được giới thiệu là thành viên của Bảo tàng Lịch sử Máy tính "vì đồng sáng lập các lĩnh vực Trí tuệ nhân tạo (AI) và các hệ thống chia sẻ thời gian, và cho những đóng góp lớn cho toán học và khoa học máy tính". (1999)
• Huy chương Benjamin Franklin về Khoa học Máy tính và Nhận thức của Viện Franklin (2003).
• Được giới thiệu vào Đại sảnh vinh danh AI của Hệ thống thông minh (2011), cho "những đóng góp quan trọng cho lĩnh vực AI và hệ thống thông minh".
• Được mệnh danh là một trong những Anh hùng Kỹ thuật Stanford 2012.

Những ấn phẩm chính

• McCarthy, J. 1959. "Programs with Common Sense" at the Wayback Machine (archived ngày 4 tháng 10 năm 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 ngày 4 tháng 10 năm 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 ngày 25 tháng 8 năm 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. 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.