Thomas Hobbes published The Leviath

Thomas Hobbes published The Leviathan (1651), containing a mechanistic and combinatorial theory of thinking.

Arithmetical machines devised by Sir Samuel Morland between 1662 and 1666

Leibniz improved Pascal's machine to do multiplication & division with a machine called the Step Reckoner (1673) and envisioned a universal calculus of reasoning by which arguments could be decided mechanically.

18th century

The 18th century saw a profusion of mechanical toys, including the celebrated mechanical duck of Vaucanson and von Kempelen's phony mechanical chess player, The Turk (1769). Edgar Allen Poe wrote (in the Southern Literary Messenger, April 1836) that the Turk could not be a machine because, if it were, it would not lose.

19th century

Joseph-Marie Jacquard invented the Jacquard loom, the first programmable machine, with instructions on punched cards (1801).

Luddites (led by Ned Ludd) destroyed machinery in England (1811-1816).

Mary Shelley published the story of Frankenstein's monster (1818). The book Frankenstein, or the Modern Prometheus available from Project Gutenberg.

Charles Babbage & Ada Byron (Lady Lovelace) designed a programmable mechanical calculating machines, the Analytical Engine (1832). A working model was built in 2002; a short video shows it working.

George Boole developed a binary algebra representing (some) "laws of thought," published in The Laws of Thought (1854).

Modern propositional logic developed by Gottlob Frege in his 1879 work Begriffsschrift and later clarified and expanded by Russell,Tarski, Godel, Church and others.

20th century - First Half

Bertrand Russell and Alfred North Whitehead published Principia Mathematica, which revolutionaized formal logic. Russell, Ludwig Wittgenstein, and Rudolf Carnap lead philosophy into logical analysis of knowledge.

Torres y Quevedo built his chess machine 'Ajedrecista', using electromagnets under the board to play the endgame rook and king against the lone king, possibly the first computer game (1912).

Karel Capek's play "R.U.R." (Rossum's Universal Robots) produced in 1921 (London opening, 1923). - First use of the word 'robot' in English.

Alan Turing proposed the universal Turing machine (1936-37)

Electro, a mechanical man, introduced by Westinghouse Electricat the World's Fair in New York (1939), along with Sparko, a mechanical dog.

Warren McCulloch & Walter Pitts publish "A Logical Calculus of the Ideas Immanent in Nervous Activity" (1943), laying foundations for neural networks.

Arturo Rosenblueth, Norbert Wiener & Julian Bigelow coin the term "cybernetics" in a 1943 paper. Wiener's popular book by that name published in 1948.

Emil Post proves that production systems are a general computational mechanism (1943). See Ch.2 of Rule Based Expert Systems for the uses of production systems in AI. Post also did important work on completeness, inconsistency, and proof theory.

George Polya published his best-selling book on thinking heuristically, How to Solve It in 1945. This book introduced the term 'heuristic' into modern thinking and has influenced many AI scientists.

Vannevar Bush published As We May Think (Atlantic Monthly, July 1945) a prescient vision of the future in which computers assist humans in many activities.

Grey Walter experimented with autonomous robots, turtles named Elsie and Elmer, at Bristol (1948-49) based on the premise that a small number of brain cells could give rise to complex behaviors.

A.M. Turing published "Computing Machinery and Intelligence" (1950). - Introduction of Turing Test as a way of operationalizing a test of intelligent behavior. See The Turing Institute for more on Turing.

Claude Shannon published detailed analysis of chess playing as search in "Programming a computer to play chess" (1950).

Isaac Asimov published his three laws of robotics (1950).

ผลลัพธ์ (ไทย) 1:

