Khiêu chuyển đáo nội dung

Nhân công trí năng sử

Duy cơ bách khoa, tự do đích bách khoa toàn thư
Nhân công trí năngHệ liệt nội dung
Chủ yếu mục tiêu
Thật hiện phương thức
Nhân công trí năng triết học
Lịch sử
Kỹ thuật
Thuật ngữ

Nhân công trí năng đích lịch sửNguyên viễn lưu trường. Tại cổ đại đíchThần thoạiTruyện thuyếtTrung, kỹ nghệ cao siêu đích công tượng khả dĩ chế tác nhân tạo nhân, tịnh vi kỳ phú dư trí năng hoặc ý thức.[1]Hiện đại ý nghĩa thượng đíchAIThủy vu cổ điển triết học gia thí đồ tương nhân loại đích tư duy quá trình miêu thuật vi đối phù hào đích cơ giới thao tác. 20 thế kỷ 40 niên đại, cơ vu trừu tượng sổ học thôi lý đíchKhả biên trình sổ tự điện nãoĐích phát minh sử nhất phê khoa học gia khai thủy nghiêm túc địa tham thảo cấu tạo nhất cá điện tử đại não đích khả năng tính.

1956 niên,Nhân công trí năngĐích nghiên cứu lĩnh vực xác lập vu tạiĐạt đặc mao tư học việnCử hành đíchHội nghị.Thử thứ hội nghị đích tham gia giả tại tiếp hạ lai đích sổ thập niên gian thành vi AI nghiên cứu lĩnh vực đích lĩnh quân nhân vật.[2]Tha môn trung hữu hứa đa nhân tằng dự ngôn, dữ nhân loại cụ hữu đồng đẳng trí năng thủy bình đích cơ khí tương tại bất siêu quá nhất đại nhân đích thời gian trung xuất hiện. Đồng thời, thượng thiên vạn mỹ nguyên bị đầu nhập đáo AI nghiên cứu trung, dĩ kỳ thật hiện giá nhất mục tiêu.

Nhiên nhi, nghiên cứu nhân viên phát hiện tự kỷ đại đại đê cổ liễu giá nhất công trình đích nan độ, nhân công trí tuệ sử thượng cộng xuất hiện quá kỉ thứĐê triều( dã bị xưng tác AI chi đông ). Do vuChiêm mỗ tư · lai đặc hi nhĩTước sĩ đích phê bình hòa quốc hội phương diện đích áp lực,Mỹ quốcHòa anh quốc chính phủ vu 1973 niên đình chỉ hướng một hữu minh xác mục tiêu đích nhân công trí năng nghiên cứu hạng mục bát khoản. Thất niên chi hậu thụ đáo nhật bổn chính phủ nghiên cứu quy hoa đích thứ kích, mỹ quốc chính phủ hòa xí nghiệp tái thứ tại AI lĩnh vực đầu nhập sổ thập ức nghiên cứu kinh phí, đãn giá ta đầu tư giả tại 80 niên đại mạt trọng tân triệt hồi liễu đầu tư. AI nghiên cứu lĩnh vực chư như thử loại đích cao triều hòa đê cốc bất đoạn giao thế xuất hiện; chí kim nhưng hữu nhân đối AI đích tiền cảnh tác xuất dị thường nhạc quan đích dự trắc.[3]

Tẫn quản tại chính phủ quan liêu hòa phong đầu tư bổn gia na lí kinh lịch liễu đại khởi đại lạc, AI lĩnh vực nhưng tại thủ đắc tiến triển. Mỗ ta tại 20 thế kỷ 70 niên đại bị nhận vi bất khả năng giải quyết đích vấn đề kim thiên dĩ kinh hoạch đắc liễu viên mãn giải quyết tịnh dĩ thành công ứng dụng tại thương nghiệp sản phẩm thượng. Dữ đệ nhất đại AI nghiên cứu nhân viên đích nhạc quan cổ kế bất đồng,Cụ hữu dữ nhân loại đồng đẳng trí năng thủy bìnhĐích cơ khí chí kim nhưng vị xuất hiện.Đồ linhTại 1950 niên phát biểu đích nhất thiên thôi sinh hiện đại trí năng cơ khí nghiên cứu đích trứ danh luận văn trung xưng, “Ngã môn chỉ năng khán đáo nhãn tiền đích nhất tiểu đoạn cự ly…… Đãn thị, ngã môn khả dĩ khán đáo nhưng hữu hứa đa công tác yếu tố”.[4]

Tại 21 thế kỷ đích đệ nhất cá thập niên,Cơ khí học tậpĐắc ích vu tân phương pháp đích xuất hiện, tính năng cường đại đích kế toán cơ ngạnh kiện đích ứng dụng bàng đại sổ cư tập đích thu tập, bị quảng phiếm ứng dụng giải quyết học thuật hòa công nghiệp thượng đích vấn đề, giá trọng tân dẫn phát liễu nhân môn đối AI đích đầu tư hòa hưng thú.

Kế toán lịch sử(Anh ngữ:History of computing)
Ngạnh kiện
Nhuyễn kiện
Kế toán cơ khoa học
Hiện đại khái niệm
Án quốc gia
Kế toán niên biểu(Anh ngữ:Timeline of computing)
Kế toán cơ khoa học từ hối(Anh ngữ:Glossary of computer science)

Tiên khu[Biên tập]

Áo đặc mạn tả đạo[1]:“Mỗ chủng hình thức thượng đích nhân công trí năng thị nhất cá biến bố vu tây phương tri thức phân tử lịch sử đích quan điểm, thị nhất cá cấp nhu bị thật hiện đích mộng tưởng,” tiên dân đối nhân công trí năng đích truy cầu biểu hiện tại chư đa thần thoại, truyện thuyết, cố sự, dự ngôn dĩ cập chế tác cơ khí nhân ngẫu (Tự động cơ) đích thật tiễn chi trung.[5]

Thần thoại, huyễn tưởng hòa dự ngôn trung đích AI[Biên tập]

Hi tịch thần thoạiTrung dĩ kinh xuất hiện liễu cơ giới nhân hòa nhân tạo nhân, nhưHách hoài tư thác tưĐích hoàng kim cơ khí nhân hòaBì cách mã lợi ôngĐíchGià lạp thắc á.[6]Trung thế kỷ xuất hiện liễu sử dụng vu thuật hoặcLuyện kim thuậtTương ý thức phú dư vô sinh mệnh vật chất đích truyện thuyết, nhưGiả bỉ nhĩĐíchTakwin,Mạt lạp tắc nhĩ tô tưĐíchHà mông khố lỗ tưHòa Judah Loew đíchMa tượng.[7]19 thế kỷ đích huyễn tưởng tiểu thuyết trung xuất hiện liễu nhân tạo nhân hòa hội tư khảo đích cơ khí chi loại đề tài, lệ nhưMã lệ · tuyết laiĐích 《Phất lan khẳng tư thản》 hòaTạp lôi nhĩ · kháp bội khắcĐích 《 la tố mỗ đích vạn năng cơ khí nhân 》.[8]Samuel Butler đích 《 cơ khí trung đích đạt nhĩ văn ( Darwin among the Machines ) 》 nhất văn ( 1863 ) tham thảo liễu cơ khí thông quá tự nhiên tuyển trạch tiến hóa xuất trí năng đích khả năng tính.[9]Chí kim nhân công trí năng nhưng nhiên thị khoa huyễn tiểu thuyết đích trọng yếu nguyên tố.

Tự động nhân ngẫu[Biên tập]

Chủ điều mục:Tự động cơ
Gia trát lợiĐích khả biên trình tự động nhân ngẫu ( 1206 niên )

Hứa đa văn minh trung đô hữu sang tạo tự động nhân ngẫu đích kiệt xuất công tượng, lệ nhưYển sư( trung quốc tây chu )[10],Hi la( hi tịch )[11],Gia trát lợi[12]Hòa Wolfgang von Kempelen[13]Đẳng đẳng. Dĩ tri tối cổ lão đích “Cơ khí nhân” thịCổ ai cậpHòaCổ hi tịchĐíchThánh tượng,Trung thật đích tín đồ nhận vi công tượng vi giá ta thần tượng phú dư liễu tư tưởng, sử tha môn cụ hữu trí tuệ hòa kích tình.Hách nhĩ mặc tư · đặc lí tư mặc cát tư thắc tư(Hách nhĩ mặc tư · đặc lí tư mặc cát tư thắc tư) tả đạo “Đương phát hiện thần đích bổn tính thời, nhân tựu năng cú trọng hiện tha”[14][15].

Hình thức thôi lý[Biên tập]

Nhân công trí năng đích cơ bổn giả thiết thị nhân loại đích tư khảo quá trình khả dĩ cơ giới hóa. Đối vu cơ giới hóa thôi lý ( tức sở vị “Hình thức thôi lý ( formal reasoning )” ) đích nghiên cứu dĩ hữu ngận trường lịch sử. Trung quốc, ấn độ hòa hi tịch triết học gia quân dĩ tại công nguyên tiền đích đệ nhất cá thiên niên lí đề xuất liễu hình thức thôi lý đích kết cấu hóa phương pháp. Tha môn đích tưởng pháp vi hậu thế đích triết học gia sở kế thừa hòa phát triển, kỳ trung trứ danh đích hữuÁ lí sĩ đa đức( đối tam đoạn luận la tập tiến hành liễu hình thức phân tích ),Âu kỉ lí đắc( kỳ trứ tác 《Kỉ hà nguyên bổn》 thị hình thức thôi lý đích điển phạm ),Hoa lạt tử mật( đại sổ học đích tiên khu, “algorithm” nhất từ do tha đích danh tự diễn biến nhi lai ) dĩ cập nhất ta âu châu kinh viện triết học gia, nhưÁo tạp mỗ đích uy liêmHòaĐặng tư · tư các thoát.[16]

Mã lược tạpTriết học giaLạp mông · liễu lợi( 1232-1315 ) khai phát liễu nhất ta “La tập cơ”, thí đồ thông quá la tập phương pháp hoạch thủ tri thức.[17]Liễu lợi đích cơ khí năng cú tương cơ bổn đích, vô khả phủ nhận đích chân lý thông quá cơ giới thủ đoạn dụng giản đan đích la tập thao tác tiến hành tổ hợp, dĩ cầu sinh thành sở hữu khả năng đích tri thức.[18]Llull đích công tác đốiLai bố ni tưSản sinh liễu ngận đại ảnh hưởng, hậu giả tiến nhất bộ phát triển liễu tha đích tư tưởng.[19]

Lai bố ni tưSai trắc nhân loại đích tư tưởng khả dĩ giản hóa vi cơ giới kế toán

Tại 17 thế kỷ trung,Lai bố ni tư,Thác mã tư · hoắc bố tưHòaĐịch tạp nhiThường thí tương lý tính đích tư khảo hệ thống hóa vi đại sổ học hoặc kỉ hà học na dạng đích thể hệ.[20]Hoắc bố tư tại kỳ trứ tác 《Lợi duy thản》 trung hữu nhất cú danh ngôn: “Thôi lý tựu thị kế toán ( reason is nothing but reckoning ).”[21]Lai bố ni tư thiết tưởng liễu nhất chủng dụng vu thôi lý đích phổ thích ngữ ngôn ( tha đíchThông dụng biểu ý văn tự), năng tương thôi lý quy ước vi kế toán, tòng nhi sử “Triết học gia chi gian, tựu tượng hội kế sư chi gian nhất dạng, bất tái nhu yếu tranh biện. Tha môn chỉ nhu nã xuất duyên bút phóng tại thạch bản thượng, nhiên hậu hướng đối phương thuyết ( như quả tưởng yếu đích thoại, khả dĩ thỉnh nhất vị bằng hữu tác vi chứng nhân ): ‘ ngã môn khai thủy toán ba. ’”[22]Giá ta triết học gia dĩ kinh khai thủy minh xác đề xuất hình thức phù hào hệ thống đích giả thiết, nhi giá nhất giả thiết tương thành vi AI nghiên cứu đích chỉ đạo tư tưởng.

Tại 20 thế kỷ,Sổ lý la tậpNghiên cứu thượng đích đột phá sử đắc nhân công trí năng hảo tượng hô chi dục xuất. Giá phương diện đích cơ sở trứ tác bao quátBố nhĩĐích 《 tư duy đích định luật 》 dữPhất lôi cáchĐích 《Khái niệm văn tự》. Cơ vu phất lôi cách đích hệ thống,La tốHòaHoài đặc hảiTại tha môn vu 1913 niên xuất bản đích cự trứ 《Sổ học nguyên lý》 trung đối sổ học đích cơ sở cấp xuất liễu hình thức hóa miêu thuật. Giá nhất thành tựu kích lệ liễuHi nhĩ bá đặc,Hậu giả hướng 20 thế kỷ 20 niên đại hòa 30 niên đại đích sổ học gia đề xuất liễu nhất cá cơ sở tính đích nan đề: “Năng phủ tương sở hữu đích sổ học thôi lý hình thức hóa?”[16]Giá cá vấn đề đích tối chung hồi đáp doCa đức nhĩ bất hoàn bị định lý,Đồ linh cơHòaAlonzo ChurchĐíchλ diễn toánCấp xuất.[16][23]Tha môn đích đáp án lệnh nhân chấn kinh: Thủ tiên, tha môn chứng minh liễu sổ lý la tập đích cục hạn tính; kỳ thứ ( giá nhất điểm đối AI canh trọng yếu ), tha môn đích công tác ẩn hàm liễu nhậm hà hình thức đích sổ học thôi lý đô năng tại giá ta hạn chế chi hạ cơ giới hóa đích khả năng tính.

Tại ma nhĩ học giáo đích điện khí công trình đích ENIAC kế toán cơ

Khâu kỳ - đồ linh luận đềÁm kỳ, nhất đài cận năng xử lý 0 hòa 1 giá dạng giản đan nhị nguyên phù hào đích cơ giới thiết bị năng cú mô nghĩ nhậm ý sổ học thôi lý quá trình. Giá lí tối quan kiện đích linh cảm thịĐồ linh cơ:Giá nhất khán tự giản đan đích lý luận cấu tạo trảo trụ liễu trừu tượng phù hào xử lý đích bổn chất. Giá nhất sang tạo kích phát khoa học gia môn tham thảo nhượng cơ khí tư khảo đích khả năng.[16][24]

