George Boole developed a binary alg

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:

หญิงปูเล่จอร์จพัฒนาพีชคณิตแบบไบนารีที่แทน (บางส่วน) "กฎหมายความคิด เผยแพร่ในกฎหมายของความคิด (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)

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

จอร์จบูลพัฒนาพีชคณิตไบนารีที่เป็นตัวแทน (บางคน) "กฎหมายของความคิด" ตีพิมพ์ในกฎหมายของความคิด (1854) ตรรกะประพจน์โมเดิร์นที่พัฒนาโดย Gottlob Frege ในปี 1879 ผลงานของเขา Begriffsschrift และต่อมาชี้แจงและขยายโดยรัสเซล, Tarski, เกอเดล, คริสตจักรและอื่น ๆศตวรรษที่ 20 - ครึ่งแรกเบอร์ทรานด์รัสเซลและอัลเฟรดนอร์ทเฮดตีพิมพ์ Principia Mathematica ซึ่ง revolutionaized ตรรกะอย่างเป็นทางการ รัสเซลลุดวิก Wittgenstein และรูดอล์ฟ Carnap ปรัชญานำในการวิเคราะห์ตรรกะของความรู้และ Torres Quevedo สร้างเครื่องจักรหมากรุกของเขา Ajedrecista 'ใช้กระจิ๋วหลิวภายใต้คณะกรรมการการเล่นเกมหมากรุกฤทธิ์และพระมหากษัตริย์กับกษัตริย์คนเดียวอาจจะเป็นเกมคอมพิวเตอร์เป็นครั้งแรก ( 1912) การเล่นคาเรล Capek ของ "RUR" (ซัมสากลหุ่นยนต์) ที่ผลิตในปี 1921 (เปิดลอนดอน 1923) - ใช้งานครั้งแรกของคำว่า 'หุ่นยนต์' ในภาษาอังกฤษอลันทัวริงที่นำเสนอเครื่องทัวริงสากล (1936-1937) Electro, คนกลการแนะนำให้รู้จัก Westinghouse Electricat ยุติธรรมของโลกในนิวยอร์ก (ปี 1939) พร้อมกับ Sparko กล สุนัขที่วอร์เรน McCulloch และวอลเตอร์พิตส์ประกาศ "แคลคูลัสเชิงตรรกะของไอเดียทุกหนทุกแห่งในกิจกรรมประสาท" (1943), มูลนิธิเพื่อการวางเครือข่ายประสาทอาร์ตูโร Rosenblueth ร์เบิร์ตวีเนอร์และจูเลียนบิจเหรียญคำว่า "ไซเบอร์เนติกส์" ใน 1,943 กระดาษ หนังสือยอดนิยม Wiener ของชื่อที่ตีพิมพ์ในปี 1948 ที่เอมิลโพสต์พิสูจน์ให้เห็นว่าระบบการผลิตเป็นกลไกในการคำนวณทั่วไป (1943) ดู Ch.2 กฎระบบผู้เชี่ยวชาญสำหรับการใช้งานของระบบการผลิตใน AI โพสต์ยังได้ทำงานที่สำคัญในความสมบูรณ์ไม่สอดคล้องกันและพิสูจน์ทฤษฎีจอร์จ Polya ตีพิมพ์เป็นหนังสือขายดีที่สุดของเขาในความคิด heuristically, วิธีการแก้ปัญหาได้ในปี 1945 หนังสือเล่มนี้แนะนำให้รู้จักคำว่า 'แก้ปัญหา' ในความคิดที่ทันสมัยและมีอิทธิพลต่อนักวิทยาศาสตร์ด้าน AI หลายคน . เนวาร์บุชที่ตีพิมพ์ในขณะที่เราอาจคิดว่า (แอตแลนติกเดือนกรกฎาคม 1945) วิสัยทัศน์ทิพยเนตรของอนาคตที่คอมพิวเตอร์ช่วยมนุษย์ในกิจกรรมหลาย ๆสีเทาวอลเตอร์ทดลองกับหุ่นยนต์อิสระเต่าชื่อเอลซีและเอลเมอที่บริสตอ (1948-1949) ขึ้นอยู่กับหลักฐานที่ว่าจำนวนเล็ก ๆ ของเซลล์สมองอาจก่อให้เกิดพฤติกรรมที่ซับซ้อนAM ทัวริงตีพิมพ์ "การคำนวณและหน่วยสืบราชการลับ" (1950) - บทนำของทัวริงทดสอบเป็นวิธีการ operationalizing ทดสอบของพฤติกรรมที่ชาญฉลาด ดูทัวริงสถาบันเพื่อการเพิ่มเติมเกี่ยวกับทัวริงคลอดด์นอนส์ตีพิมพ์วิเคราะห์รายละเอียดของการเล่นหมากรุกการค้นหาใน "การเขียนโปรแกรมคอมพิวเตอร์ในการเล่นหมากรุก" (1950) Isaac Asimov ตีพิมพ์สามกฎหมายของหุ่นยนต์ (1950)

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

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

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

ศตวรรษที่ 20 - ครึ่งแรก เบอร์ทรันด์ รัสเซล และอัลเฟรดนอร์ธไวท์เฮด
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 )