ในการ สองบทความก่อนหน้านี้ เราได้เห็นว่างานของ Alan Turing, Claude Shannon และ John von Neuman ทำให้การสร้างคอมพิวเตอร์ที่สามารถโฮสต์ปัญญาประดิษฐ์เป็นไปได้อย่างไร อย่างไรก็ตามทั้งหมดยังคงต้องสร้างโปรแกรมที่สามารถทำงาน. นั่นคือเหตุผลที่ในโพสต์นี้เราอธิบายเส้นทางของซอฟต์แวร์ตั้งแต่การจำลองการสนทนาครั้งแรกไปจนถึงรูปแบบภาษาปัจจุบัน
Alan Turing เป็นคนแรกที่กำหนดวิธีการกำหนดความสำเร็จของโปรแกรมประเภทนี้ ปัญหาคือการทดสอบของทัวริงแสดงเฉพาะทักษะการเขียนโปรแกรมเท่านั้น ไม่ใช่ว่าเรากำลังเผชิญกับสิ่งที่เรียกว่าปัญญาประดิษฐ์
เส้นทางของซอฟต์แวร์
ในขณะที่คำจำกัดความของ Marvin Minsky กำหนดให้ปัญญาประดิษฐ์เป็นเครื่องจักรที่ต้องทำงานแบบเดียวกับมนุษย์ แต่ต้องมีความสามารถในการคิด การทดสอบของทัวริงถามเพียงว่ามนุษย์ไม่สามารถระบุได้ว่าคู่สนทนาของเขาเป็นใครหรือไม่
แม้ว่า ELIZA ซึ่งเป็นโปรแกรมคอมพิวเตอร์ที่เขียนขึ้นในช่วงกลางทศวรรษที่ 60 ไม่ได้ตั้งใจให้ผ่านการทดสอบของทัวริง วางรากฐานสำหรับโปรแกรมจำนวนหนึ่งที่จะพยายามทำเช่นนั้น. รายการสมมติบทบาทของจิตแพทย์ถามคำถามกับผู้ป่วยเกี่ยวกับหัวข้อทั่วไป เช่น ครอบครัว เพื่อน หรืออารมณ์ จากคำตอบ เขายังคงเดินตามแนวทางที่กำหนดไว้ล่วงหน้า
ทั้ง ELIZA (และซอฟต์แวร์อื่นใด) จะเป็นไปไม่ได้เลยหากปราศจากผลงานของครูสอนคณิตศาสตร์ที่สอนด้วยตนเองชื่อ George Boole ผู้ซึ่งในศตวรรษที่ XNUMX เริ่มศึกษาการแปลเป็นเงื่อนไขทางคณิตศาสตร์ของกระบวนการให้เหตุผลของมนุษย์ ด้วยเหตุนี้ เขาจึงวิเคราะห์วิธีการจัดกลุ่มอ็อบเจ็กต์เป็นคลาสต่างๆ และเกิดอะไรขึ้นเมื่อคลาสเหล่านี้รวมกับคลาสอื่นๆ จากนั้นเขาก็กำหนดสัญลักษณ์สำหรับแต่ละความสัมพันธ์เหล่านั้น
ตั้งแต่พิธีการไปจนถึงข้อเสนอแนะ
หากอ็อบเจกต์ของเซตมีการเปลี่ยนแปลงโดยการยืนยัน และเราสร้างความสัมพันธ์ที่เป็นไปได้สามแบบระหว่างพวกมัน (AND, OR and NOT) เรามีวิธีจำแนกพวกเขาออกเป็นสองกลุ่มแล้ว (จริงหรือเท็จ)
อย่างไรก็ตาม งานของ Boole ไม่ดีสำหรับการอ้างสิทธิ์ทุกประเภท จำเป็นต้องมีวิธีการอธิบายแนวคิดทั่วไป นั่นคืออาจเป็นจริงหรือเท็จขึ้นอยู่กับสถานการณ์
จึงจะเข้าใจ งานบูลีนช่วยให้คุณสามารถทำงานกับการยืนยันได้
ดิเอโกเป็นชาวอาร์เจนตินาและเขียนจดหมายเข้ามา Linux Adictos
แต่คุณไม่สามารถทำอะไรกับ:
X คือ... และเขียนเป็น Z
สำหรับเรื่องนี้เราต้องรอจนถึงปี 70 เมื่อ ศาสตราจารย์ชาวเยอรมันชื่อ Frege ได้แนะนำแนวคิดของภาคแสดง เพรดิเคตคือประโยคที่สามารถอธิบายได้ว่าเป็นจริงหรือเท็จขึ้นอยู่กับสถานการณ์
ดิเอโก, ชาวอาร์เจนตินา y Linux Addicts เป็นเอนทิตีที่ไม่เป็นความจริงหรือเป็นเท็จ แต่ขึ้นอยู่กับว่าพวกมันรวมกันเป็นเพรดิเคตอย่างไร
Freje เพิ่มสองนิพจน์ด้วยสัญลักษณ์ที่เกี่ยวข้อง:
เพื่อทุกสิ่ง (ระบุว่าค่าทั้งหมดของตัวแปรตรงตามเงื่อนไข)
มี…เช่นนั้น (บอกเป็นนัยว่ามีอย่างน้อยหนึ่งองค์ประกอบที่จะตรงตามเงื่อนไข
ทฤษฎีป้อนกลับ
ความช่วยเหลือที่ดีประการต่อไปในการสร้างปัญญาประดิษฐ์ไม่ใช่คณิตศาสตร์ แต่มาจากชีววิทยา Norbert Wiener ผู้ก่อตั้ง Cybernetics สนใจจุดร่วมระหว่างวิศวกรรมศาสตร์และชีววิทยา ความสนใจนี้เองที่ทำให้เขาวิเคราะห์ว่าสัตว์เลือดอุ่นรักษาอุณหภูมิให้คงที่ได้อย่างไรแม้อุณหภูมิแวดล้อมจะเปลี่ยนไป Wiener ตั้งสมมติฐานว่าในกรณีนี้และกรณีอื่น ๆ กลไกการตอบรับกำลังทำงานอยู่ กล่าวอีกนัยหนึ่งเมื่อได้รับข้อมูลก็เกิดการตอบสนองเพื่อปรับให้เข้ากับมัน
ยิ่งไปกว่านั้น เขาได้ยืนยันว่าพฤติกรรมที่ชาญฉลาดไม่ได้เป็นเพียงผลลัพธ์ของกลไกป้อนกลับเท่านั้น เราสามารถสรุปได้ว่า ความฉลาด (ธรรมชาติหรือประดิษฐ์) เกี่ยวกับการรวบรวมข้อมูล ประมวลผล ดำเนินการตามผลลัพธ์ และทำซ้ำกระบวนการ