มัสฮอบส์ Thomas ประกาศเลวีอาธาน (1651), ประกอบด้วยความคิดทฤษฎีกลไกการทำ และปัญหาเครื่องที่คิดค้น โดย Sir Samuel Morland ระหว่างค.ศ. 1662 และ 1666 arithmeticalLeibniz ปาสเครื่องจะทำการคูณและหาร ด้วยเครื่องจักรที่เรียกว่าขั้นตอน Reckoner (1673) การปรับปรุง และจินตนาการแคลคูลัสสากลของเหตุผลซึ่งอาร์กิวเมนต์อาจจะตัดสินใจกลไกศตวรรษที่ 18ศตวรรษ 18 เห็นเขาเป็นของเล่นกล รวมเป็ดกลเฉลิมฉลองของ Vaucanson และฟอน Kempelen หมากรุกกล phony player เดอะเติร์ก (1769) ท่าโพธิ์ Edgar อัลเลนเขียน (ในภาคใต้วรรณกรรมศาสน 1836 เมษายน) ว่า เติร์กที่อาจไม่เป็นเครื่องจักร เพราะ นั้น มันจะไม่สูญเสียได้คริสต์ศตวรรษที่ 19โจเซฟมารี Jacquard คิดค้นทอผ้า Jacquard เครื่องโปรแกรมแรก คำแนะนำบนบัตร punched (1801)Luddites (นำ โดย Ned Ludd) ทำลายเครื่องจักรในอังกฤษ (1811-1816)แมรีเชลลีย์จัดพิมพ์เรื่องของแฟรงเกนสไตน์ของมอนสเตอร์ (1818) หนังสือแฟรงเกนสไตน์ หรือสมัยพรอมิธีเอิสจากโครงการกูเทนแบร์กชาลส์แบบบิจและ Ada ไบรอน (เลดี้ดาเลิฟเลซ) มาเป็นโปรแกรมเครื่องคำนวณเครื่องจักร เครื่องยนต์วิเคราะห์ (1832) แบบทำงานถูกสร้างขึ้นในปี 2002 วิดีโอแสดงการทำงานหญิงปูเล่จอร์จพัฒนาพีชคณิตแบบไบนารีที่แทน (บางส่วน) "กฎหมายความคิด เผยแพร่ในกฎหมายของความคิด (1854)ประพจน์ทันสมัยพัฒนา โดย Gottlob Frege ใน 1879 เขาทำงาน Begriffsschrift ต่อขึ้ และขยาย โดยรัสเซล Tarski, Godel คริสตจักร และอื่น ๆศตวรรษ - ครึ่งแรกเบอร์ทรานด์รัสเซลล์และอัลเฟรดนอร์ธ Whitehead ตีพิมพ์ Principia Mathematica ตรรกะที่เป็นทางการ revolutionaized รัสเซล ลุดวิกแห่ง Wittgenstein และรูดอล์ฟ Carnap นำปรัชญาไปสู่การวิเคราะห์ตรรกะความรู้ทอร์เรส y Quevedo สร้างเครื่องหมากรุกของเขา 'Ajedrecista' ใช้ electromagnets ภายใต้คณะกรรมการเล่นเรือ endgame และกษัตริย์ต่อกษัตริย์โลน อาจเป็นคอมพิวเตอร์เครื่องแรกเกม (ซาวน่า)Karel Capek เล่น "R.U.R." (ของ Rossum สากลนคร) ผลิตในปี 1921 (ลอนดอนเปิด 1923) -ก่อน ใช้คำว่า 'หุ่นยนต์' ในภาษาอังกฤษทัวริง Alan นำเสนอเครื่องจักรทัวริงสากล (1936-37)จี้ คนเครื่องจักรกล แนะนำ โดย Electricat เวสติงเฮาส์ยุติธรรมของโลกในนิวยอร์ก (1939), พร้อมกับปักกิ่งสปาโก สุนัขกลMcCulloch วอร์เรนและ Walter Pitts ประกาศ "A ตรรกศาสตร์แคลคูลัสของเดอะคิดทายาทในประสาทกิจกรรม" (1943), ที่วางรากฐานสำหรับเครือข่ายประสาทArturo Rosenblueth, Wiener นอร์แบร์ท และ Julian บิเกโลว์เหรียญคำว่า "cybernetics" ในกระดาษ 1943 หนังสือยอดนิยมของ Wiener ตามชื่อที่ตีพิมพ์ในค.ศ. 1948ไปรษณีย์ emil โอพิสูจน์ระบบการผลิตระบบคอมพิวเตอร์ทั่วไป (1943) ดู Ch.2 ของกฎจากผู้เชี่ยวชาญระบบสำหรับการใช้งานของระบบการผลิตใน AI ไม่ลงรายการบัญชีงานสำคัญสมบูรณ์ คล้อง และพิสูจน์ทฤษฎีจอร์จ Polya เผยแพร่หนังสือของเขาขายดีที่สุดในความคิดสำนึก วิธีการแก้ไขในปีค.ศ. 1945 หนังสือเล่มนี้นำคำ "heuristic" เป็นความคิดที่ทันสมัย และมีอิทธิพลมาก AI นักวิทยาศาสตร์Vannevar Bush ประกาศเป็นเราอาจคิดว่า (แอตแลนติกรายเดือน 1945 กรกฎาคม) วิสัยทัศน์ prescient แห่งอนาคตในคอมพิวเตอร์ที่ช่วยมนุษย์ในกิจกรรมต่าง ๆเบื้อง Grey Walter หุ่นยนต์อิสระ เต่าชื่อ Elsie และเอลเม อ ที่บริสตอล (1948-49) ตามหลักฐานว่า จำนวนเซลล์สมองมีขนาดเล็กสามารถให้สูงขึ้นเพื่อพฤติกรรมที่ซับซ้อนน.ทัวริงประกาศ "ใช้งานเครื่องจักรและปัญญา" (1950) -แนะนำของทัวริงทดสอบวิธีการทดสอบลักษณะการทำงานอัจฉริยะ operationalizing ดูทัวริง สถาบันเพิ่มเติมในทัวริงคล็อดแชนนอนประกาศวิเคราะห์รายละเอียดของหมากรุกที่เล่นเป็นค้นหาใน "การเขียนโปรแกรมคอมพิวเตอร์ในการเล่นหมากรุก" (1950)แซคเผยแพร่กฎหมายเขาสามของหุ่น (1950)