Kế toán cơ khoa học[Biên tập]

Chủ điều mục:Kế toán cơ ngạnh thể lịch sử

Dụng vu kế toán đích cơ khí cổ dĩ hữu chi; lịch sử thượng hứa đa sổ học gia đối kỳ tác xuất liễu cải tiến. 19 thế kỷ sơ,Tra nhĩ tư · ba bối kỳThiết kế liễu nhất đài khả biên trình kế toán cơ ( “Phân tích cơ” ), đãn vị năng kiến tạo xuất lai.Ái đạt · lặc phù lôi tiDự ngôn, giá đài cơ khí “Tương sang tác xuất vô hạn phục tạp, vô hạn khoan quảng đích tinh diệu đích khoa học nhạc chương”.[25]( tha thường bị nhận vi thị đệ nhất cá trình tự viên, nhân vi tha lưu hạ đích nhất ta bút ký hoàn chỉnh địa miêu thuật liễu sử dụng giá nhất cơ khí kế toánBá nỗ lợi sổĐích phương pháp. )

Đệ nhất phê hiện đại kế toán cơ thịNhị chiếnKỳ gian kiến tạo đích đại hình dịch mã cơ ( bao quát Z3,ENIACHòa Colossus đẳng ).[26]Hậu lưỡng cá cơ khí đích lý luận cơ sở thịĐồ linhHòaƯớc hàn · phùng · nặc y mạnĐề xuất hòa phát triển đích học thuyết.[27]

Nhân công trí năng đích đản sinh: 1943 - 1956[Biên tập]

[28]Tại 20 thế kỷ 40 niên đại hòa 50 niên đại, lai tự bất đồng lĩnh vực ( sổ học, tâm lý học, công trình học, kinh tế học hòa chính trị học ) đích nhất phê khoa học gia khai thủy tham thảo chế tạo nhân công đại não đích khả năng tính. 1956 niên, nhân công trí năng bị xác lập vi nhất môn học khoa.

Khống chế luận dữ tảo kỳ thần kinh võng lạc[Biên tập]

IBM 702: Đệ nhất đại AI nghiên cứu giả sử dụng đích điện não

Tối sơ đích nhân công trí năng nghiên cứu thị 30 niên đại mạt đáo 50 niên đại sơ đích nhất hệ liệt khoa học tiến triển giao hối đích sản vật. Thần kinh học nghiên cứu phát hiện đại não thị do thần kinh nguyên tổ thành đích điện tử võng lạc, kỳ kích lệ điện bình chỉ tồn tại “Hữu” hòa “Vô” lưỡng chủng trạng thái, bất tồn tại trung gian trạng thái.Duy nạpĐíchKhống chế luậnMiêu thuật liễu điện tử võng lạc đích khống chế hòa ổn định tính.Khắc lao đức · hương nôngĐề xuất đíchTín tức luậnTắc miêu thuật liễuSổ tự tín hào( tức cao đê điện bình đại biểu đích nhị tiến chế tín hào ). Đồ linh đích kế toán lý luận chứng minh sổ tự tín hào túc dĩ miêu thuật nhậm hà hình thức đích kế toán. Giá ta mật thiết tương quan đích tưởng pháp ám kỳ liễu cấu kiến điện tử đại não đích khả năng tính.[29]

Giá nhất giai đoạn đích công tác bao quát nhất ta cơ khí nhân đích nghiên phát, lệ như W. Grey Walter đích “Ô quy ( turtles )”, hoàn hữu “Ước hàn hoắc phổ kim tư thú” ( Johns Hopkins Beast ). Giá ta cơ khí tịnh vị sử dụng kế toán cơ, sổ tự điện lộ hòa phù hào thôi lý; khống chế tha môn đích thị thuần túy đích mô nghĩ điện lộ.[30]

Walter Pitts hòa Warren McCulloch phân tích liễu lý tưởng hóa đích nhân công thần kinh nguyên võng lạc, tịnh thả chỉ xuất liễu tha môn tiến hành giản đan la tập vận toán đích cơ chế. Tha môn thị tối tảo miêu thuật sở vị “Thần kinh võng lạc”Đích học giả.[31]Mã văn · minh tư cơThị tha môn đích học sinh, đương thời thị nhất danh 24 tuế đích nghiên cứu sinh. 1951 niên tha dữ Dean Edmonds nhất đạo kiến tạo liễu đệ nhất đài thần kinh võng lạc cơ, xưng viSNARC.Tại tiếp hạ lai đích ngũ thập niên trung, minh tư cơ thị AI lĩnh vực tối trọng yếu đích lĩnh đạo giả hòa sang tân giả chi nhất.

Du hí AI[Biên tập]

1951 niên,Khắc lí tư thác phất · tư đặc lôi kỳSử dụngMạn triệt tư đặc đại họcĐích Ferranti Mark 1 cơ khí tả xuất liễu nhất cáTây dương khiêu kỳ( checkers ) trình tự;Địch đặc lí hi · phổ lâm tì( Dietrich Prinz ) tắc tả xuất liễu nhất cáQuốc tế tượng kỳTrình tự.[32]Á sắt · lý · tắc mậu nhĩ( Arthur Samuel ) tại ngũ thập niên đại trung kỳ hòa lục thập niên đại sơ khai phát đích tây dương kỳ trình tự đích kỳ lực dĩ kinh khả dĩ thiêu chiến cụ hữu tương đương thủy bình đích nghiệp dư ái hảo giả.[33]Du hí AI nhất trực bị nhận vi thị bình giới AI tiến triển đích nhất chủng tiêu chuẩn.

Đồ linh trắc thí[Biên tập]

1950 niên, đồ linh phát biểu liễu nhất thiên hoa thời đại đích luận văn, văn trung dự ngôn liễu sang tạo xuất cụ hữu chân chính trí năng đích cơ khí đích khả năng tính.[34]Do vu chú ý đáo “Trí năng” giá nhất khái niệm nan dĩ xác thiết định nghĩa, tha đề xuất liễu trứ danh đíchĐồ linh trắc thí:Như quả nhất đài cơ khí năng cú dữ nhân loại triển khai đối thoại ( thông quá điện truyện thiết bị ) nhi bất năng bị biện biệt xuất kỳ cơ khí thân phân, na ma xưng giá đài cơ khí cụ hữu trí năng. Giá nhất giản hóa sử đắc đồ linh năng cú lệnh nhân tín phục địa thuyết minh “Tư khảo đích cơ khí” thị khả năng đích. Luận văn trung hoàn hồi đáp liễu đối giá nhất giả thuyết đích các chủng thường kiến chất nghi.[35]Đồ linh trắc thí thị nhân công trí năng triết học phương diện đệ nhất cá nghiêm túc đích đề án.

Phù hào thôi lý dữ “La tập lý luận gia” trình tự[Biên tập]

50 niên đại trung kỳ, tùy trứ sổ vị kế toán cơ đích hưng khởi, nhất ta khoa học gia trực giác địa cảm đáo khả dĩ tiến hành sổ tự thao tác đích cơ khí dã ứng đương khả dĩ tiến hành phù hào thao tác, nhi phù hào thao tác khả năng thị nhân loại tư duy đích bổn chất. Giá thị sang tạo trí năng cơ khí đích nhất điều tân lộ.[36]

1955 niên,Ngải luân · nữu ách nhĩHòa hậu lai vinh hoạch nặc bối nhĩ tưởng đíchHách bá đặc · tây môngTại J. C. Shaw đích hiệp trợ hạ khai phát liễu “La tập lý luận gia( Logic Theorist )”. Giá cá trình tự năng cú chứng minh 《 sổ học nguyên lý 》 trung tiền 52 cá định lý trung đích 38 cá, kỳ trung mỗ ta chứng minh bỉ nguyên trứ canh gia tân dĩnh hòa tinh xảo.[37]Simon nhận vi tha môn dĩ kinh “Giải quyết liễu thần bí đíchTâm / thân vấn đề,Giải thích liễu vật chất cấu thành đích hệ thống như hà hoạch đắc tâm linh đích tính chất.”[38]( giá nhất đoạn ngôn đích triết học lập tràng hậu lai bịƯớc hàn · la kiệt tư · hi nhĩ lặcXưng vi “Cường nhân công trí năng”, tức cơ khí khả dĩ tượng nhân nhất dạng cụ hữu tư tưởng. )[39]

1956 niên đạt đặc mao tư hội nghị: AI đích đản sinh[Biên tập]

Chủ điều mục:Đạt đặc mâu tư hội nghị

1956 niênĐạt đặc mâu tư hội nghị[40]Đích tổ chức giả thịMã văn · minh tư cơ,Ước hàn · mạch tạp tíchHòa lánh lưỡng vị tư thâm khoa học giaKhắc lao đức · hương nôngDĩ cập nội sâm · la triệt tư đặc ( Nathan Rochester ), hậu giả lai tựIBM.Hội nghị đề xuất đích đoạn ngôn chi nhất thị “Học tập hoặc giả trí năng đích nhậm hà kỳ tha đặc tính đích mỗi nhất cá phương diện đô ứng năng bị tinh xác địa gia dĩ miêu thuật, sử đắc cơ khí khả dĩ đối kỳ tiến hành mô nghĩ.”[41]Dữ hội giả bao quátLôi · tác la môn nặc phu( Ray Solomonoff ), áo lợi phật · tắc nhĩ phất lí kỳ ( Oliver Selfridge ), Trenchard More, á sắt · sơn mậu nhĩ ( Arthur Samuel ),Ngải luân · nữu ách nhĩHòaHách bá đặc · tây mông,Tha môn trung đích mỗi nhất vị đô tương tại AI nghiên cứu đích đệ nhất cá thập niên trung tác xuất trọng yếu cống hiến.[42]Hội thượng nữu ách nhĩ hòa tây mông thảo luận liễu “La tập lý luận gia”, nhiMạch tạp tíchTắc thuyết phục dữ hội giả tiếp thụ “Nhân công trí năng” nhất từ tác vi bổn lĩnh vực đích danh xưng.[43]1956 niên đạt đặc mâu tư hội nghị thượng AI đích danh xưng hòa nhậm vụ đắc dĩ xác định, đồng thời xuất hiện liễu tối sơ đích thành tựu hòa tối tảo đích nhất phê nghiên cứu giả, nhân thử giá nhất sự kiện bị quảng phiếm thừa nhận vi AI đản sinh đích tiêu chí.[44]

Hoàng kim niên đại: 1956 - 1974[Biên tập]

Đạt đặc mâu tưHội nghị chi hậu đích sổ niên thị đại phát hiện đích thời đại. Đối hứa đa nhân nhi ngôn, giá nhất giai đoạn khai phát xuất đích trình tự kham xưng thần kỳ:[45]Kế toán cơ khả dĩ giải quyết đại sổ ứng dụng đề, chứng minh kỉ hà định lý, học tập hòa sử dụng anh ngữ. Đương thời đại đa sổ nhân kỉ hồ vô pháp tương tín cơ khí năng cú như thử “Trí năng”.[46]Nghiên cứu giả môn tại tư hạ đích giao lưu hòa công khai phát biểu đích luận văn trung biểu đạt xuất tương đương nhạc quan đích tình tự, nhận vi cụ hữu hoàn toàn trí năng đích cơ khí tương tại nhị thập niên nội xuất hiện.[47]DARPA(Quốc phòng cao đẳng nghiên cứu kế hoa thự) đẳng chính phủ cơ cấu hướng giá nhất tân hưng lĩnh vực đầu nhập liễu đại bút tư kim.[48]

Nghiên cứu công tác[Biên tập]

Tòng 50 niên đại hậu kỳ đáo 60 niên đại dũng hiện liễu đại phê thành công đích AI trình tự hòa tân đích nghiên cứu phương hướng. Hạ diện liệt cử kỳ trung tối cụ ảnh hưởng đích kỉ cá.

Sưu tác thức thôi lý[Biên tập]

Hứa đa AI trình tự sử dụng tương đồng đích cơ bổnToán pháp.Vi thật hiện nhất cá mục tiêu ( lệ như doanh đắc du hí hoặc chứng minh định lý ), tha môn nhất bộ bộ địa tiền tiến, tựu tượng tại mê cung trung tầm trảo xuất lộ nhất bàn; như quả ngộ đáo liễu tử hồ đồng tắc tiến hànhHồi tố.Giá tựu thị “Sưu tác thức thôi lý”.[49]

Giá nhất tư tưởng ngộ đáo đích chủ yếu khốn nan thị, tại ngận đa vấn đề trung, “Mê cung” lí khả năng đích tuyến lộ tổng sổ thị nhất cá thiên văn sổ tự ( sở vị “Chỉ sổ bạo tạc” ). Nghiên cứu giả sử dụngKhải phát thức toán phápKhứ điệu na ta bất thái khả năng đạo xuất chính xác đáp án đích chi lộ, tòng nhi súc tiểu sưu tác phạm vi.[50]

Ngải luân · nữu ách nhĩ hòa hách bá đặc · tây mông thí đồ thông quá kỳ “Thông dụng giải đề khí( General Problem Solver )” trình tự, tương giá nhất toán pháp thôi quảng đáo nhất bàn tình hình.[51]Lánh nhất ta cơ vu sưu tác toán pháp chứng minh kỉ hà dữ đại sổ vấn đề đích trình tự dã cấp nhân môn lưu hạ liễu thâm khắc ấn tượng, lệ như hách bá đặc · cát ninh đặc ( Herbert Gelernter ) đích kỉ hà định lý chứng minh cơ ( 1958 ) hòa mã văn · lý · mẫn tư cơ đích học sinh James Slagle khai phát đích SAINT ( 1961 ).[52]Hoàn hữu nhất ta trình tự thông quá sưu tác mục tiêu hòa tử mục tiêu tác xuất quyết sách, nhưTư thản phúc đại họcVi khống chế cơ khí nhân Shakey nhi khai phát đích STRIPS hệ thống.[53]

Nhất cá ngữ nghĩa võng đích lệ tử

