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

John McCarthy

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.[1] Ô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 nhiều sự nghiệp của mình tại Đại học Stanford. [ 2 ] Ông đã nhận được nhiều phần thưởng và danh dự, như Trao Giải Turing cho những góp phần của ông cho chủ đề AI năm 1971, [ 3 ] Huân chương Khoa học Quốc gia Hoa Kỳ năm 1990 và Trao Giải Kyoto năm 1988, cùng huân chương Benjamin Franklin năm 2003 [ 4 ] .

Cuộc sống và con đường học vấn thuở bắt đầu[sửa|sửa mã nguồn]

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, [ 5 ] John Patrick và Ida Glatt McCarthy. Gia đình buộc phải sơ tán tiếp tục trong cuộc Đại khủng hoảng cục bộ, cho đến khi cha của McCarthy tìm được việc làm, làm nhà tổ chức triển khai 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. [ 6 ] Mẹ ông mất năm 1957. [ 7 ]

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

McCarthy cho thấy năng khiếu sở trường sớm về toán học ; khi còn ở tuổi thiếu niên, ông đã tự học toán ĐH bằng cách nghiên cứu và điều tra những 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 đã hoàn toàn có thể bỏ lỡ hai năm tiên phong của học tại học toán Caltech. [ 9 ] McCarthy đã bị đình chỉ từ Caltech vì không tham gia những khóa học giáo dục sức khỏe thể chất.

[ 10 ] Sau đó, ông Giao hàng 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. [ 11 ]Chính tại Caltech, ông đã tham gia 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 triển khai xong điều tra và 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 triển khai vào năm 1951 khi còn là học viên của Solomon Lefschetz .

Sau những buổi hẹn thời gian ngắ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 những sinh viên của mình gọi một cách trìu mến là ” Chú John “. [ 12 ]McCarthy vô địch logic toán học cho trí tuệ tự tạo .

Những góp phần trong khoa học máy tính[sửa|sửa mã nguồn]

McCarthy năm 2008John McCarthy là một trong những ” cha đẻ ” của trí tuệ tự tạo, cùng với Marvin Minsky, Allen Newell và Herbert A. Simon. McCarthy đã đặt ra thuật ngữ ” trí tuệ tự tạo ” vào năm 1955 và tổ chức triển khai Hội nghị Dartmouth nổi tiếng vào mùa hè năm 1956. Hội nghị này đã khởi đầu AI như một nghành. [ 8 ] [ 13 ] ( Minsky sau đó gia nhập vào nhóm điều tra và nghiên cứu với McCarthy tại MIT vào năm 1959. )

Năm 1958, ông đã yêu cầu người đưa ra advice taker, điều này đã truyền cảm hứng cho việc làm sau này về vấn đáp thắc mắc và lập trình logic .John McCarthy đã ý tưởng ra Lisp vào cuối những năm 1950. Dựa trên giám sát lambda, Lisp sớm trở thành ngôn từ lập trình được lựa chọn cho những ứng dụng AI sau khi xuất bản năm 1960.

[ 14 ]Năm 1958, McCarthy Giao hàng trong hội đồng ACM Ad hoc với trách nhiệm là một phần của hội đồng phong cách thiết kế ALGOL 60. Vào tháng 8 năm 1959, ông đã yêu cầu việc sử dụng đệ quy và những biểu thức điều kiện kèm theo, nó đã trở thành một phần của ALGOL. [ 15 ]Khoảng năm 1959, ông đã ý tưởng ra chiêu thức được gọi là ” garbage collection ” để xử lý những yếu tố trong Lisp. [ 16 ] [ 17 ]

Ô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 xây dựng Phòng thí nghiệm AI của Stanford, trong nhiều năm là đối thủ cạnh tranh thiện chí của Project MAC .

Năm 1961, có lẽ rằng ông là người tiên phong yêu cầu công khai minh bạch sáng tạo độc đáo 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ệ tiên tiến time sharing trên máy tính hoàn toàn có thể dẫn đến một tương lai mà sức mạnh thống kê giám sát và thậm chí còn những ứng dụng đơn cử hoàn toàn có thể được bán trải qua quy mô kinh doanh thương mại utility ( như kinh doanh thương mại nước hoặc điện ).