ผลลัพธ์ (ไทย) 3:

โทมัส ฮอบส์ได้ตีพิมพ์เลวีอาธาน ( 1143 ) ประกอบด้วยทฤษฎีและกลไกการคิด

เลขคณิตเครื่องจักร devised โดยท่านซามูเอลมอร์เลินด์ระหว่างเสาและมาฟัง

ไลบ์นิซปรับปรุงปาสคาลเครื่องทำ&กองการคูณด้วยเครื่องที่เรียกว่าขั้นตอนที่จะสอบสวน ( 1621 ) และได้คิดแคลคูลัสสากลของเหตุผลที่โต้แย้งได้

ตัดสินใจในทางกลไกศตวรรษที่ 18

ศตวรรษที่ 18 เห็นความฟุ่มเฟือยของของเล่นกล รวมทั้งกระเดื่องกลเป็ดของ vaucanson และฟอน kempelen ปลอมกลหมากรุกผู้เล่นเติร์ก ( 1769 ) Edgar Allen Poe เขียน ( ใน Messenger , วรรณกรรมภาคใต้เมษายน 1836 ) ว่าเติร์กไม่สามารถเครื่อง เพราะ ถ้ามันก็จะไม่เสีย .



ศตวรรษที่ 19Joseph Marie Jacquard jacquard ทอผ้าคิดค้น เครื่องโปรแกรมแรก พร้อมคำแนะนำในมอลโตส ( 1801 ) .

ลัดดิต ( นำโดย เน็ด ludd ) ทำลายเครื่องจักรในอังกฤษ ( 1811-1816 ) .

Mary Shelley เผยแพร่เรื่องราวของสัตว์ประหลาดของแฟรงเกนสไตน์ ( 1818 ) หนังสือ Frankenstein , หรือโมเดิร์น Prometheus พร้อมใช้งานจากโครงการ Gutenberg .

ชาร์ล แบบเบจ&ไบรอน ( เลดี้เลิฟเลซ ) โปรแกรมคำนวณออกแบบเครื่องกลเครื่องจักร เครื่องยนต์เชิงวิเคราะห์ ( 1832 ) รูปแบบการทำงานที่ถูกสร้างขึ้นใน 2002 ; วิดีโอสั้น ๆแสดงให้เห็นว่ามันทำงาน

จอร์จบูลได้พัฒนาพีชคณิตไบนารีเป็นตัวแทน ( บางคน ) " กฎหมายของความคิด " ตีพิมพ์ในกฎหมายของความคิด

( 1854 )ตรรกศาสตร์เชิงประพจน์สมัยใหม่พัฒนาของก็อตล็อบ เฟรก ในปี 1879 ของเขาทำงาน begriffsschrift และภายหลังการชี้แจง และขยายโดยรัสเซล tarski เกอเดล , คริสตจักร , และอื่น ๆ .

ศตวรรษที่ 20 - ครึ่งแรก