Tự nhiên ngữ ngôn[Biên tập]

AI nghiên cứu đích nhất cá trọng yếu mục tiêu thị sử kế toán cơ năng cú thông quáTự nhiên ngữ ngôn( lệ như anh ngữ ) tiến hành giao lưu. Tảo kỳ đích nhất cá thành công phạm lệ thị Daniel Bobrow đích trình tự STUDENT, tha năng cú giải quyết cao trung trình độ đích đại sổ ứng dụng đề.[54]

Như quả dụng tiết điểm biểu kỳ ngữ nghĩa khái niệm ( lệ như “Phòng tử”, “Môn” ), dụng tiết điểm gian đích liên tuyến biểu kỳ ngữ nghĩa quan hệ ( lệ như “Hữu -- nhất cá” ), tựu khả dĩ cấu tạo xuất “Ngữ nghĩa võng( semantic net )”. Đệ nhất cá sử dụng ngữ nghĩa võng đích AI trình tự do Ross Quillian khai phát;[55]Nhi tối vi thành công ( dã thị tối hữu tranh nghị ) đích nhất cá tắc thị Roger Schank đích “Khái niệm quan liên ( Conceptual Dependency )”.[56]

Joseph Weizenbaum đích ELIZA thị đệ nhất cá liêu thiên cơ khí nhân, khả năng dã thị tối hữu thú đích hội thuyết anh ngữ đích trình tự. Dữ ELIZA “Liêu thiên” đích dụng hộ hữu thời hội ngộ dĩ vi tự kỷ thị tại hòa nhân loại, nhi bất thị hòa nhất cá trình tự, giao đàm. Đãn thị thật tế thượng ELIZA căn bổn bất tri đạo tự kỷ tại thuyết thập ma. Tha chỉ thị án cố định sáo lộ tác đáp, hoặc giả dụng phù hợp ngữ pháp đích phương thức tương vấn đề phục thuật nhất biến.[57]

Vi thế giới[Biên tập]

60 niên đại hậu kỳ,Ma tỉnh lý công đại họcAI thật nghiệm thất đích mã văn · mẫn tư cơ hòaTây ma nhĩ · phái phổ đặcKiến nghị AI nghiên cứu giả môn chuyên chú vu bị xưng vi “Vi thế giới” đích giản đan tràng cảnh. Tha môn chỉ xuất tại thành thục đích học khoa trung vãng vãng sử dụng giản hóa mô hình bang trợ cơ bổn nguyên tắc đích lý giải, lệ như vật lý học trung đích quang hoạt bình diện hòa hoàn mỹ cương thể. Hứa đa giá loại nghiên cứu đích tràng cảnh thị “Tích mộc thế giới”, kỳ trung bao quát nhất cá bình diện, thượng diện bãi phóng trứ nhất ta bất đồng hình trạng, xích thốn hòa nhan sắc đích tích mộc.[58]

Tại giá nhất chỉ đạo tư tưởng hạ,Kiệt lạp đức · kiệt y · tát tư mạn( nghiên cứu tổ trường ), a đạo phật · cổ tư mạn ( Adolfo Guzman ),Đại vệ · ngõa nhĩ tư( David Waltz, “Ước thúc truyện bá ( constraint propagation )” đích đề xuất giả ), đặc biệt thị Patrick Winston đẳng nhân tạiCơ khí thị giácLĩnh vực tác xuất liễu sang tạo tính cống hiến. Đồng thời, Minsky hòa Papert chế tác liễu nhất cá hội đáp tích mộc đích cơ khí tí, tòng nhi tương “Tích mộc thế giới” biến vi hiện thật. Vi thế giới trình tự đích tối cao thành tựu thị Terry Winograd đíchSHRDLU,Tha năng dụng phổ thông đích anh ngữ cú tử dữ nhân giao lưu, hoàn năng tác xuất quyết sách tịnh chấp hành thao tác.[59]

Nhạc quan tư triều[Biên tập]

Đệ nhất đại AI nghiên cứu giả môn tằng tác xuất liễu như hạ dự ngôn:

  • 1958 niên,Ngải luân · nữu ách nhĩHòaHách bá đặc · tây mông:“Thập niên chi nội, sổ tự kế toán cơ tương thành vi quốc tế tượng kỳ thế giới quan quân” “Thập niên chi nội, sổ tự kế toán cơ tương phát hiện tịnh chứng minh nhất cá trọng yếu đích sổ học định lý”[60].
  • 1965 niên, hách bá đặc · tây mông: “Nhị thập niên nội, cơ khí tương năng hoàn thành nhân năng tố đáo đích nhất thiết công tác.”[61]
  • 1967 niên,Mã văn · mẫn tư cơ:“Nhất đại chi nội…… Sang tạo ‘ nhân công trí năng ’ đích vấn đề tương hoạch đắc thật chất thượng đích giải quyết.”[62]
  • 1970 niên, mã văn · mẫn tư cơ: “Tại tam đáo bát niên đích thời gian lí ngã môn tương đắc đáo nhất đài cụ hữu nhân loại bình quân trí năng đích cơ khí.”[63]

Kinh phí[Biên tập]

1963 niên 6 nguyệt,MITTòng tân kiến lập đích ARPA ( tức hậu lai đích DARPA, quốc phòng cao đẳng nghiên cứu kế hoa cục ) hoạch đắc liễu nhị bách nhị thập vạn mỹ nguyên kinh phí, dụng vu tư trợ MAC công trình, kỳ trung bao quát Minsky hòa McCarthy ngũ niên tiền kiến lập đích AI nghiên cứu tổ. Thử hậu ARPA mỗi niên đề cung tam bách vạn mỹ nguyên, trực đáo thất thập niên đại vi chỉ.[64]ARPA hoàn đối ngải luân · nữu ách nhĩ hòa hách bá đặc · tây mông tạiTạp nội cơ mai long đại họcĐích công tác tổ dĩ cập tư thản phúc đại học AI hạng mục ( do John McCarthy vu 1963 niên sang kiến ) tiến hành loại tự đích tư trợ.[65]Lánh nhất cá trọng yếu đích AI thật nghiệm thất vu 1965 niên do Donald Michie tạiÁi đinh bảo đại họcKiến lập.[66]Tại tiếp hạ lai đích hứa đa niên gian, giá tứ cá nghiên cứu cơ cấu nhất trực thị AI học thuật giới đích nghiên cứu ( hòa kinh phí ) trung tâm.[67]

Kinh phí kỉ hồ thị vô điều kiện địa đề cung đích: Thời nhậm ARPA chủ nhậm đích J. C. R. Licklider tương tín tha đích tổ chức ứng cai “Tư trợ nhân, nhi bất thị hạng mục”, tịnh thả duẫn hứa nghiên cứu giả khứ tố nhậm hà cảm hưng thú đích phương hướng.[68]Giá đạo trí liễu MIT vô ước vô thúc đích nghiên cứu phân vi cập kỳhackerVăn hóa đích hình thành,[69]Đãn thị hảo cảnh bất trường.

Đệ nhất thứ AI đê cốc: 1974 - 1980[Biên tập]

Đáo liễu 70 niên đại, AI khai thủy tao ngộ phê bình, tùy chi nhi lai đích hoàn hữu tư kim thượng đích khốn nan. AI nghiên cứu giả môn đối kỳ khóa đề đích nan độ vị năng tác xuất chính xác phán đoạn: Thử tiền đích quá vu nhạc quan sử nhân môn kỳ vọng quá cao, đương thừa nặc vô pháp đoái hiện thời, đối AI đích tư trợ tựu súc giảm hoặc thủ tiêu liễu.[70]Đồng thời, do vu mã văn · mẫn tư cơ đốiCảm tri khíĐích kích liệt phê bình,Liên kết chủ nghĩa( tứcThần kinh võng lạc) tiêu thanh nặc tích liễu thập niên.[71]70 niên đại hậu kỳ, tẫn quản tao ngộ liễu công chúng đích ngộ giải, AI tạiLa tập biên trình,Thường thức thôi lý đẳng nhất ta lĩnh vực hoàn thị hữu sở tiến triển.[72]

Vấn đề[Biên tập]

70 niên đại sơ, AI tao ngộ liễu bình cảnh. Tức sử thị tối kiệt xuất đích AI trình tự dã chỉ năng giải quyết tha môn thường thí giải quyết đích vấn đề trung tối giản đan đích nhất bộ phân, dã tựu thị thuyết sở hữu đích AI trình tự đô chỉ thị “Ngoạn cụ”.[73]AI nghiên cứu giả môn tao ngộ liễu vô pháp khắc phục đích cơ sở tính chướng ngại, tẫn quản mỗ ta cục hạn hậu lai bị thành công đột phá.[74]

  • Kế toán cơ đích vận toán năng lực. Đương thời đích kế toán cơ hữu hạn đích nội tồn hòa xử lý tốc độ bất túc dĩ giải quyết nhậm hà thật tế đích AI vấn đề. Lệ như, la tư · khuê lợi ân ( Ross Quillian ) tại tự nhiên ngữ ngôn phương diện đích nghiên cứu kết quả chỉ năng dụng nhất cá hàm nhị thập cá đan từ đích từ hối biểu tiến hành diễn kỳ, nhân vi nội tồn chỉ năng dung nạp giá ma đa.[75]1976 niên,Hán tư · mạc lạp duy khắcChỉ xuất, kế toán cơ ly trí năng đích yếu cầu hoàn soa thượng bách vạn bội. Tha tố liễu cá loại bỉ: Nhân công trí năng nhu yếu cường đại đích kế toán năng lực, tựu tượng phi cơ nhu yếu đại công suất động lực nhất dạng, đê vu nhất cá môn hạn thời thị vô pháp thật hiện đích; đãn thị tùy trứ năng lực đíchĐề thăng,Vấn đề trục tiệm hội biến đắc giản đan.[76]
  • Kế toán phục tạp tínhHòa chỉ sổ bạo tạc. 1972 niênLý tra đức · tạp phổCăn cưSử đề phân · cổ khắcVu 1971 niên đề xuất đíchCook-Levin lý luậnChứng minh,Hứa đa vấn đềChỉ khả năng tạiChỉ sổ thời gianNội hoạch giải ( tức, kế toán thời gian dữ thâu nhập quy mô đích mịch thành chính bỉ ). Trừ liễu na ta tối giản đan đích tình huống, giá ta vấn đề đích giải quyết nhu yếu cận hồ vô hạn trường đích thời gian. Giá tựu ý vị trứ AI trung đích hứa đa ngoạn cụ trình tự khủng phạ vĩnh viễn dã bất hội phát triển vi thật dụng đích hệ thống.[77]
  • Thường thứcDữ thôi lý. Hứa đa trọng yếu đích AI ứng dụng, lệ nhưCơ khí thị giácHòaTự nhiên ngữ ngôn,Đô nhu yếu đại lượng đối thế giới đích nhận thức tín tức. Trình tự ứng cai tri đạo tha tại khán thập ma, hoặc giả tại thuyết ta thập ma. Giá yếu cầu trình tự đối giá cá thế giới cụ hữu nhi đồng thủy bình đích nhận thức. Nghiên cứu giả môn ngận khoái phát hiện giá cá yếu cầu thái cao liễu: 1970 niên một nhân năng cú tố xuất như thử cự đại đích sổ cư khố, dã một nhân tri đạo nhất cá trình tự chẩm dạng tài năng học đáo như thử phong phú đích tín tức.[78]
  • Mạc lạp duy khắc bội luận.Chứng minh định lý hòa giải quyết kỉ hà vấn đề đối kế toán cơ nhi ngôn tương đối dung dịch, nhi nhất ta khán tự giản đan đích nhậm vụ, như nhân kiểm thức biệt hoặc xuyên quá ốc tử, thật hiện khởi lai khước cực đoan khốn nan. Giá dã thị 70 niên đại trung kỳCơ khí thị giácHòaCơ khí nhânPhương diện tiến triển hoãn mạn đích nguyên nhân.[79]
  • Khuông giá hòa tư cách vấn đề. Thải thủ la tập quan điểm đích AI nghiên cứu giả môn ( lệ như John McCarthy ) phát hiện, như quả bất đối la tập đích kết cấu tiến hành điều chỉnh, tha môn tựu vô pháp đối thường kiến đích thiệp cậpTự động quy hoa( planning or default reasoning ) đích thôi lý tiến hành biểu đạt. Vi giải quyết giá nhất vấn đề, tha môn phát triển liễu tân la tập học ( nhưPhi đan điều la tập( non-monotonic logics ) hòaMô thái la tập( modal logics ) ).[80]

Đình chỉ bát khoản[Biên tập]

Do vu AI đích tiến triển hoãn mạn, đối AI đề cung tư trợ đích cơ cấu ( như anh quốc chính phủ, DARPA hòa NRC ) đối vô phương hướng đích AI nghiên cứu trục tiệm đình chỉ liễu tư trợ. Tảo tại 1966 niên ALPAC ( Automatic Language Processing Advisory Committee, tự động ngữ ngôn xử lý cố vấn ủy viên hội ) đích báo cáo trung tựu hữu phê bình cơ khí phiên dịch tiến triển đích ý vị, dự kỳ liễu giá nhất cục diện đích lai lâm. NRC ( National Research Council, mỹ quốc quốc gia khoa học ủy viên hội ) tại bát khoản nhị thiên vạn mỹ nguyên hậu đình chỉ tư trợ.[81]1973 niênChiêm mỗ tư · lai đặc hi nhĩChâm đối anh quốc AI nghiên cứu trạng huống đích báo cáo phê bình liễu AI tại thật hiện kỳ “Hoành vĩ mục tiêu” thượng đích hoàn toàn thất bại, tịnh đạo trí liễu anh quốc AI nghiên cứu đích đê triều[82]( cai báo cáo đặc biệt đề đáo liễu chỉ sổ bạo tạc vấn đề, dĩ thử tác vi AI thất bại đích nhất cá nguyên nhân ).[83]DARPA tắc đối CMU đích ngữ âm lý giải nghiên cứu hạng mục thâm cảm thất vọng, tòng nhi thủ tiêu liễu mỗi niên tam bách vạn mỹ nguyên đích tư trợ.[84]Đáo liễu 1974 niên dĩ kinh ngận nan tái trảo đáo đối AI hạng mục đích tư trợ.

