วิทยาศาสตร์ที่สนับสนุนแชทบอทของเราคือตรรกะที่เป็นทางการ ตรรกศาสตร์ที่เป็นทางการสมัยใหม่มีพื้นฐานมาจากคณิตศาสตร์ แต่นั่นไม่ใช่กรณีเสมอไป การค้นพบและการทำให้เป็นทางการของตรรกะมีสาเหตุมาจากอริสโตเติล (384-322 ปีก่อนคริสตกาล) ในผลงานที่รวบรวมไว้ของเขาOrganon (หรือ “เครื่องดนตรี”) ที่นี่เขาได้บันทึกหลักการข้อแรกในการหาข้อสรุปจากสถานที่ชุดหนึ่ง ภายหลังจะเรียกว่าการอนุมานซึ่งถูกชี้นำโดยกฎที่เรียกว่าการ อ้างเหตุผล
ตั้งแต่ศตวรรษที่ 20 สาขาตรรกศาสตร์ได้ย้ายออกจากแนวทาง
ของอริสโตเติลไปสู่ระบบที่ใช้ตรรกศาสตร์ภาคแสดงและเชิงประพจน์ ตรรกะประเภทนี้ได้รับการพัฒนาโดยนักคณิตศาสตร์สำหรับการประยุกต์ใช้ทางคณิตศาสตร์ ดังนั้นจึงเรียกว่าตรรกะทางคณิตศาสตร์ เหตุผลของพวกเขาจะต้องไม่มีข้อผิดพลาด
ในทางกลับกัน เหตุผลของมนุษย์ไม่ได้ผิดพลาดเสมอไป เราให้เหตุผลหลักผ่านการนิรนัยการชักนำและการลักพาตัว
คุณสามารถคิดว่าการนิรนัยเป็นการใช้กฎทั่วไปเพื่อให้เหตุผลเกี่ยวกับตัวอย่างเฉพาะ ในขณะที่การเหนี่ยวนำและการลักพาตัวเกี่ยวข้องกับการดูกลุ่มตัวอย่างและพยายามหากฎที่อธิบายสิ่งเหล่านั้น
แม้ว่าการหักลบจะมีความแม่นยำมากที่สุด การเหนี่ยวนำและการลักพาตัวกลับมีความน่าเชื่อถือน้อยกว่า กระบวนการเหล่านี้เป็นกระบวนการที่ซับซ้อนซึ่งไม่สามารถตั้งโปรแกรมลงในเครื่องได้ง่ายๆ
อาจกล่าวได้ว่า การเหนี่ยวนำและการลักพาตัวเป็นสิ่งที่แยกสติปัญญาของมนุษย์ ซึ่งกว้างและทั่วๆ ไป แต่มักจะไม่ถูกต้อง ออกจากความฉลาดของเครื่องจักรที่แคบแต่แม่นยำขึ้นเรื่อยๆ เราพบว่าการใช้ตรรกะทางคณิตศาสตร์ทำให้แชทบอท ของเรา มีปฏิสัมพันธ์ที่มีความหมายกับมนุษย์ได้น้อยลง
ตัวอย่างเช่น คำพูดของมนุษย์เพียงคำเดียวมักจะไม่ค่อยมีความหมายหากไม่มีบริบทที่กว้างขวางของสิ่งที่นักภาษาศาสตร์เรียกว่าสิ่งเกี่ยวพันการคาดคะเนและความนัย แม้ว่าสมองของเราจะพิจารณาปัจจัยในบริบทนี้โดยอัตโนมัติ แต่เครื่องจักรก็ต้องใช้ตรรกะที่เทียบเท่ากันบางรูปแบบ สำนักคิดแห่งหนึ่งเสนอว่า ตรรกะของอริสโตเติลบางส่วน ซึ่งปัจจุบันเรียกว่าตรรกะและกฎการอนุมานของเขา
สามารถก่อตัวเป็นองค์ประกอบหลักของปัญญาประดิษฐ์ทั่วไป (AI )
OpenCog และOpenNars เป็นแพลตฟอร์มการวิจัย AGI ที่โดดเด่นโดยมีตรรกะ ของคำศัพท์เป็นแกนหลัก ในปัจจุบัน แพลตฟอร์มเหล่านี้สามารถใช้เหตุผลทั่วไปสำหรับการใช้งานด้าน สุขภาพและวิทยาการหุ่นยนต์
ตรรกะของคำศัพท์ประกอบด้วยหน่วยพื้นฐานของความหมาย ซึ่งเชื่อมโยงโดยสิ่งที่นักภาษาศาสตร์เรียกว่า ” คอปปูลา ” ในการเขียนคำว่า “นกเป็นสัตว์” ในเชิงตรรกศาสตร์ เราสามารถใช้ copula แทน “->” ซึ่งมีความหมายโดยสัญชาตญาณว่า “เป็นชนิดพิเศษ” เช่นนี้
อย่างไรก็ตาม อริสโตเติลกล่าวว่าคำอ้างเหตุผลเป็นสิ่งที่ต้องตามมาจากสถานที่อิสระสองแห่งที่ใช้คำเดียว (และคำเดียวเท่านั้น) กฎนี้ช่วยให้เรายกเลิกข้อโต้แย้งข้างต้นได้ เนื่องจากข้อโต้แย้งสองข้อ (“ดวงจันทร์ทำจากเนยแข็ง” และ “โลกกำลังจะถึงจุดจบ”) ไม่มีคำที่ใช้ร่วมกัน
การให้เหตุผลที่ผิดพลาด
นักวิจัยของ AGI ได้ขยายการอ้างเหตุผลของอริสโตเติลโดยให้ข้อสรุปที่อาจเป็นจริงในระดับความไม่แน่นอน (การให้เหตุผลที่ผิดพลาด) เช่นเดียวกับข้อสรุปที่ต้องเป็นจริง (เช่น ข้อสรุปจากการใช้เหตุผลแบบนิรนัย) ตรรกะของคำศัพท์พร้อมสนับสนุนรูปแบบการให้เหตุผลเหล่านี้
วิธีการระบุค่าความจริงของความเชื่อเป็นสิ่งที่นักวิจัย AGI บางคนแตกต่างกัน แนวทาง โครงการ OpenNarsนั้นคล้ายคลึงกับระบบความเชื่อของมนุษย์มากที่สุด โดยจะนับจำนวนหลักฐานที่เป็นอิสระทั้งสำหรับและต่อต้านความเชื่อหนึ่งๆ
เราได้เริ่มใช้ AGI ในเทคโนโลยีแชทบอทของเราสำหรับผู้ที่มีปัญหาด้านการสื่อสารและผู้ที่ได้รับประโยชน์จากการโต้ตอบทางเทคโนโลยี เวอร์ชันของเราส่วนใหญ่ได้รับแรงบันดาลใจจากแพลตฟอร์ม OpenNars แต่ผสมผสานกับส่วนประกอบอื่นๆ ที่เราพบว่ามีประโยชน์
แทนที่จะคำนวณคำตอบจากลำดับของคำ คำตอบจากแชทบอทนั้นมาจากความสัมพันธ์ระหว่างคำศัพท์หลายพันล้านคำ ความเชื่อที่มีความมั่นใจต่ำสามารถส่งกลับไปยังผู้ใช้ (เช่น คนที่ถามแชทบ็อตสุขภาพเกี่ยวกับอาการ) เป็นคำถาม
ในอนาคตเราคิดว่าสิ่งนี้จะช่วยให้มีปฏิสัมพันธ์ระหว่างมนุษย์และเครื่องจักรที่มีส่วนร่วมลึกซึ้งและเป็นธรรมชาติมากขึ้น ความเชื่อและ “บุคลิก” ของแชทบอทจะถูกปรับให้เหมาะกับผู้ใช้
ตรรกศาสตร์อายุ 2,000 ปีของอริสโตเติลมีอิทธิพลอย่างมากต่ออารยธรรมตะวันตก การปรับปรุงงานโบราณของเขาสามารถเปลี่ยนเราไปสู่พรมแดนใหม่ของการโต้ตอบระหว่างมนุษย์และคอมพิวเตอร์ได้เป็นอย่างดี
แนะนำ 666slotclub / hob66