เบอร์ทรันด์ รัสเซลล์และอัลเฟรด Whitehead เหนือเผยแพร่ principia Mathematica ซึ่ง revolutionaized อย่างเป็นทางการของตรรกะ รัสเซล ลุดวิก วิทท์เกนชไตน์ ,และรูดอล์ฟคาร์นัพนำปรัชญาในการวิเคราะห์ทางตรรกะของความรู้

Y quevedo ตอร์เรสสร้างเครื่อง ' หมากรุกของเขา ajedrecista ' โดยใช้แม่เหล็กไฟฟ้าใต้กระดานเล่นเกมส์จบรุกและกษัตริย์ต่อกษัตริย์คนเดียว อาจ เกมคอมพิวเตอร์ เกมแรกของโลก ( 1912 ) .

คาเรล คาเปกเล่น " r.u.r. " ( Rossum เป็นหุ่นยนต์สากล ) ที่ผลิตใน 1921 ( เปิด , ลอนดอน 1923 )- ครั้งแรกที่ใช้หุ่นยนต์คำว่า ' ' ในภาษาอังกฤษ

แอลัน ทัวริงเสนอเครื่องทัวริงสากล ( 1936-37 )

โรง ผู้ชายกล นำโดย เวสติงเฮาส์ electricat ของโลกที่ยุติธรรมในนิวยอร์ก ( 1939 ) พร้อมกับ sparko สุนัขกล

วอร์เรนไหล่&พิตส์ประกาศ " วอลเตอร์ แคลคูลัสเชิงตรรกะของความคิดซึ่งอยู่ภายในในกิจกรรมประสาท " ( 1943 ) , การวางรากฐานสำหรับโครงข่าย

/ rosenblueth คำว่า " ไซเบอร์เนติกส์ " ใน 1943 กระดาษเหรียญนอร์เบิร์ต วีเนอร์&จูเลียน บิ๊กกาโลว์ ไส้กรอกเยอรมันนิยมหนังสือที่ตีพิมพ์ในปี พ.ศ. 2491 โดยชื่อ

เอมิลโพสต์พิสูจน์ได้ว่าระบบการผลิตเป็นทั่วไปคอมพิวเตอร์กลไก ( 1943 ) ดูตอนที่ 2 กฎพื้นฐานของระบบผู้เชี่ยวชาญเพื่อการใช้ระบบผลิตใน AI โพสต์ยังทำงานสำคัญครบถ้วน สอดคล้อง และทฤษฎีพิสูจน์

จอร์จพอลยาตีพิมพ์หนังสือที่ขายดีที่สุดของเขาในการคิด heuristically , วิธีการแก้ปัญหาในปี 1945 หนังสือเล่มนี้แนะนำคำว่า ' การแก้ปัญหา ' ในความคิดสมัยใหม่และมีอิทธิพลมาก ไอนักวิทยาศาสตร์

แวนเนวาเออร์บุชเผยแพร่เป็นเราอาจจะคิดว่า ( มหาสมุทรแอตแลนติกรายเดือนกรกฎาคม 1945 ) วิสัยทัศน์ prescient ของอนาคตที่คอมพิวเตอร์ช่วยมนุษย์ในกิจกรรมมากมาย

สีเทา วอลเตอร์ ทดลองกับหุ่นยนต์อิสระ เต่าที่ชื่อเอลซี่ และ เมอร์ ใน บริสตอล ( 1948-49 ) ขึ้นอยู่กับหลักฐานว่าจำนวนเล็ก ๆของเซลสมองที่อาจก่อให้เกิดพฤติกรรมที่ซับซ้อน

น. ริ่งตีพิมพ์ " คอมพิวเตอร์เครื่องจักรและสติปัญญา " ( 1950 ) - แนะนำการทดสอบของทัวริงเป็นการ operationalizing การทดสอบพฤติกรรมของอัจฉริยะเห็นทัวริงสถาบันเพิ่มเติมในทัวริ่ง

นีโครโนมิคอนเผยแพร่วิเคราะห์รายละเอียดของการเล่นหมากรุกที่ค้นหาใน " การเขียนโปรแกรมคอมพิวเตอร์เล่นหมากรุก " ( 1950 ) .

ไอแซค อสิมอฟตีพิมพ์ของเขาสามกฎหมายของหุ่นยนต์ ( 2493 )