Hans Moravec tương phê bình quy cữu vu tha đích đồng hành môn bất thiết thật tế đích dự ngôn: “Hứa đa nghiên cứu giả lạc tiến liễu nhất trương nhật ích phù khoa đích võng trung”.[85]Hoàn hữu nhất điểm, tự tòng 1969 niên Mansfield tu chính án thông quá hậu, DARPA bị bách chỉ tư trợ “Cụ hữu minh xác nhậm vụ phương hướng đích nghiên cứu, nhi bất thị vô phương hướng đích cơ sở nghiên cứu”. 60 niên đại na chủng đối tự do tham tác đích tư trợ nhất khứ bất phục phản; thử hậu tư kim chỉ đề cung cấp mục tiêu minh xác đích đặc định hạng mục, bỉ như tự động thản khắc, hoặc giả chiến dịch quản lý hệ thống.[86]

Lai tự đại học đích phê bình[Biên tập]

Nhất ta triết học gia cường liệt phản đối AI nghiên cứu giả đích chủ trương. Kỳ trung tối tảo đích nhất cá thị John Lucas, tha nhận viCa đức nhĩ bất hoàn bị định lýDĩ kinh chứng minhHình thức hệ thống( lệ như kế toán cơ trình tự ) bất khả năng phán đoạn mỗ ta trần thuật đích chân lý tính, đãn thị nhân loại khả dĩ.[87]Tu bá đặc · đức lôi phúc tư ( Hubert Dreyfus ) phúng thứ lục thập niên đại AI giới na ta vị thật hiện đích dự ngôn, tịnh thả phê bình AI đích cơ sở giả thiết, nhận vi nhân loại thôi lý thật tế thượng cận thiệp cập thiếu lượng “Phù hào xử lý”, nhi đại đa thị cụ thể đích, trực giác đích, hạ ý thức đích “Khiếu môn ( know how )”.[88][89]Ước hàn · hi nhĩ lặc vu 1980 niên đề xuất “Trung văn phòng gian”Thật nghiệm, thí đồ chứng minh trình tự tịnh bất “Lý giải” tha sở sử dụng đích phù hào, tức sở vị đích “Ý hướng tính( intentionality )” vấn đề. Hi nhĩ lặc nhận vi, như quả phù hào đối vu cơ khí nhi ngôn một hữu ý nghĩa, na ma tựu bất năng nhận vi cơ khí thị tại “Tư khảo”.[90]

AI nghiên cứu giả môn tịnh bất thái bả giá ta phê bình đương hồi sự, nhân vi tha môn tự hồ hữu ta ly đề, nhiKế toán phục tạp tínhHòa “Nhượng trình tự cụ hữu thường thức” đẳng vấn đề tắc hiển đắc canh gia khẩn bách hòa nghiêm trọng. Đối vu thật tế đích kế toán cơ trình tự nhi ngôn, “Thường thức” hòa “Ý hướng tính” đích khu biệt tịnh bất minh hiển. Mã văn · mẫn tư cơ đề đáo đức lôi phúc tư hòa hi nhĩ lặc thời thuyết, “Tha môn ngộ giải liễu, sở dĩ ứng cai hốt lược”.[91]Tại MIT nhậm giáo đích đức lôi phúc tư tao đáo liễu AI trận doanh đích lãnh ngộ: Tha hậu lai thuyết, AI nghiên cứu giả môn “Sinh phạ bị nhân khán đáo tại hòa ngã nhất khởi cật ngọ phạn”.[92]ELIZA trình tự đích tác giả ước sắt phu · duy sâm bào mỗ cảm đáo tha đích đồng sự môn đối đãi đức lôi phúc tư đích thái độ bất thái chuyên nghiệp, nhi thả hữu ta hài tử khí. Tuy nhiên tha trực ngôn bất húy địa phản đối đức lôi phúc tư đích luận điểm, đãn tha “Thanh sở địa biểu minh liễu tha môn đãi nhân đích phương thức bất đối”.[93]

Ước sắt phu · duy sâm bào mỗ hậu lai khai thủy tư khảo AI tương quan đích luân lý vấn đề, khởi nhân thị Kenneth Colby khai phát liễu nhất cá mô phảng y sư đích liêu thiên cơ khí nhân DOCTOR, tịnh dụng tha đương tác chân chính đích y liệu công cụ. Nhị nhân phát sinh tranh chấp; tuy nhiên Colby nhận vi ước sắt phu · duy sâm bào mỗ đối tha đích trình tự một hữu cống hiến, đãn giá vu sự vô bổ. 1976 niên ước sắt phu · duy sâm bào mỗ xuất bản trứ tác 《 kế toán cơ đích lực lượng dữ nhân loại đích thôi lý 》, thư trung biểu kỳ nhân công trí năng đích lạm dụng khả năng tổn hại nhân loại sinh mệnh đích giới trị.[94]

Cảm tri khí dữ liên kết chủ nghĩa tao đáo lãnh lạc[Biên tập]

Cảm tri khíThịThần kinh võng lạcĐích nhất chủng hình thức, do phất lan khắc · la sâm ba đặc ( Frank Rosenblatt ) vu 1958 niên đề xuất. Dữ đa sổ AI nghiên cứu giả nhất dạng, tha đối giá nhất phát minh đích tiềm lực phi thường nhạc quan, dự ngôn thuyết “Cảm tri khí tối chung tương năng cú học tập, tác xuất quyết sách hòa phiên dịch ngữ ngôn”. Chỉnh cá lục thập niên đại lí giá nhất phương hướng đích nghiên cứu công tác đô ngận hoạt dược.

1969 niên Minsky hòa Papert xuất bản liễu trứ tác 《 cảm tri khí 》, thư trung ám kỳ cảm tri khí cụ hữu nghiêm trọng cục hạn, nhi Frank Rosenblatt đích dự ngôn quá vu khoa trương. Giá bổn thư đích ảnh hưởng thị phá phôi tính đích:Liên kết chủ nghĩaĐích nghiên cứu nhân thử đình trệ liễu thập niên. Hậu lai tân nhất đại nghiên cứu giả sử giá nhất lĩnh vực hoạch đắc trọng sinh, tịnh sử kỳ thành vi nhân công trí năng trung đích trọng yếu bộ phân; di hám đích thị Rosenblatt một năng khán đáo giá ta, tha tại 《 cảm tri khí 》 vấn thế hậu bất cửu tức nhân du thuyền sự cố khứ thế.[71]

“Giản ước phái ( the neats )”: La tập, Prolog ngữ ngôn hòa chuyên gia hệ thống[Biên tập]

Tảo tại 1958 niên, John McCarthy tựu đề xuất liễu danh vi “Nạp gián giả ( Advice Taker )” đích nhất cá trình tự cấu tưởng, tương la tập học dẫn nhập liễu AI nghiên cứu giới.[95]1963 niên, J. Alan Robinson phát hiện liễu tại kế toán cơ thượng thật hiện thôi lý đích giản đan phương pháp: Quy kết ( resolution ) dữ hợp nhất ( unification ) toán pháp. Nhiên nhi, căn cư 60 niên đại mạt McCarthy hòa tha đích học sinh môn đích công tác, đối giá nhất tưởng pháp đích trực tiếp thật hiện cụ hữu cực cao đích kế toán phục tạp độ: Tức sử thị chứng minh ngận giản đan đích định lý dã nhu yếu thiên văn sổ tự đích bộ sậu.[96]70 niên đại Robert Kowalsky tại Edinburgh đại học đích công tác tắc canh cụ thành hiệu: Pháp quốc học giả Alain Colmerauer hòa Phillipe Roussel tại tha đích hợp tác hạ khai phát xuất thành công đích la tập biên trình ngữ ngônProlog.[97]Prolog sử dụng nhất tổ la tập ( dữ “Quy tắc” hòa “Sinh sản quy tắc(Anh ngữ:Production_system_(computer_science))”Mật thiết tương quan đích “Hoắc ân tử cú”), tịnh duẫn hứa tiến hành khả xử lý đích kế toán. Quy tắc trì tục đái lai ảnh hưởng, viÁi đức hoa · phí căn bào mỗĐíchChuyên gia hệ thốngDĩ cập ngải luân · nữu ách nhĩ hòa hách bá đặc · tây mông đích công tác điện định cơ sở, sử kỳ hoàn thành liễuSoarCậpNhận tri thống nhất lý luận.[98]

Dreyfus đẳng nhân châm đối la tập phương pháp đích phê bình quan điểm nhận vi, nhân loại tại giải quyết vấn đề thời tịnh một hữu sử dụng la tập vận toán. Tâm lý học gia Peter Wason, Eleanor Rosch,A ma tư · đặc ốc tư cơ,Daniel Kahneman đẳng nhân đích thật nghiệm chứng minh liễu giá nhất điểm.[99]McCarthy tắc hồi ứng thuyết, nhân loại chẩm ma tư khảo thị vô quan khẩn yếu đích: Chân chính tưởng yếu đích thị giải đề cơ khí, nhi bất thị mô phảng nhân loại tiến hành tư khảo đích cơ khí.[100]

“Vu tạp phái ( the scruffies )”: Khuông giá hòa cước bổn[Biên tập]

Đối McCarthy đích tố pháp trì phê bình ý kiến đích hoàn hữu tha tại MIT đích đồng hành môn. Mã văn · mẫn tư cơ, Seymour Papert hòa Roger Schank đẳng thí đồ nhượng cơ khí tượng nhân nhất dạng tư khảo, sử chi năng cú giải quyết “Lý giải cố sự” hòa “Mục tiêu thức biệt” nhất loại vấn đề. Vi liễu sử dụng “Y tử”, “Phạn điếm” chi loại tối cơ bổn đích khái niệm, tha môn nhu yếu nhượng cơ khí tượng nhân nhất dạng tác xuất nhất ta phi la tập đích giả thiết. Bất hạnh đích thị, giá ta bất tinh xác đích khái niệm nan dĩ dụng la tập tiến hành biểu đạt. Gerald Sussman chú ý đáo, “Sử dụng tinh xác đích ngữ ngôn miêu thuật bổn chất thượng bất tinh xác đích khái niệm, tịnh bất năng sử tha môn biến đắc tinh xác khởi lai”.[101]Schank dụng “Vu tạp ( scruffy )” nhất từ miêu thuật tha môn giá nhất “Phản la tập” đích phương pháp, dữ McCarthy, Kowalski, Feigenbaum, Newell hòa Simon đẳng nhân đích “Giản ước ( neat )” phương án tương đối.[102]

Tại 1975 niên đích nhất thiên khai sang tính luận văn trung, Minsky chú ý đáo dữ tha cộng sự đích “Vu tạp phái” nghiên cứu giả tại sử dụng đồng nhất loại hình đích công cụ, tức dụng nhất cá khuông giá nang quát sở hữu tương quan đích thường thức tính giả thiết. Lệ như, đương ngã môn sử dụng “Điểu” giá nhất khái niệm thời, não trung hội lập tức phù hiện xuất nhất hệ liệt tương quan sự thật, như hội phi, cật trùng tử, đẳng đẳng. Ngã môn tri đạo giá ta giả thiết tịnh bất nhất định chính xác, sử dụng giá ta sự thật đích thôi lý dã vị tất phù hợp la tập, đãn thị giá nhất hệ liệt giả thiết tổ thành đích kết cấu chính thị ngã môn sở tưởng hòa sở thuyết đích nhất bộ phân. Tha bả giá cá kết cấu xưng vi “Khuông giá ( frames )”. Schank sử dụng liễu “Khuông giá” đích nhất cá biến chủng, tha xưng chi vi “Cước bổn ( scripts )”, cơ vu giá nhất tưởng pháp tha sử trình tự năng cú hồi đáp quan vu nhất thiên anh ngữ đoản văn đích đề vấn.[103]Đa niên chi hậu đích diện hướng đối tượng biên trình thải nạp liễu AI “Khuông giá” nghiên cứu trung đích “Kế thừa ( inheritance )” khái niệm.

Phồn vinh: 1980—1987[Biên tập]

Tại 80 niên đại, nhất loại danh vi “Chuyên gia hệ thống”Đích AI trình tự khai thủy vi toàn thế giới đích công tư sở thải nạp, nhi “Tri thức xử lý” thành vi liễu chủ lưu AI nghiên cứu đích tiêu điểm. Nhật bổn chính phủ tại đồng nhất niên đại tích cực đầu tư AI dĩ xúc tiến kỳ đệ ngũ đại kế toán cơ công trình. 80 niên đại tảo kỳ lánh nhất cá lệnh nhân chấn phấn đích sự kiện thị John Hopfield hòa David Rumelhart sử liên kết chủ nghĩa trọng hoạch tân sinh. AI tái nhất thứ hoạch đắc liễu thành công.

Chuyên gia hệ thống hoạch đắc thưởng thức[Biên tập]

Chuyên gia hệ thốngThị nhất chủng trình tự, năng cú y cư nhất tổ tòng chuyên môn tri thức trung thôi diễn xuất đích la tập quy tắc tại mỗ nhất đặc định lĩnh vực hồi đáp hoặc giải quyết vấn đề. Tối tảo đích kỳ lệ do Edward Feigenbaum hòa tha đích học sinh môn khai phát. 1965 niên khởi thiết kế đích Dendral năng cú căn cư phân quang kế độc sổ phân biện hỗn hợp vật. 1972 niên thiết kế đích MYCIN năng cú chẩn đoạn huyết dịch truyện nhiễm bệnh. Tha môn triển kỳ liễu giá nhất phương pháp đích uy lực.[104]

Chuyên gia hệ thống cận hạn vu nhất cá ngận tiểu đích tri thức lĩnh vực, tòng nhi tị miễn liễu thường thức vấn đề; kỳ giản đan đích thiết kế hựu sử tha năng cú giác vi dung dịch địa biên trình thật hiện hoặc tu cải. Tổng chi, thật tiễn chứng minh liễu giá loại trình tự đích thật dụng tính. Trực đáo hiện tại AI tài khai thủy biến đắc thật dụng khởi lai.[105]

