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

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

ระบบการบำรุงรักษาความจริงจะรักษาความสอดคล้องระหว่างความรู้ที่เชื่อกันในอดีตและความรู้ที่เชื่อกันในปัจจุบันในฐานความรู้ (KB) ผ่านการปรับปรุงแก้ไข หากข้อความที่เชื่อกันในปัจจุบันขัดแย้งกับความรู้ใน KB KB จะได้รับการอัปเดตด้วยความรู้ใหม่ อาจเกิดขึ้นได้ที่ข้อมูลเดิมจะถูกเชื่อซ้ำ และความรู้เดิมจะจำเป็นใน KB หากไม่มีข้อมูลเดิมอยู่ แต่อาจจำเป็นสำหรับการอนุมานใหม่ แต่หากความรู้เดิมอยู่ใน KB ก็ไม่จำเป็นต้องย้อนกลับไปใช้ความรู้เดิม การใช้ TMS ช่วยหลีกเลี่ยงการย้อนกลับไปใช้ความรู้เดิม โดยจะติดตามข้อมูลที่ขัดแย้งกันด้วยความช่วยเหลือของบันทึกการอ้างอิง บันทึกนี้สะท้อนการเพิกถอนและการเพิ่มเติม ซึ่งทำให้เอนจินการอนุมาน (IE) รับรู้ถึงชุดความเชื่อปัจจุบัน

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

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

สมมติฐานคือความเชื่อพื้นฐานที่สันนิษฐานว่าเป็นความจริง ไม่จำเป็นต้องมีคำอธิบายประกอบ ชุดของสมมติฐานคือพื้นฐานที่จะนำมาซึ่งคำอธิบายประกอบสำหรับโหนดอื่นๆ ทั้งหมด

การพิสูจน์สำหรับโหนดมีสองประเภท ได้แก่:

1. รายการสนับสนุน [SL]
2. การพิสูจน์แบบมีเงื่อนไข (CP)

ระบบการบำรุงรักษาความจริงมีอยู่หลายประเภท มีสองประเภทหลักๆ คือ การบำรุงรักษาความจริงแบบบริบทเดียวและแบบหลายบริบท ในระบบบริบทเดียว ความสอดคล้องกันจะถูกรักษาไว้ระหว่างข้อเท็จจริงทั้งหมดในหน่วยความจำ (KB) และสัมพันธ์กับแนวคิดเรื่องความสอดคล้องที่พบในตรรกะคลาสสิกระบบหลายบริบทสนับสนุนความสอดคล้องกันแบบ พาราคอนซิสทีน (paraconsistency ) โดยอนุญาตให้ความสอดคล้องเกี่ยวข้องกับชุดย่อยของข้อเท็จจริงในหน่วยความจำ ซึ่งก็คือบริบท ตามประวัติของการอนุมานเชิงตรรกะ ซึ่งทำได้โดยการแท็กข้อเท็จจริงหรือการอนุมานแต่ละรายการด้วยประวัติเชิงตรรกะ ระบบการบำรุงรักษาความจริงแบบหลายเอเจนต์ดำเนินการบำรุงรักษาความจริงข้ามหน่วยความจำหลายหน่วย ซึ่งมักจะอยู่ในเครื่องที่แตกต่างกัน ระบบการบำรุงรักษาความจริงแบบอิงสมมติฐานของเดอ คลีร์ (ATMS, 1986) ถูกนำมาใช้ในระบบที่ใช้KEEบนเครื่อง Lispระบบ TMS แบบหลายเอเจนต์ตัวแรกสร้างขึ้นโดยเมสันและจอห์นสัน ซึ่งเป็นระบบแบบหลายบริบท บริดจ์แลนด์และฮูนส์ได้สร้างระบบหลายเอเจนต์แบบบริบทเดียวระบบแรกขึ้น

• ปัญญาประดิษฐ์
• การแก้ไขความเชื่อ
• การได้มาซึ่งความรู้
• การเป็นตัวแทนความรู้
• เรือของนอยรัธ

• Bridgeland, DM & Huhns, MN, การบำรุงรักษาความจริงแบบกระจาย. การดำเนินการของ. AAAI–90: การประชุมระดับชาติครั้งที่แปดว่าด้วยปัญญาประดิษฐ์, 1990
• J. de Kleer (1986). TMS ที่อิงตามสมมติฐานปัญญาประดิษฐ์ 28:127–162
• J. Doyle. ระบบการบำรุงรักษาความจริง. AI. เล่มที่ 12. ฉบับที่ 3, หน้า 251–272. 1979.
• U. Junker และ K. Konolige (1990). การคำนวณส่วนขยายของออโตเอพิสทีมิกส์และลอจิกดีฟอลต์ด้วยระบบรักษาความจริง. ในเอกสารการประชุมวิชาการแห่งชาติครั้งที่แปดว่าด้วยปัญญาประดิษฐ์ (AAAI'90)หน้า 278–283. สำนัก พิมพ์MIT
• Mason, C. และ Johnson, R. DATMS: กรอบการทำงานสำหรับการใช้เหตุผลตามสมมติฐาน ใน Distributed Artificial Intelligence, Vol. 2, Morgan Kaufmann Publishers , Inc., 1989
• DA McAllester. ระบบบำรุงรักษาสามคุณค่า. สถาบันเทคโนโลยีแมสซาชูเซตส์ , ห้องปฏิบัติการปัญญาประดิษฐ์. AI Memo 473. 1978.
• จีเอ็ม โพรแวน (1988). การวิเคราะห์ความซับซ้อนของระบบการรักษาความจริงโดยอิงสมมติฐาน. ใน บี. สมิธ และ จี. เคลเลเฮอร์, บรรณาธิการ, ระบบการรักษาความจริงและการประยุกต์ใช้ , หน้า 98–113. เอลลิส ฮอร์วูด, นิวยอร์ก
• จีเอ็ม โพรแวน (1990). ความซับซ้อนในการคำนวณของระบบการบำรุงรักษาความจริงแบบหลายบริบท. ในเอกสารการประชุมวิชาการยุโรปครั้งที่ 9 ว่าด้วยปัญญาประดิษฐ์ (ECAI'90)หน้า 522–527.
• R. Reiter และ J. de Kleer (1987). รากฐานของระบบการรักษาความจริงโดยอิงสมมติฐาน: รายงานเบื้องต้น. ในเอกสารการประชุมวิชาการระดับชาติว่าด้วยปัญญาประดิษฐ์ครั้งที่ 6 (AAAI'87)หน้า 183–188. PDF

• การแก้ไขความเชื่อและ TMS ที่สารานุกรมปรัชญาสแตนฟอร์ด