Chapter 9 - Inference in First Order Logic (Artificial Intelligence: A Modern Approach 4th Edition)

เนื้อหานี้กล่าวถึงกระบวนการอนุมาน (inference) ในตรรกะอันดับหนึ่ง โดยเริ่มต้นจากการแปลงปัญหาตรรกะอันดับหนึ่งให้เป็นปัญหาตรรกะเชิงประพจน์ ซึ่งอาจมีค่าใช้จ่ายสูง จากนั้นจึงนำเสนอวิธีการที่ทำงานโดยตรงกับประโยคตรรกะอันดับหนึ่งผ่าน การยูนิฟายเคชัน (unification) และกฎการอนุมานแบบยกกำลัง เช่น Generalized Modus Ponens บทความนี้ได้อธิบายอัลกอริทึมการอนุมานหลักสามแบบ ได้แก่ การเชื่อมไปข้างหน้า (forward chaining), การเชื่อมย้อนหลัง (backward chaining) และ การพิสูจน์ทฤษฎีบทด้วย Resolution โดยเน้นถึงข้อดี ข้อเสีย และการนำไปใช้ในระบบฐานข้อมูลเชิงนิรนัย (deductive databases) และภาษาโปรแกรมเชิงตรรกะ (logic programming) รวมถึงปัญหาที่อาจเกิดขึ้นและการเพิ่มประสิทธิภาพของอัลกอริทึมเหล่านี้.

Видео Chapter 9 - Inference in First Order Logic (Artificial Intelligence: A Modern Approach 4th Edition) канала Guy Nakrin