1980 niên CMU vi DEC ( Digital Equipment Corporation, sổ tự thiết bị công tư ) thiết kế liễu nhất cá danh vi XCON đích chuyên gia hệ thống, giá thị nhất cá cự đại đích thành công. Tại 1986 niên chi tiền, tha mỗi niên vi công tư tỉnh hạ tứ thiên vạn mỹ nguyên.[106]Toàn thế giới đích công tư đô khai thủy nghiên phát hòa ứng dụng chuyên gia hệ thống, đáo 1985 niên tha môn dĩ tại AI thượng đầu nhập thập ức mỹ nguyên dĩ thượng, đại bộ phân dụng vu công tư nội thiết đích AI bộ môn. Vi chi đề cung chi trì đích sản nghiệp ứng vận nhi sinh, kỳ trung bao quát Symbolics, Lisp Machines đẳng ngạnh kiện công tư hòa IntelliCorp, Aion đẳng nhuyễn kiện công tư.[107]

Tri thức cách mệnh[Biên tập]

Chuyên gia hệ thống đích năng lực lai tự vu tha môn tồn trữ đích chuyên nghiệp tri thức. Giá thị 80 niên đại dĩ lai AI nghiên cứu đích nhất cá tân phương hướng.[108]Pamela McCorduck tại thư trung tả đạo, “Bất tình nguyện đích AI nghiên cứu giả môn khai thủy hoài nghi, nhân vi tha vi bối liễu khoa học nghiên cứu trung đối tối giản hóa đích truy cầu. Trí năng khả năng nhu yếu kiến lập tại đối phân môn biệt loại đích đại lượng tri thức đích đa chủng xử lý phương pháp chi thượng.” “80 niên đại đích giáo huấn thị trí năng hành vi dữ tri thức xử lý quan hệ phi thường mật thiết. Hữu thời hoàn nhu yếu tại đặc định nhậm vụ lĩnh vực phi thường tế trí đích tri thức.”[109]Tri thức khố hệ thống hòa tri thức công trình thành vi liễu 80 niên đại AI nghiên cứu đích chủ yếu phương hướng.[110]

Đệ nhất cá thí đồ giải quyết thường thức vấn đề đích trình tự Cyc dã tại 80 niên đại xuất hiện, kỳ phương pháp thị kiến lập nhất cá dung nạp nhất cá phổ thông nhân tri đạo đích sở hữu thường thức đích cự hình sổ cư khố. Phát khởi hòa lĩnh đạo giá nhất hạng mục đích Douglas Lenat nhận vi biệt vô tiệp kính, nhượng cơ khí lý giải nhân loại khái niệm đích duy nhất phương pháp thị nhất cá nhất cá địa giáo hội tha môn. Giá nhất công trình kỉ thập niên dã một hữu hoàn thành.[111]

Trọng hoạch bát khoản: Đệ ngũ đại công trình[Biên tập]

1981 niên, nhật bổn kinh tế sản nghiệp tỉnh bát khoản bát ức ngũ thiên vạn mỹ nguyên chi trìĐệ ngũ đại kế toán cơHạng mục. Kỳ mục tiêu thị tạo xuất năng cú dữ nhân đối thoại, phiên dịch ngữ ngôn, giải thích đồ tượng, tịnh thả tượng nhân nhất dạng thôi lý đích cơ khí.[112]Lệnh “Vu tạp phái” bất mãn đích thị, tha môn tuyển dụngPrologTác vi cai hạng mục đích chủ yếu biên trình ngữ ngôn.[113]

Kỳ tha quốc gia phân phân tác xuất hưởng ứng. Anh quốc khai thủy liễu háo tư tam ức ngũ thiên vạn anh bàng đích Alvey công trình. Mỹ quốc nhất cá xí nghiệp hiệp hội tổ chức liễu MCC ( Microelectronics and Computer Technology Corporation, vi điện tử dữ kế toán cơ kỹ thuật tập đoàn ), hướng AI hòa tín tức kỹ thuật đích đại quy mô hạng mục đề cung tư trợ.[114][115]DARPA dã hành động khởi lai, tổ chức liễu chiến lược kế toán xúc tiến hội ( Strategic Computing Initiative ), kỳ 1988 niên hướng AI đích đầu tư thị 1984 niên đích tam bội.[116]

Nhất cá tứ tiết điểm đích Hopfield võng lạc.

Liên kết chủ nghĩa đích trọng sinh[Biên tập]

1982 niên, vật lý học gia John Hopfield chứng minh nhất chủng tân hình đích thần kinh võng lạc ( hiện bị xưng vi “Hopfield võng lạc” ) năng cú dụng nhất chủng toàn tân đích phương thức học tập hòa xử lý tín tức. Đại ước tại đồng thời ( tảo vu Paul Werbos ), David Rumelhart thôi quảng liễuPhản hướng truyện bá toán pháp,Nhất chủng thần kinh võng lạc huấn luyện phương pháp. Giá ta phát hiện sử 1970 niên dĩ lai nhất trực tao nhân di khí đích liên kết chủ nghĩa trọng hoạch tân sinh.[115][117]

1986 niên do Rumelhart hòa tâm lý học gia James McClelland chủ biên đích lưỡng quyển bổn luận văn tập “Phân bố thức tịnh hành xử lý”Vấn thế, giá nhất tân lĩnh vực tòng thử đắc đáo liễu thống nhất hòa xúc tiến. 90 niên đại thần kinh võng lạc hoạch đắc liễu thương nghiệp thượng đích thành công, tha môn bị ứng dụng vu quang tự phù thức biệt hòa ngữ âm thức biệt nhuyễn kiện.[115][118]

Đệ nhị thứ AI đê cốc: 1987—1993[Biên tập]

80 niên đại trung thương nghiệp cơ cấu đối AI đích truy phủng dữ lãnh lạc phù hợp kinh tế phao mạt đích kinh điển mô thức, phao mạt đích phá liệt dã tại chính phủ cơ cấu hòa đầu tư giả đối AI đích quan sát chi trung. Tẫn quản ngộ đáo các chủng phê bình, giá nhất lĩnh vực nhưng tại bất đoạn tiền tiến. Lai tự cơ khí nhân học giá nhất tương quan nghiên cứu lĩnh vực đích Rodney Brooks hòa Hans Moravec đề xuất liễu nhất chủng toàn tân đích nhân công trí năng phương án.

Nhân công trí tuệ đích đê cốc[Biên tập]

“AI chi đông”Nhất từ do kinh lịch quá 1974 niên kinh phí tước giảm đích nghiên cứu giả môn sang tạo xuất lai. Tha môn chú ý đáo liễu đối chuyên gia hệ thống đích cuồng nhiệt truy phủng, dự kế bất cửu hậu nhân môn tương chuyển hướng thất vọng.[119]Sự thật bị tha môn bất hạnh ngôn trung: Tòng 80 niên đại mạt đáo 90 niên đại sơ, AI tao ngộ liễu nhất hệ liệt tài chính vấn đề.

Biến thiên đích tối tảo chinh triệu thị 1987 niên AI ngạnh kiện thị tràng nhu cầu đích đột nhiên hạ điệt. Apple hòa IBM sinh sản đích đài thức cơ tính năng bất đoạn đề thăng, đáo 1987 niên thời kỳ tính năng dĩ kinh siêu quá liễu Symbolics hòa kỳ tha hán gia sinh sản đích ngang quý đích Lisp cơ. Lão sản phẩm thất khứ liễu tồn tại đích lý do: Nhất dạ chi gian giá cá giới trị ngũ ức mỹ nguyên đích sản nghiệp thổ băng ngõa giải.[120]

XCON đẳng tối sơ đại hoạch thành công đích chuyên gia hệ thống duy hộ phí dụng cư cao bất hạ. Tha môn nan dĩ thăng cấp, nan dĩ sử dụng, thúy nhược ( đương thâu nhập dị thường thời hội xuất hiện mạc danh kỳ diệu đích thác ngộ ), thành liễu dĩ tiền dĩ kinh bạo lộ đích các chủng các dạng đích vấn đề ( lệ như tư cách vấn đề (qualification problem(Anh ngữ:qualification problem)) ) đích hi sinh phẩm. Chuyên gia hệ thống đích thật dụng tính cận cận cục hạn vu mỗ ta đặc định tình cảnh.[121]

Đáo liễu 80 niên đại vãn kỳ, chiến lược kế toán xúc tiến hội đại phúc tước giảm đối AI đích tư trợ. DARPA đích tân nhậm lĩnh đạo nhận vi AI tịnh phi “Hạ nhất cá lãng triều”, bát khoản tương khuynh hướng vu na ta khán khởi lai canh dung dịch xuất thành quả đích hạng mục.[122]

Trực đáo 1991 niên, “Đệ ngũ đại công trình” tịnh một hữu thật hiện, sự thật thượng kỳ trung nhất ta mục tiêu, bỉ như “Dữ nhân triển khai giao đàm”, trực đáo 2010 niên dã một hữu thật hiện.[123]Dữ kỳ tha AI hạng mục nhất dạng, kỳ vọng bỉ chân chính khả năng thật hiện đích yếu cao đắc đa.[123]

Khu thể đích trọng yếu tính: Nouvelle AI dữ khảm nhập thức thôi lý[Biên tập]

80 niên đại hậu kỳ, nhất ta nghiên cứu giả căn cư cơ khí nhân học đích thành tựu đề xuất liễu nhất chủng toàn tân đích nhân công trí năng phương án.[124]Tha môn tương tín, vi liễu hoạch đắc chân chính đích trí năng, cơ khí tất tu cụ hữu khu thể - tha nhu yếu cảm tri, di động, sinh tồn, dữ giá cá thế giới giao hỗ. Tha môn nhận vi giá ta cảm tri vận động kỹ năng đối ô thường thức thôi lý đẳng cao tằng thứ kỹ năng thị chí quan trọng yếu đích, nhi trừu tượng thôi lý bất quá thị nhân loại tối bất trọng yếu, dã tối vô thú đích kỹ năng ( tham kiếnMạc lạp duy khắc bội luận).[125]Tha môn hào triệu “Tự để hướng thượng”Địa sang tạo trí năng, giá nhất chủ trương phục hưng liễu tòng 60 niên đại tựu trầm tịch hạ lai đích khống chế luận.

Lánh nhất vị tiên khu thị tại lý luận thần kinh khoa học thượng tạo nghệ thâm hậu đích David Marr, tha ô 70 niên đại lai đáo MIT chỉ đạo thị giác nghiên cứu tổ đích công tác. Tha bài xích sở hữu phù hào hóa phương pháp ( bất luận thị McCarthy đích la tập học hoàn thị Minsky đích khuông giá ), nhận vi thật hiện AI nhu yếu tự để hướng thượng địa lý giải thị giác đích vật lý cơ chế, nhi phù hào xử lý ứng tại thử chi hậu tiến hành.[126]

