Default Logic การให้เหตุผลแบบใช้ค่าเริ่มต้น owne

สรุปใจความสำคัญ

Default Logic เป็นตรรกศาสตร์แบบ non-monotonic ซึ่งหมายความว่าข้อสรุปสามารถถูกยกเลิกได้เมื่อมีข้อมูลใหม่เพิ่มเข้ามา
ถูกนำเสนอโดย Raymond Reiter เพื่อจัดการกับข้อมูลที่ไม่สมบูรณ์และข้อสมมติฐานทั่วไป
ประกอบด้วยทฤษฎีพื้นฐาน (W) และเซตของกฎค่าเริ่มต้น (D)
แตกต่างจากตรรกศาสตร์มาตรฐานที่ต้องระบุข้อยกเว้นทั้งหมดอย่างชัดเจน

Default Logic คือตรรกศาสตร์แบบไม่เป็นเชิงเดี่ยว (non-monotonic logic) ที่นำเสนอโดย Raymond Reiter เพื่อใช้ในการสร้างแบบจำลองการให้เหตุผลโดยใช้ข้อสมมติฐานค่าเริ่มต้น (default assumptions) ซึ่งช่วยให้เราสามารถสรุปผลลัพธ์ล่วงหน้าได้แม้ว่าข้อมูลจะไม่มีความสมบูรณ์

ไวยากรณ์ของ Default Logic

ทฤษฎีค่าเริ่มต้น (Default Theory) คือคู่ของ <W, D> โดยที่ W คือเซตของสูตรทางตรรกศาสตร์ที่เรียกว่า ทฤษฎีพื้นฐาน (background theory) ซึ่งเป็นข้อเท็จจริงที่ทราบแน่ชัด และ D คือเซตของกฎค่าเริ่มต้น (default rules) ซึ่งมีรูปแบบดังนี้:

Default Theory Pair — คู่ของทฤษฎีค่าเริ่มต้น <W, D>

Default Rule Structure — โครงสร้างของกฎค่าเริ่มต้น ประกอบด้วย Prerequisite, Justification และ Conclusion

ตามกฎนี้ หากเราเชื่อว่า Prerequisite (เงื่อนไขเบื้องต้น) เป็นจริง และ Justification (การให้เหตุผลสนับสนุน) แต่ละตัวมีความสอดคล้องกับความเชื่อปัจจุบันของเรา เราจะสรุปได้ว่า Conclusion (ข้อสรุป) เป็นจริง

ตัวอย่างการใช้งาน

กฎค่าเริ่มต้นที่ว่า "นกโดยทั่วไปจะบินได้" สามารถเขียนเป็นรูปแบบทางตรรกศาสตร์ได้ดังนี้:

Birds typically fly default rule — กฎค่าเริ่มต้น: หาก X เป็นนก และสามารถสมมติได้ว่า X บินได้ ข้อสรุปคือ X บินได้

หากเรามีทฤษฎีพื้นฐาน W ที่ระบุว่า คอนดอร์เป็นนก, เพนกวินเป็นนก, เพนกวินบินไม่ได้ และผึ้งบินได้ ดังนี้:

Background Theory W — เซตของข้อเท็จจริงพื้นฐานในทฤษฎี W

จากกฎนี้ เราสามารถสรุปได้ว่าคอนดอร์บินได้ เพราะเงื่อนไข Bird(Condor) เป็นจริง และ Flies(Condor) ไม่ขัดแย้งกับข้อมูลที่มีอยู่ ในทางกลับกัน เพนกวินบินไม่ได้ แม้ว่า Bird(Penguin) จะเป็นจริง แต่ Flies(Penguin) ขัดแย้งกับข้อเท็จจริงที่ว่าเพนกวินบินไม่ได้

ข้อสมมติฐานโลกปิด (Closed-World Assumption)

ข้อสมมติฐานที่ว่า "สิ่งที่ไม่ได้ระบุว่าจริง จะถือว่าเท็จ" เรียกว่า Closed-World Assumption ซึ่งใน Default Logic สามารถเขียนได้ดังนี้:

Closed-World Assumption rule — กฎค่าเริ่มต้นสำหรับ Closed-World Assumption

ภาษาโปรแกรม Prolog ใช้หลักการที่คล้ายกันที่เรียกว่า Negation as Failure ซึ่งแตกต่างจาก Default Logic ตรงที่ Prolog จะพยายามพิสูจน์ว่า F เป็นจริง หากพิสูจน์ไม่ได้ จะสรุปว่า ¬F เป็นจริง

Negation F — สัญลักษณ์ทางตรรกศาสตร์แทนการปฏิเสธ (Negation)

ประเภทของกฎค่าเริ่มต้น

Categorical: กฎที่ไม่มีเงื่อนไขเบื้องต้น (Prerequisite-free)
Normal: กฎที่มี Justification ตัวเดียวและมีค่าเท่ากับ Conclusion
Supernormal: กฎที่เป็นทั้ง Categorical และ Normal
Seminormal: กฎที่ Justification ทั้งหมดนำไปสู่ Conclusion

คำถามที่พบบ่อย

Default Logic แตกต่างจากตรรกศาสตร์มาตรฐานอย่างไร?

ตรรกศาสตร์มาตรฐาน (Standard Logic) สามารถระบุได้เพียงว่าบางสิ่งเป็นจริงหรือเท็จ แต่ Default Logic สามารถระบุได้ว่า 'โดยปกติแล้วบางสิ่งเป็นจริง' ซึ่งช่วยให้การให้เหตุผลทำได้โดยไม่ต้องระบุข้อยกเว้นทั้งหมด

Closed-World Assumption คืออะไร?

คือข้อสมมติฐานที่ระบุว่า หากข้อมูลใดๆ ไม่สามารถพิสูจน์ได้ว่าเป็นจริงในระบบ ระบบจะถือว่าข้อมูลนั้นเป็นเท็จ

กฎแบบ Normal Default คืออะไร?

คือกฎค่าเริ่มต้นที่มี Justification (การให้เหตุผลสนับสนุน) เพียงตัวเดียว ซึ่งมีค่าเท่ากับข้อสรุป (Conclusion) ของกฎนั้นๆ