[ 18 ] Ý tưởng về một máy tính hoặc tiện ích thông tin rất phổ cập 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, sáng tạo độc đáo này đã Open trở lại trong những hình thức mới ( xem nhà sản xuất 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 những game show cờ vua với những đối tác chiến lượ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 đã tăng trưởng chiêu thức cắt vòng theo lý luận không đơn điệu .McCarthy cũng được ghi nhận với việc tăng trưởng một hình thức san sẻ thời hạn 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 triển khai việc tăng trưởng những mạng lưới hệ thống san sẻ thời hạn. Chúng tôi vẫn đang liên tục ý tưởng ra những khái niệm mới về san sẻ thời hạn. Nó đã được gọi là những sever. .. Bây giờ chúng tôi gọi nó là điện toán đám mây.

Đó vẫn chỉ là san sẻ thời hạn. John đã khởi đầu nó. ” [ 8 ]Năm 1982, ông John có vẻ như đã có ý tưởng sáng tạo bắt đầu về ” đài phun khoảng trống “, một loại tháp lê dài vào khoảng trống và được giữ thẳng đứng bởi lực bên ngoài của một luồng những viên đẩy từ Trái đất dọc theo một băng chuyền đưa những viên đạn về Trái đất ( tải trọng sẽ đi băng chuyền lên trên ). [ 19 ]

Các hoạt động giải trí khác[sửa|sửa mã nguồn]

McCarthy thường phản hồi về những yếu tố quốc tế trên những forum Usenet. Một số sáng tạo độc đáo của ông hoàn toàn có thể được tìm thấy trong trang Web vững chắc của ông, [ 20 ] ” nhằm mục đích mục tiêu cho thấy rằng tiến trình vật chất của con người là mong ước và vững chắc “. McCarthy là một người đọc sách trang nghiêm, một người sáng sủa 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 hoàn toàn có thể nhìn thấy trong kho tàng trữ rec.arts.books.

Và John tích cực tham gia những bữa ăn tối ở SF Bay Area ở Palo Alto của những người đọc rab gọi là rab-fests. John liên tục bảo vệ những lời chỉ trích tự do tương quan đến những trò đùa dân tộc bản địa 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 không có ý nghĩa ” ; bìa giấy phép của anh ấy đọc, tương tự như, ” Làm số học hoặc cam chịu số phận không có ý nghĩa.

” [ 21 ] [ 22 ] Ông khuyên 30 sinh viên tốt nghiệp tiến sỹ. [ 23 ]2001 truyện ngắn của ông ” The Robot và Baby ” [ 24 ] farcically mày mò câu hỏi liệu robot nên có ( hoặc mô phỏng có ) xúc cảm, và Dự kiến những góc nhìn của văn hóa truyền thống Internet và mạng xã hội đã trở nên ngày càng điển hình nổi bật trong thập kỷ tiếp theo. [ 25 ]

Cuộc sống cá thể[sửa|sửa mã nguồ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 nỗ lực lan rộng ra 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 triển khai.

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. [ 26 ] [ 27 ]McCarthy coi mình là người vô thần. [ 28 ] [ 29 ] 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ô. [ 30 ] McCarthy qua đời tại nhà riêng ở Stanford vào ngày 24 tháng 10 năm 2011 [ 31 ]

Triết lý về trí tuệ tự tạo[sửa|sửa mã nguồn]

Năm 1979 McCarthy đã viết một bài báo [ 32 ] có tựa đề ” Mô tả phẩm chất ý thức cho máy móc “. Trong đó, ông viết, ” Máy đơn thuần như máy điều nhiệt hoàn toàn có thể nói là có niềm tin, và việc có niềm tin có vẻ như là một đặc thù của hầu hết những máy có năng lực xử lý yếu tố. “

Vào năm 1980, nhà triết học John Searle đã vấn đáp với Luận cứ phòng nổi tiếng của Trung Quốc, [ 13 ] [ 33 ] việc không đống ý với McCarthy và cho rằng máy móc không hề có niềm tin đơn thuầ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 lý ). Một lượng lớn văn học đã được viết để tương hỗ cho nhiều phía .

Trao Giải và danh dự[sửa|sửa mã nguồn]

Những ấn phẩm chính[sửa|sửa mã nguồn]

• 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 (1980). “Circumscription: A form of non-monotonic reasoning”. Artificial Intelligence. 13 (1–2): 23–79. doi:10.1016/0004-3702(80)90011-9.

  Xem thêm: Khoa học máy tính – Wikipedia tiếng Việt

• McCarthy, J (1986). “Applications of circumscription to common sense reasoning”. Artificial Intelligence. 28 (1): 89–116. doi:10.1016/0004-3702(86)90032-9.
• 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.

• Cornucopian
• Vấn đề khung
• Danh sách những người tiên phong trong khoa học máy tính
• Kotok-McCarthy
• Hàm McCarthy 91
• Chủ nghĩa hình thức McCarthy
• Watson (máy tính)

• Philip J. Hilts, Nhiệt độ khoa học: Ba cuộc đời trong khoa học đương đại, Simon và Schuster, 1982. Hồ sơ dài của John McCarthy, nhà vật lý Robert R. Wilson và nhà di truyền học Mark Ptashne.
• Pamela McCorduck, Machines Who Think: một cuộc điều tra cá nhân về lịch sử và triển vọng của trí tuệ nhân tạo, 1979, phiên bản thứ hai 2004.
• Pamela Weintraub, biên soạn, Phỏng vấn Omni, New York: Ticknor và các lĩnh vực, 1984. Thu thập các cuộc phỏng vấn ban đầu được công bố trên tạp chí Omni; chứa một cuộc phỏng vấn với McCarthy.

Liên kết khác[sửa|sửa mã nguồn]

Trước   bởi Lucy soman

Huy chương Benjamin Franklin về Khoa học Máy tính và Nhận thức 2003

Thành công   bởi Richard M. Karp

Xem thêm: Ngành khoa học máy tính ra trường làm gì?

Nguồn: Tổng hợp từ Internet

Source: https://khoinganhcntt.com
Category: NGÀNH TUYỂN SINH