Tại phát biểu ô 1990 niên đích luận văn “Đại tượng bất ngoạn tượng kỳ ( Elephants Don't Play Chess )” trung, cơ khí nhân nghiên cứu giả Rodney Brooks châm đối “Vật lý phù hào hệ thống giả thiết”Đề xuất phê bình, tha nhận vi phù hào thị khả hữu khả vô đích, nhân vi “Giá cá thế giới tựu thị miêu thuật tha tự kỷ tối hảo đích mô hình. Tha tổng thị tối tân đích. Tha tổng thị bao quát liễu nhu yếu nghiên cứu đích sở hữu tế tiết. Quyết khiếu tại ô chính xác địa, túc cú tần phồn địa cảm tri tha.”[127]Tại 80 niên đại hòa 90 niên đại dã hữu hứa đa nhận tri khoa học gia phản đối cơ ô phù hào xử lý đích trí năng mô hình, nhận vi thân thể thị thôi lý đích tất yếu điều kiện, giá nhất lý luận bị xưng vi “Cụ thân đích tâm linh / lý tính / nhận tri( embodied mind/reason/cognition )” luận đề.[128]

AI: 1993—2011[Biên tập]

Hiện dĩ niên quá bán bách đích AI chung vu thật hiện liễu tha tối sơ đích nhất ta mục tiêu. Tha dĩ bị thành công địa dụng tại kỹ thuật sản nghiệp trung, bất quá hữu thời thị tại mạc hậu. Giá ta thành tựu hữu đích quy công vu kế toán cơ tính năng đích đề thăng, hữu đích tắc thị tại cao thượng đích khoa học trách nhậm cảm khu sử hạ đối đặc định đích khóa đề bất đoạn truy cầu nhi hoạch đắc đích. Bất quá, chí thiếu tại thương nghiệp lĩnh vực lí AI đích thanh dự dĩ kinh bất như vãng tích liễu. “Thật hiện nhân loại thủy bình đích trí năng” giá nhất tối sơ đích mộng tưởng tằng tại 60 niên đại lệnh toàn thế giới đích tưởng tượng lực vi chi trứ mê, kỳ thất bại đích nguyên nhân chí kim nhưng chúng thuyết phân vân. Các chủng nhân tố đích hợp lực tương AI sách phân vi các tự vi chiến đích kỉ cá tử lĩnh vực, hữu thời hầu tha môn thậm chí hội dụng tân danh từ lai yểm sức “Nhân công trí năng” giá khối bị điếm ô đích kim tự chiêu bài.[129]AI bỉ dĩ vãng đích nhậm hà thời hầu đô canh gia cẩn thận, khước dã canh gia thành công.

Lí trình bi hòa ma nhĩ định luật[Biên tập]

1997 niên 5 nguyệt 11 nhật, thâm lam thành vi chiến thắng quốc tế tượng kỳ thế giới quan quânTạp tư mạt la phuĐích đệ nhất cá kế toán cơ hệ thống.[130]2005 niên, Stanford khai phát đích nhất đài cơ khí nhân tại nhất điều sa mạc tiểu kính thượng thành công địa tự động hành sử liễu 131 anh lí, doanh đắc liễu DARPA thiêu chiến đại tái đầu tưởng.[131]2009 niên,Lam não kế họaThanh xưng dĩ kinh thành công địa mô nghĩ liễu bộ phân thử não. 2011 niên,IBM ốc sâmTham gia 《Nguy hiểm biên duyên》 tiết mục, tại tối hậu nhất tập đả bại liễu nhân loại tuyển thủ. 2016 niên 3 nguyệt,AlphaGoKích bạiLý thế 乭,Thành vi đệ nhất cá bất nhượng tử nhi kích bại chức nghiệpVi kỳKỳ sĩ đíchĐiện não vi kỳTrình thức. 2017 niên 5 nguyệt, AlphaGo tạiTrung quốc ô trấn vi kỳ phong hộiĐích tam cục bỉ tái trung kích bại[132]Đương thời thế giới bài danh đệ nhất[133][134]Đích trung quốc kỳ thủKha khiết.

Giá ta thành tựu đích thủ đắc tịnh bất thị nhân vi phạm thức thượng đích cách mệnh. Tha môn nhưng nhiên thị công trình kỹ thuật đích phục tạp ứng dụng, đãn thị kế toán cơ tính năng dĩ kinh kim phi tích bỉ liễu.[135]Sự thật thượng, thâm lam kế toán cơ bỉ khắc lí tư đa phúc · tư đặc lôi kỳ ( Christopher Strachey ) tại 1951 niên dụng lai hạ kỳ đích Ferranti Mark 1 khoái nhất thiên vạn bội.[136]Giá chủng kịch liệt tăng trường khả dĩ dụngMa nhĩ định luậtMiêu thuật: Kế toán tốc độ hòa nội tồn dung lượng mỗi lưỡng niên phiên nhất phiên. Kế toán tính năng thượng đích cơ sở tính chướng ngại dĩ bị trục tiệm khắc phục.

Trí năng đại lý[Biên tập]

90 niên đại, bị xưng vi “Trí năng đại lý”Đích tân phạm thức bị quảng phiếm tiếp thụ.[137]Tẫn quản tảo kỳ nghiên cứu giả đề xuất liễu mô khối hóa đích phân trị sách lược,[138]Đãn thị trực đáo Judea Pearl, Alan Newell đẳng nhân tương nhất ta khái niệm tòng quyết sách lý luận hòa kinh tế học trung dẫn nhập AI chi hậu hiện đại trí năng đại lý phạm thức tài trục tiệm hình thành.[139]Đương kinh tế học trung đích “Lý tính đại lý( rational agent )” dữ kế toán cơ khoa học trung đích “Đối tượng” hoặc “Mô khối” tương kết hợp, “Trí năng đại lý” phạm thức tựu hoàn thiện liễu.

Trí năng đại lý thị nhất cá hệ thống, tha cảm tri chu vi hoàn cảnh, nhiên hậu thải thủ thố thi sử thành công đích kỉ suất tối đại hóa. Tối giản đan đích trí năng đại lý thị giải quyết đặc định vấn đề đích trình tự. Dĩ tri đích tối phục tạp đích trí năng đại lý thị lý tính đích, hội tư khảo đích nhân loại. Trí năng đại lý phạm thức tương AI nghiên cứu định nghĩa vi “Đối trí năng đại lý đích học tập”. Giá thị đối tảo kỳ nhất ta định nghĩa đích thôi quảng: Tha siêu việt liễu nghiên cứu nhân loại trí năng đích phạm trù, hàm cái liễu đối sở hữu chủng loại đích trí năng đích nghiên cứu.[140]

Giá nhất phạm thức nhượng nghiên cứu giả môn thông quá học tập cô lập đích vấn đề trảo đáo khả chứng đích tịnh thả hữu dụng đích giải đáp. Tha vi AI các lĩnh vực nãi chí kinh tế học, khống chế luận đẳng sử dụng trừu tượng đại lý khái niệm đích lĩnh vực đề cung liễu miêu thuật vấn đề hòa cộng hưởng giải đáp đích nhất chủng thông dụng ngữ ngôn. Nhân môn hi vọng năng trảo đáo nhất chủng hoàn chỉnh đíchĐại lý giá cấu(Anh ngữ:Agent_architecture)( tượng Newell đíchSoarNa dạng ), duẫn hứa nghiên cứu giả môn ứng dụng giao hỗ đích trí năng đại lý kiến lập khởi thông dụng đích trí năng hệ thống.[139][141]

“Giản ước phái” đích thắng lợi[Biên tập]

Việt lai việt đa đích AI nghiên cứu giả môn khai thủy khai phát hòa sử dụng phục tạp đích sổ học công cụ.[142]Nhân môn quảng phiếm địa nhận thức đáo, hứa đa AI nhu yếu giải quyết đích vấn đề dĩ kinh thành vi sổ học, kinh tế học hòa vận trù học lĩnh vực đích nghiên cứu khóa đề. Sổ học ngữ ngôn đích cộng hưởng bất cận sử AI khả dĩ dữ kỳ tha học khoa triển khai canh cao tằng thứ đích hợp tác, nhi thả sử nghiên cứu kết quả canh dịch vu bình cổ hòa chứng minh. AI dĩ thành vi nhất môn canh nghiêm cách đích khoa học phân chi.[143]Russell hòa Norvig ( 2003 ) tương giá ta biến hóa thị vi nhất tràng “Cách mệnh” hòa “Giản ước phái đích thắng lợi”.[144][145]

Judea Pearl phát biểu vu 1988 niên đích danh trứ[146]Tương khái suất luận hòa quyết sách lý luận dẫn nhập AI. Hiện dĩ đầu nhập ứng dụng đích tân công cụ bao quátBối diệp tư võng lạc,Ẩn mã nhĩ khả phu mô hình,Tín tức luận,Tùy cơ mô hình hòa kinh điển ưu hóa lý luận. Châm đối thần kinh võng lạc hòa tiến hóa toán pháp đẳng “Kế toán trí năng” phạm thức đích tinh xác sổ học miêu thuật dã bị phát triển xuất lai.[144]

Mạc hậu đích AI[Biên tập]

AI nghiên cứu giả môn khai phát đích toán pháp khai thủy biến vi giác đại đích hệ thống đích nhất bộ phân. AI tằng kinh giải quyết liễu đại lượng đích nan đề,[147]Giá ta giải quyết phương án tại sản nghiệp giới khởi đáo liễu trọng yếu tác dụng.[148]Ứng dụng liễu AI kỹ thuật đích hữuSổ cư oạt quật,Công nghiệp cơ khí nhân,Vật lưu[149],Ngữ âm thức biệt[150],Ngân hành nghiệp nhuyễn kiện[151],Y liệu chẩn đoạn[151]HòaGoogleSưu tác dẫn kình đẳng.[152]

AI lĩnh vực tịnh vị tòng giá ta thành tựu chi trung hoạch đắc đa thiếu ích xử. AI đích hứa đa vĩ đại sang tân cận bị khán tác kế toán cơ khoa học công cụ tương trung đích nhất kiện công cụ.[153]Ni khắc · bác tư đặc la mỗGiải thích thuyết, “Ngận đa AI đích tiền duyên thành tựu dĩ bị ứng dụng tại nhất bàn đích trình tự trung, bất quá thông thường một hữu bị xưng vi AI. Giá thị nhân vi, nhất đán biến đắc túc cú hữu dụng hòa phổ biến, tha tựu bất tái bị xưng vi AI liễu.”[154]

90 niên đại đích hứa đa AI nghiên cứu giả cố ý dụng kỳ tha nhất ta danh tự xưng hô tha môn đích công tác, lệ nhưTín tức học,Tri thức hệ thống,Nhận tri hệ thốngHoặcKế toán trí năng.Bộ phân nguyên nhân thị tha môn nhận vi tha môn đích lĩnh vực dữ AI tồn tại căn bổn đích bất đồng, bất quá tân danh tự dã hữu lợi vu hoạch thủ kinh phí. Chí thiếu tại thương nghiệp lĩnh vực, đạo trí AI chi đông đích na ta vị năng đoái hiện đích thừa nặc nhưng nhiên khốn nhiễu trứ AI nghiên cứu, chính như New York Times tại 2005 niên đích nhất thiên báo đạo sở thuyết: “Kế toán cơ khoa học gia hòa nhuyễn kiện công trình sư môn tị miễn sử dụng nhân công trí năng nhất từ, nhân vi phạ bị nhận vi thị tại thuyết mộng thoại.”[155][156][157]

HAL 9000 tại na lí?[Biên tập]

1968 niênÁ sắt · khắc lạp khắcHòaSử đan lợi · khố bách lực khắcSang tác đích 《 “2001 thái không mạn du”》 trung thiết tưởng 2001 niên tương hội xuất hiện đạt đáo hoặc siêu quá nhân loại trí năng đích cơ khí. Tha môn sang tạo đích giá nhất danh vi HAL-9000 đích giác sắc thị dĩ khoa học sự thật vi y cư đích: Đương thời hứa đa đỉnh cực AI nghiên cứu giả tương tín đáo 2001 niên giá dạng đích cơ khí hội xuất hiện.[158]

“Na ma vấn đề thị, vi thập ma tại 2001 niên ngã môn tịnh vị ủng hữu HAL ni?” Mã văn · mẫn tư cơ vấn đạo.[159]Minsky nhận vi, vấn đề đích đáp án thị tuyệt đại đa sổ nghiên cứu giả túy tâm vu toản nghiên thần kinh võng lạc hòa di truyện toán pháp chi loại thương nghiệp ứng dụng, nhi hốt lược liễu thường thức thôi lý đẳng hạch tâm vấn đề. Lánh nhất phương diện, ước hàn · mạch tạp tích tắc quy cữu vu tư cách vấn đề (qualification problem(Anh ngữ:qualification problem)).[160]Lôi mông đức · khố tì ngụy nhĩTương tín vấn đề tại vu kế toán cơ tính năng, căn cưMa nhĩ định luật,Tha dự trắc cụ hữu nhân loại trí năng thủy bình đích cơ khí tương tại 2029 niên xuất hiện.[161]Kiệt phu · hoắc kim nhận vi thần kinh võng lạc nghiên cứu hốt lược liễu nhân loại đại não bì chất đích quan kiện đặc tính, nhi giản đan đích mô hình chỉ năng dụng vu giải quyết giản đan đích vấn đề.[162]Hoàn hữu hứa đa biệt đích giải thích, mỗi nhất cá đô đối ứng trứ nhất cá chính tại tiến hành đích nghiên cứu kế hoa.

Thâm độ học tập, đại sổ cư hòa thông dụng nhân công trí năng: 2011 chí kim[Biên tập]

Tiến nhập 21 thế kỷ, đắc ích vu đại sổ cư hòa kế toán cơ kỹ thuật đích khoái tốc phát triển, hứa đa tiên tiến đíchCơ khí học tậpKỹ thuật thành công ứng dụng vu kinh tế xã hội trung đích hứa đa vấn đề. Mạch khẳng tích toàn cầu nghiên cứu viện tại nhất phân đề vi 《 đại sổ cư: Sang tân, cạnh tranh hòa sinh sản lực đích hạ nhất cá tiền duyên lĩnh vực 》 đích báo cáo trung cổ kế, đáo 2009 niên, mỹ quốc kinh tế sở hữu hành nghiệp trung cụ hữu 1000 danh dĩ thượng viên công đích công tư đô chí thiếu bình quân ủng hữu nhất cá 200 triệu triệu tự tiết đích tồn trữ sổ cư.

Đáo 2016 niên, AI tương quan sản phẩm, ngạnh kiện, nhuyễn kiện đẳng đích thị tràng quy mô dĩ kinh siêu quá 80 ức mỹ nguyên, nữu ước thời báo bình giới đạo AI dĩ kinh đáo đạt liễu nhất cá nhiệt triều. Đại sổ cư ứng dụng dã khai thủy trục tiệm sấm thấu đáo kỳ tha lĩnh vực, lệ như sinh thái học mô hình huấn luyện, kinh tế lĩnh vực trung đích các chủng ứng dụng, y học nghiên cứu trung đích tật bệnh dự trắc cập tân dược nghiên phát đẳng. Thâm độ học tập ( đặc biệt thị thâm độ quyển tích thần kinh võng lạc hòa tuần hoàn võng lạc ) canh thị cực đại địa thôi động liễu đồ tượng hòa thị tần xử lý, văn bổn phân tích, ngữ âm thức biệt đẳng vấn đề đích nghiên cứu tiến trình.

Thâm độ học tập[Biên tập]

Chủ điều mục:Thâm độ học tập

Thâm độ học tập thị cơ khí học tập đích nhất cá phân chi, tha thông quá nhất cá hữu trứ ngận đa tằng xử lý đan nguyên đích thâm tằng võng lạc đối sổ cư trung đích cao cấp trừu tượng tiến hành kiến mô. Căn cư toàn cục bức cận nguyên lý ( Universal approximation theorem ), đối vu thần kinh võng lạc nhi ngôn, như quả yếu nghĩ hợp nhậm ý liên tục hàm sổ, thâm độ tính tịnh bất thị tất tu đích, tức sử nhất cá đan tằng đích võng lạc, chỉ yếu ủng hữu túc cú đa đích phi tuyến tính kích hoạt đan nguyên, dã khả dĩ đạt đáo nghĩ hợp mục đích. Đãn thị, mục tiền thâm độ thần kinh võng lạc đắc đáo liễu canh đa đích quan chú, giá chủ yếu thị nguyên vu kỳ kết cấu tằng thứ tính, năng cú khoái tốc kiến mô canh gia phục tạp đích tình huống, đồng thời tị miễn thiển tằng võng lạc khả năng tao ngộ đích chư đa khuyết điểm.

Nhiên nhi, thâm độ học tập dã hữu tự thân đích khuyết điểm. Dĩ tuần hoàn thần kinh võng lạc vi lệ, nhất cá tối thường kiến đích vấn đề thị thê độ tiêu thất vấn đề ( duyên trứ thời gian tự liệt phản hướng truyện bá quá trình trung, thê độ trục tiệm giảm tiểu đáo 0 phụ cận, tạo thành học tập đình trệ ). Vi liễu giải quyết giá ta vấn đề, ngận đa châm đối tính đích mô hình bị đề xuất lai, lệ như LSTM ( trường đoản kỳ ký ức võng lạc, tảo tại 1997 niên tựu dĩ kinh đề xuất, tối cận tùy trứ RNN đích đại hỏa, hựu trọng tân tiến nhập đại chúng thị dã ), GRU ( môn khống tuần hoàn thần kinh đan nguyên ) đẳng đẳng.

Hiện tại, tối tiên tiến đích thần kinh võng lạc kết cấu tại mỗ ta lĩnh vực dĩ kinh năng cú đạt đáo thậm chí siêu quá nhân loại bình quân chuẩn xác suất, lệ như tại kế toán cơ thị giác lĩnh vực, đặc biệt thị nhất ta cụ thể đích nhậm vụ thượng, bỉ nhưMNIST sổ cư tập(Anh ngữ:MNIST database)( nhất cá thủ tả sổ tự thức biệt sổ cư tập ), giao thông tín hào đăng thức biệt đẳng. Tái như du hí lĩnh vực, Google đích deepmind đoàn đội nghiên phát đích AlphaGo, tại vấn đề sưu tác phục tạp độ cực cao đích vi kỳ thượng, dĩ kinh đả biến thiên hạ vô địch thủ.

Đại sổ cư[Biên tập]

Chủ điều mục:Đại sổ cư

Đại sổ cư thị chỉ tại nhất định thời gian nội vô pháp bị truyện thống nhuyễn kiện công cụ bộ hoạch, quản lý hòa xử lý đích sổ cư tập hợp, nhu yếu tân đích xử lý mô thức tài năng cụ hữu canh cường đích quyết sách lực, động sát phát hiện lực hòa lưu trình ưu hóa năng lực lai thích ứng kết cấu hóa sổ cư đích cao tăng trường suất hòa đa dạng hóa đích tín tức tư sản. Tại Victor Meyer Schonberg hòa Kenneth Cooke soạn tả đích 《 đại sổ cư thời đại 》 trung, đại sổ cư ý vị trứ sở hữu sổ cư đô dụng vu phân tích, nhi bất thị tùy cơ phân tích ( trừu dạng điều tra ). Đại sổ cư đích 5V đặc tính ( do IBM đề xuất ): Volume ( sổ lượng ), Velocity ( cao tốc ), Variety ( đa dạng ), Value ( đê giới trị mật độ ), Veracity ( chân thật ). Đại sổ cư kỹ thuật đích chiến lược ý nghĩa bất tại vu chưởng ác bàng đại đích sổ cư tín tức, nhi tại vu chuyên môn nghiên cứu giá ta hữu ý nghĩa đích sổ cư. Hoán ngôn chi, như quả tương đại sổ cư bỉ dụ vi nhất cá hành nghiệp, na ma giá cá hành nghiệp thật hiện doanh lợi đích quan kiện thị tăng gia sổ cư đích “Xử lý năng lực”, thông quá “Xử lý” thật hiện sổ cư đích “Tăng trị”.

Cường hóa học tập dữ đại hình ngữ ngôn mô hình[Biên tập]

Chủ điều mục:Thông dụng nhân công trí tuệ

Cường hóa học tập thị cơ khí học tập trung đích nhất cá lĩnh vực, cường điều như hà cơ vu hoàn cảnh nhi hành động, dĩ thủ đắc tối đại hóa đích dự kỳ lợi ích. Cường hóa học tập thị trừ liễu giam đốc học tập hòa phi giam đốc học tập chi ngoại đích đệ tam chủng cơ bổn đích cơ khí học tập phương pháp. 2022 niên, nhân công trí năng liêu thiên cơ khí nhân trình tựChatGPTCơ vuGPT-3.5Giá cấu đíchĐại hình ngữ ngôn mô hìnhTịnh thông quá cường hóa học tập tiến hành huấn luyện, dĩ văn tự phương thức giao hỗ, khả thông quá nhân loại tự nhiên đối thoại phương thức tiến hành giao hỗ, hoàn khả dụng vu tương đối phục tạp đích ngữ ngôn công tác, bao quát tự động văn bổn sinh thành, tự động vấn đáp, tự động trích yếu đẳng tại nội đích đa chủng nhậm vụ.

Chú thích[Biên tập]

  1. ^1.01.1McCorduck 2004.
  2. ^Kaplan Andreas; Michael Haenlein (2018) Siri, Siri in my Hand, who's the Fairest in the Land? On the Interpretations, Illustrations and Implications of Artificial Intelligence, Business Horizons, 62(1).[2018-11-25].(Nguyên thủy nội dungTồn đương vu 2018-11-21 ).
  3. ^Lệ nhưKurzweil (2005) trung đề xuất cụ hữuNhân loại cấp biệt trí năngĐích cơ khí tương tại 2029 niên xuất hiện.
  4. ^Turing 1950,Đệ 460 hiệt
  5. ^McCorduck 2004,Đệ 5–35 hiệt.
  6. ^McCorduck 2004,Đệ 5 hiệt; Russell & Norvig 2003,Đệ 939 hiệt
  7. ^ McCorduck 2004,Đệ 15–16 hiệt; Buchanan 2005,Đệ 50 hiệt (Judah Loew'sGolem); McCorduck 2004,Đệ 13–14 hiệt (Paracelsus); O'Connor 1994(Geber'sTakwin)
  8. ^McCorduck 2004,Đệ 17–25 hiệt.
  9. ^Butler 1863.
  10. ^ Needham 1986,Đệ 53 hiệt
  11. ^ McCorduck 2004,Đệ 6 hiệt
  12. ^Nick 2005.
  13. ^ McCorduck 2004,Đệ 17 hiệt and see alsoLevitt 2000
  14. ^ Quoted inMcCorduck 2004,Đệ 8 hiệt.Crevier 1993,Đệ 1 hiệt andMcCorduck 2004,Đệ 6–9 hiệt discusses sacred statues.
  15. ^Other importantautomatons were built byHaroun al-RashidMcCorduck 2004,Đệ 10 hiệt,Jacques de VaucansonMcCorduck 2004,Đệ 16 hiệt andLeonardo Torres y QuevedoMcCorduck 2004,Đệ 59–62 hiệt
  16. ^16.016.116.216.3 Berlinski 2000
  17. ^Cfr. Carreras Artau, Tomás y Joaquín.Historia de la filosofía española. Filosofía cristiana de los siglos XIII al XV.Madrid, 1939, Volume I
  18. ^Bonner, Anthonny,The Art and Logic of Ramón Llull: A User's Guide,Brill, 2007.
  19. ^Anthony Bonner (ed.), Doctor Illuminatus. A Ramon Llull Reader (Princeton University 1985). Vid. "Llull's Influence: The History of Lullism" at 57-71
  20. ^ 17th century mechanism and AI:
  21. ^ Hobbes and AI:
  22. ^ Leibniz and AI:
  23. ^ TheLambda calculuswas especially important to AI, since it was an inspiration forLisp(the most important programming language used in AI).Crevier 1993,Đệ 190 196,61 hiệt
  24. ^ TheTuring machine: McCorduck 2004,Đệ 63–64 hiệt, Crevier 1993,Đệ 22–24 hiệt, Russell & Norvig 2003,Đệ 8 hiệt and see Turing 1936
  25. ^Menabrea 1843
  26. ^ McCorduck 2004,Đệ 61–62, 64–66 hiệt,Russell & Norvig 2003,Đệ 14–15 hiệt
  27. ^ Von Neumann:McCorduck (2004,pp. 76–80)
  28. ^ The starting and ending dates of the sections in this article are adopted fromCrevier 1993andRussell & Norvig 2003,Đệ 16−27 hiệt. Themes, trends and projects are treated in the period that the most important work was done.
  29. ^ McCorduck 2004,Đệ 51–57, 80–107 hiệt, Crevier 1993,Đệ 27–32 hiệt, Russell & Norvig 2003,Đệ 15, 940 hiệt, Moravec 1988,Đệ 3 hiệt, Cordeschi, 2002 & Chap. 5.
  30. ^McCorduck 2004,Đệ 98 hiệt,Crevier 1993,Đệ 27−28 hiệt,Russell & Norvig 2003,Đệ 15, 940 hiệt,Moravec 1988,Đệ 3 hiệt,Cordeschi, 2002 & Chap. 5.
  31. ^ McCorduck 2004,Đệ 51–57, 88–94 hiệt,Crevier 1993,Đệ 30 hiệt,Russell & Norvig 2003,Đệ 15−16 hiệt,Cordeschi, 2002 & Chap. 5and see alsoPitts & McCullough 1943
  32. ^See"A Brief History of Computing"(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán) at AlanTuring.net.
  33. ^Schaeffer, Jonathan.One Jump Ahead:: Challenging Human Supremacy in Checkers,1997,2009, Springer,ISBN 978-0-387-76575-4.Chapter 6.
  34. ^ McCorduck 2004,Đệ 70−72 hiệt, Crevier 1993,Đệ 22−25 hiệt, Russell & Norvig 2003,Đệ 2−3 and 948 hiệt, Haugeland 1985,Đệ 6−9 hiệt, Cordeschi 2002,Đệ 170–176 hiệt. See also Turing 1950
  35. ^Norvig & Russell (2003,p. 948) claim that Turing answered all the major objections to AI that have been offered in the years since the paper appeared.
  36. ^McCorduck 2004,Đệ 137–170 hiệt,Crevier,Đệ 44–47 hiệt
  37. ^ McCorduck 2004,Đệ 123–125 hiệt,Crevier 1993,Đệ 44−46 hiệt andRussell & Norvig 2003,Đệ 17 hiệt
  38. ^ Quoted inCrevier 1993,Đệ 46 hiệt andRussell & Norvig 2003,Đệ 17 hiệt
  39. ^ Russell & Norvig 2003,Đệ 947,952 hiệt
  40. ^ McCorduck 2004,Đệ 111–136 hiệt, Crevier 1993,Đệ 49–51 hiệt and Russell & Norvig 2003,Đệ 17 hiệt
  41. ^ SeeMcCarthy 1955.Also seeCrevier 1993,Đệ 48 hiệt whereCrevierstates "[the proposal] later became known as the 'physical symbol systems hypothesis'". Thephysical symbol systemhypothesis was articulated and named byNewellandSimonin their paper onGPS.Newell & Simon 1963It includes a more specific definition of a "machine" as an agent that manipulates symbols. See thephilosophy of artificial intelligence.
  42. ^ McCorduck 2004,Đệ 129–130 hiệt discusses how the Dartmouth conference alumni dominated the first two decades of AI research, calling them the "invisible college".
  43. ^ "I won't swear and I hadn't seen it before," McCarthy toldPamela McCorduckin 1979.McCorduck 2004,Đệ 114 hiệt However,McCarthyalso stated unequivocally "I came up with the term" in aCNETinterview.Skillings 2006
  44. ^ Crevier 1993,Đệ 49 hiệt writes "the conference is generally recognized as the official birthdate of the new science."
  45. ^Russell and Norvig write "it was astonishing whenever a computer did anything remotely clever."Russell & Norvig 2003,Đệ 18 hiệt
  46. ^Crevier 1993,Đệ 52−107 hiệt,Moravec 1988,Đệ 9 hiệt andRussell & Norvig 2003,Đệ 18−21 hiệt
  47. ^McCorduck 2004,Đệ 218 hiệt,Crevier 1993,Đệ 108−109 hiệt andRussell & Norvig 2003,Đệ 21 hiệt
  48. ^Crevier 1993,Đệ 52−107 hiệt,Moravec 1988,Đệ 9 hiệt
  49. ^Means-ends analysis, reasoning as search:McCorduck 2004,Đệ 247–248 hiệt.Russell & Norvig 2003,Đệ 59−61 hiệt
  50. ^Heuristic:McCorduck 2004,Đệ 246 hiệt,Russell & Norvig 2003,Đệ 21−22 hiệt
  51. ^GPS:McCorduck 2004,Đệ 245–250 hiệt,Crevier 1993,Đệ GPS? Hiệt,Russell & Norvig 2003,Đệ GPS? Hiệt
  52. ^Crevier 1993,Đệ 51−58,65−66 hiệt andRussell & Norvig 2003,Đệ 18−19 hiệt
  53. ^McCorduck 2004,Đệ 268–271 hiệt,Crevier 1993,Đệ 95−96 hiệt,Moravec 1988,Đệ 14−15 hiệt
  54. ^McCorduck 2004,Đệ 286 hiệt,Crevier 1993,Đệ 76−79 hiệt,Russell & Norvig 2003,Đệ 19 hiệt
  55. ^Crevier 1993,Đệ 79−83 hiệt
  56. ^Crevier 1993,Đệ 164−172 hiệt
  57. ^McCorduck 2004,Đệ 291–296 hiệt,Crevier 1993,Đệ 134−139 hiệt
  58. ^McCorduck 2004,Đệ 299–305 hiệt,Crevier 1993,Đệ 83−102 hiệt,Russell & Norvig 2003,Đệ 19 hiệt andCopeland 2000
  59. ^McCorduck 2004,Đệ 300–305 hiệt,Crevier 1993,Đệ 84−102 hiệt,Russell & Norvig 2003,Đệ 19 hiệt
  60. ^Simon & Newell 1958,Đệ 7−8 hiệt quoted inCrevier 1993,Đệ 108 hiệt. See alsoRussell & Norvig 2003,Đệ 21 hiệt
  61. ^Simon 1965,Đệ 96 hiệt quoted inCrevier 1993,Đệ 109 hiệt
  62. ^Minsky 1967,Đệ 2 hiệt quoted inCrevier 1993,Đệ 109 hiệt
  63. ^Minsky strongly believes he was misquoted. SeeMcCorduck 2004,Đệ 272–274 hiệt,Crevier 1993,Đệ 96 hiệt andDarrach 1970.
  64. ^Crevier 1993,Đệ 64−65 hiệt
  65. ^Crevier 1993,Đệ 94 hiệt
  66. ^Howe 1994
  67. ^McCorduck 2004,Đệ 131 hiệt,Crevier 1993,Đệ 51 hiệt. McCorduck also notes that funding was mostly under the direction of alumni of theDartmouth conferenceof 1956.
  68. ^Crevier 1993,Đệ 65 hiệt
  69. ^Crevier 1993,Đệ 68−71 hiệt andTurkle 1984
  70. ^Crevier 1993,Đệ 100−144 hiệt andRussell & Norvig 2003,Đệ 21−22 hiệt
  71. ^71.071.1 McCorduck 2004,Đệ 104−107 hiệt, Crevier 1993,Đệ 102−105 hiệt, Russell & Norvig 2003,Đệ 22 hiệt
  72. ^Crevier 1993,Đệ 163−196 hiệt
  73. ^Crevier 1993,Đệ 146 hiệt
  74. ^Russell & Norvig 2003,Đệ 20−21 hiệt
  75. ^Crevier 1993,Đệ 146−148 hiệt, see alsoBuchanan 2005,Đệ 56 hiệt: "Early programs were necessarily limited in scope by the size and speed of memory"
  76. ^Moravec 1976.McCarthyhas always disagreed with Moravec, back to their early days together atSAIL.He states "I would say that 50 years ago, the machine capability was much too small, but by 30 years ago, machine capability wasn't the real problem." in aCNETinterview.Skillings 2006
  77. ^Russell & Norvig 2003,Đệ 9,21−22 hiệt andLighthill 1973
  78. ^McCorduck 2004,Đệ 300 & 421 hiệt;Crevier 1993,Đệ 113−114 hiệt;Moravec 1988,Đệ 13 hiệt;Lenat & Guha 1989,(Introduction);Russell & Norvig 2003,Đệ 21 hiệt
  79. ^McCorduck 2004,Đệ 456 hiệt,Moravec 1988,Đệ 15−16 hiệt
  80. ^McCarthy & Hayes 1969,Crevier 1993,Đệ 117−119 hiệt
  81. ^ McCorduck 2004,Đệ 280–281 hiệt,Crevier 1993,Đệ 110 hiệt,Russell & Norvig 2003,Đệ 21 hiệt andNRC 1999under "Success in Speech Recognition".
  82. ^ Crevier 1993,Đệ 117 hiệt,Russell & Norvig 2003,Đệ 22 hiệt,Howe 1994and see alsoLighthill 1973.
  83. ^Russell & Norvig 2003,Đệ 22 hiệt,Lighthill 1973,John McCarthywrote in response that "the combinatorial explosion problem has been recognized in AI from the beginning" inReview of Lighthill report(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán)
  84. ^ Crevier 1993,Đệ 115−116 hiệt (on whom this account is based). Other views includeMcCorduck 2004,Đệ 306–313 hiệt andNRC 1999under "Success in Speech Recognition".
  85. ^ Crevier 1993,Đệ 115 hiệt. Moravec explains, "Their initial promises to DARPA had been much too optimistic. Of course, what they delivered stopped considerably short of that. But they felt they couldn't in their next proposal promise less than in the first one, so they promised more."
  86. ^ NRC 1999under "Shift to Applied Research Increases Investment." While the autonomous tank was a failure, the battle management system (called "DART") proved to be enormously successful, saving billions in the firstGulf War,repaying the investment and justifying theDARPA's pragmatic policy, at least as far asDARPAwas concerned.
  87. ^Lucas and Penrose' critique of AI:Crevier 1993,Đệ 22 hiệt,Russell & Norvig 2003,Đệ 949−950 hiệt,Hofstadter 1980,Đệ 471−477 hiệtand seeLucas 1961
  88. ^"Know-how" is Dreyfus' term. (Dreyfus makes a distinction between "knowing how" and "knowing that", a modern version ofHeidegger's distinction ofready-to-handandpresent-at-hand.) (Dreyfus & Dreyfus 1986)
  89. ^Dreyfus' critique of artificial intelligence:McCorduck 2004,Đệ 211−239 hiệt,Crevier 1993,Đệ 120−132 hiệt,Russell & Norvig 2003,Đệ 950−952 hiệt and seeDreyfus 1965,Dreyfus 1972,Dreyfus & Dreyfus 1986
  90. ^Searle's critique of AI:McCorduck 2004,Đệ 443−445 hiệt,Crevier 1993,Đệ 269−271 hiệt,Russell & Norvig 2004,Đệ 958−960 hiệtand seeSearle 1980
  91. ^Quoted inCrevier 1993,Đệ 143 hiệt
  92. ^Quoted inCrevier 1993,Đệ 122 hiệt
  93. ^"I became the only member of the AI community to be seen eating lunch with Dreyfus. And I deliberately made it plain that theirs was not the way to treat a human being."Joseph Weizenbaum,quoted inCrevier 1993,Đệ 123 hiệt.
  94. ^Weizenbaum's critique of AI:McCorduck 2004,Đệ 356−373 hiệt,Crevier 1993,Đệ 132−144 hiệt,Russell & Norvig 2003,Đệ 961 hiệt and seeWeizenbaum 1976
  95. ^ McCorduck 2004,Đệ 51 hiệt,Russell & Norvig 2003,Đệ 19, 23 hiệt
  96. ^ McCorduck 2004,Đệ 51 hiệt,Crevier 1993,Đệ 190−192 hiệt
  97. ^ Crevier 1993,Đệ 193−196 hiệt
  98. ^Crevier 1993,Đệ 145–149,258–63 hiệt
  99. ^ Wason (1966) showed that people do poorly on completely abstract problems, but if the problem is restated to allowed the use of intuitivesocial intelligence,performance dramatically improves. (SeeWason selection task)Tversky, Slovic & Kahnemann (1982) have shown that people are terrible at elementary problems that involve uncertain reasoning. (Seelist of cognitive biasesfor several examples).Eleanor Rosch's work is described inLakoff 1987
  100. ^ An early example ofMcCathy'sposition was in the journalSciencewhere he said "This is AI, so we don't care if it's psychologically real" (Kolata 1982), and he recently reiterated his position at theAI@50conference where he said "Artificial intelligence is not, by definition, simulation of human intelligence" (Maker 2006).
  101. ^Crevier 1993,Đệ 175 hiệt
  102. ^Neat vs. scruffy:McCorduck 2004,Đệ 421–424 hiệt (who picks up the state of the debate in 1984).Crevier 1993,Đệ 168 hiệt (who documents Schank's original use of the term). Another aspect of the conflict was called "the procedural/declarative distinction" but did not prove to be influential in later AI research.
  103. ^McCorduck 2004,Đệ 305–306 hiệt,Crevier 1993,Đệ 170−173, 246 hiệt andRussell & Norvig 2003,Đệ 24 hiệt. Minsky's frame paper:Minsky 1974.
  104. ^McCorduck 2004,Đệ 327–335 hiệt (Dendral),Crevier 1993,Đệ 148−159 hiệt,Russell & Norvig 2003,Đệ 22−23 hiệt
  105. ^Crevier 1993,Đệ 158−159 hiệt andRussell & Norvig 2003,Đệ 23−24 hiệt
  106. ^Crevier 1993,Đệ 198 hiệt
  107. ^McCorduck 2004,Đệ 434–435 hiệt,Crevier 1993,Đệ 161−162,197−203 hiệt andRussell & Norvig 2003,Đệ 24 hiệt
  108. ^McCorduck 2004,Đệ 299 hiệt
  109. ^McCorduck 2004,Đệ 421 hiệt
  110. ^Knowledge revolution:McCorduck 2004,Đệ 266–276, 298–300, 314, 421 hiệt,Russell & Norvig,Đệ 22–23 hiệt
  111. ^Cyc:McCorduck 2004,Đệ 489 hiệt,Crevier 1993,Đệ 239−243 hiệt,Russell & Norvig 2003,Đệ 363−365 hiệt andLenat & Guha 1989
  112. ^McCorduck 2004,Đệ 436–441 hiệt,Crevier 1993,Đệ 211 hiệt,Russell & Norvig 2003,Đệ 24 hiệt and see alsoFeigenbaum & McCorduck 1983
  113. ^Crevier 1993,Đệ 195 hiệt
  114. ^Crevier 1993,Đệ 240 hiệt.
  115. ^115.0115.1115.2Russell & Norvig 2003,Đệ 25 hiệt
  116. ^McCorduck 2004,Đệ 426–432 hiệt,NRC 1999under "Shift to Applied Research Increases Investment"
  117. ^Crevier 1993,Đệ 214−215 hiệt.
  118. ^Crevier 1993,Đệ 215−216 hiệt.
  119. ^Crevier 1993,Đệ 203 hiệt.AI winterwas first used as the title of a seminar on the subject for theAssociation for the Advancement of Artificial Intelligence.
  120. ^McCorduck 2004,Đệ 435 hiệt,Crevier 1993,Đệ 209−210 hiệt
  121. ^McCorduck 2004,Đệ 435 hiệt (who cites institutional reasons for their ultimate failure),Crevier 1993,Đệ 204−208 hiệt (who cites the difficulty of truth maintenance, i.e., learning and updating),Lenat & Guha 1989,Introduction (who emphasizes the brittleness and the inability to handle excessive qualification.)
  122. ^McCorduck 2004,Đệ 430–431 hiệt
  123. ^123.0123.1McCorduck 2004,Đệ 441 hiệt,Crevier 1993,Đệ 212 hiệt. McCorduck writes "Two and a half decades later, we can see that the Japanese didn't quite meet all of those ambitious goals."
  124. ^McCorduck 2004,Đệ 454–462 hiệt
  125. ^ Moravec (1988,p. 20) writes: "I am confident that this bottom-up route to artificial intelligence will one date meet the traditional top-down route more than half way, ready to provide the real world competence and the commonsense knowledge that has been so frustratingly elusive in reasoning programs. Fully intelligent machines will result when the metaphoricalgolden spikeis driven uniting the two efforts. "
  126. ^Crevier 1993,Đệ 183−190 hiệt.
  127. ^Brooks 1990,Đệ 3 hiệt
  128. ^See, for example,Lakoff & Turner 1999
  129. ^McCorduck (2004,p. 424) discusses the fragmentation and the abandonment of AI's original goals.
  130. ^McCorduck 2004,Đệ 480–483 hiệt
  131. ^DARPA Grand Challenge -- home page.[2012-10-15].(Nguyên thủy nội dungTồn đương vu 2007-10-31 ).
  132. ^Google’s AlphaGo Continues Dominance With Second Win in China.2017-05-25[2017-05-27].( nguyên thủy nội dungTồn đươngVu 2017-05-27 ).
  133. ^Kha khiết nghênh 19 tuế sinh nhật hùng cứ nhân loại thế giới bài danh đệ nhất dĩ lưỡng niên.May 2017[2017-05-27].( nguyên thủy nội dungTồn đươngVu 2017-08-11 )( trung văn ).
  134. ^World's Go Player Ratings.24 May 2017[2017-05-27].( nguyên thủy nội dungTồn đươngVu 2017-04-01 ).
  135. ^ Kurzweil 2005,Đệ 274 hiệt writes that the improvement in computer chess, "according to common wisdom, is governed only by the brute force expansion of computer hardware."
  136. ^Cycle time ofFerranti Mark 1was 1.2 milliseconds, which is arguably equivalent to about 833flops.Deep Blueran at 11.38gigaflops(and this does not even take into account Deep Blue's special-purpose hardware for chess).Veryapproximately, these differ by a factor of 10^7.
  137. ^McCorduck 2004,Đệ 471–478 hiệt,Russell & Norvig 2003,Đệ 55 hiệt, where they write: "The whole-agent view is now widely accepted in the field". Theintelligent agentparadigm is discussed in major AI textbooks, such as:Russell & Norvig 2003,Đệ 32−58, 968−972 hiệt,Poole, Mackworth & Goebel 1998,Đệ 7−21 hiệt,Luger & Stubblefield 2004,Đệ 235−240 hiệt
  138. ^Carl Hewitt'sActor modelanticipated the modern definition of intelligent agents.Hewitt, Bishop & Steiger 1973Both John DoyleDoyle 1983andMarvin Minsky's popular classicThe Society of MindMinsky 1986used the word "agent". Other "modular" proposals includedRodney Brook'ssubsumption architecture,object-oriented programmingand others.
  139. ^139.0139.1Russell & Norvig 2003,Đệ 27, 55 hiệt
  140. ^This is how the most widely accepted textbooks of the 21st century define artificial intelligence. SeeRussell & Norvig 2003,Đệ 32 hiệt andPoole, Mackworth & Goebel 1998,Đệ 1 hiệt
  141. ^McCorduck 2004,Đệ 478 hiệt
  142. ^McCorduck 2004,Đệ 486–487 hiệt,Russell & Norvig 2003,Đệ 25–26 hiệt
  143. ^Russell & Norvig 2003
  144. ^144.0144.1Russell & Norvig 2003,Đệ 25−26 hiệt
  145. ^McCorduck 2004,Đệ 487 hiệt: "As I write, AI enjoys a Neat hegemony."
  146. ^Pearl 1988
  147. ^ SeeTemplate:See section.
  148. ^ NRC 1999under "Artificial Intelligence in the 90s", andKurzweil 2005,Đệ 264 hiệt
  149. ^Russell & Norvig 2003,Đệ 28 hiệt
  150. ^For the new state of the art in AI based speech recognition, seeThe Economist (2007)
  151. ^151.0151.1"AI-inspired systems were already integral to many everyday technologies such as internet search engines, bank software for processing transactions and in medical diagnosis."Nick Bostrom,quoted inCNN 2006
  152. ^Olsen (2004),Olsen (2006)
  153. ^McCorduck 2004,Đệ 423 hiệt,Kurzweil 2005,Đệ 265 hiệt,Hofstadter 1979,Đệ 601 hiệt
  154. ^CNN 2006
  155. ^Markoff 2005
  156. ^The Economist 2007
  157. ^Tascarella 2006
  158. ^Crevier 1993,Đệ 108−109 hiệt
  159. ^He goes on to say: "The answer is, I believe we could have... I once went to an international conference on neural net[s]. There were 40 thousand registrants... but... if you had an international conference, for example, on using multiple representations for common sense reasoning, I've only been able to find 6 or 7 people in the whole world."Minsky 2001
  160. ^Maker 2006
  161. ^Kurzweil 2005
  162. ^Hawkins & Blakeslee 2004

Tham khảo văn hiến[Biên tập]

.

Thủ tự “https://zh.wikipedia.org/w/index.php?title= nhân công trí năng sử &oldid=81848108”