Marcus Aurelius [Book]

จะแก้ไขปัญหาทั้งหมดในไม่ช้า

การบำรุงรักษาเหตุผล[1]][2] เป็นวิธีการแทนความรู้เพื่อการจัดการข้อมูลที่อนุมานอย่างมีประสิทธิภาพซึ่งจัดเก็บไว้อย่างชัดเจน การรักษาเหตุผลแยกความแตกต่างระหว่างข้อเท็จจริงพื้นฐาน ซึ่งสามารถเอาชนะได้ และข้อเท็จจริงที่ได้รับ ดังนั้นมันจึงแตกต่างจากการแก้ไขความเชื่อซึ่งในรูปแบบพื้นฐานถือว่าข้อเท็จจริงทั้งหมดมีความสำคัญเท่าเทียมกัน เดิมการบำรุงรักษาเหตุผลได้รับการพัฒนาเป็นเทคนิคสำหรับการดำเนินการแก้ปัญหา[2] ประกอบด้วยเทคนิคต่างๆ ที่ใช้สถาปัตยกรรมร่วมกัน: [3] สององค์ประกอบ—ระบบให้เหตุผลและระบบบำรุงรักษาเหตุผล—สื่อสารระหว่างกันผ่านอินเทอร์เฟซ ผู้ให้เหตุผลใช้ระบบการบำรุงรักษาเหตุผลเพื่อบันทึกการอนุมานและเหตุผลของ ("เหตุผล" สำหรับ) การอนุมาน ผู้ให้เหตุผลยังแจ้งเหตุผลของระบบการบำรุงรักษาซึ่งเป็นข้อเท็จจริงพื้นฐานที่ถูกต้องในปัจจุบัน (สมมติฐาน) เหตุผลที่ระบบการบำรุงรักษาใช้ข้อมูลเพื่อคำนวณค่าความจริงของข้อเท็จจริงที่ได้รับที่จัดเก็บไว้และเพื่อเรียกคืนความสอดคล้องหากได้รับความไม่สอดคล้องกัน

ระบบบำรุงรักษาความจริงหรือ TMS เป็นวิธีการแสดงความรู้สำหรับการแสดงทั้งความเชื่อและการพึ่งพาของพวกเขาและอัลกอริทึมที่เรียกว่า "อัลกอริธึมการบำรุงรักษาความจริง" ที่จัดการและรักษาการพึ่งพา การบำรุงรักษาชื่อความจริงเกิดจากความสามารถของระบบเหล่านี้ในการกู้คืนความสอดคล้อง