Marcus Aurelius [Book]

به زودی تمام مشکلات را در حال حاضر برطرف خواهد کرد

Reason maintenance[1][2] یک رویکرد بازنمایی دانش برای مدیریت کارآمد اطلاعات استنباط شده است که به صراحت ذخیره می‌شود. حفظ عقل بین حقایق پایه که می توان آنها را شکست داد و حقایق مشتق شده تمایز قائل شد. به این ترتیب با تجدید نظر در باور که در شکل اصلی خود فرض می‌کند که همه واقعیت‌ها به یک اندازه مهم هستند، متفاوت است. Reason maintenance در اصل به عنوان تکنیکی برای پیاده سازی حل کننده های مشکل توسعه داده شد.[2] این شامل انواع تکنیک هایی است که یک معماری مشترک دارند: [3] دو جزء - یک دلیل و یک سیستم نگهداری دلیل - از طریق یک رابط با یکدیگر ارتباط برقرار می کنند. استدلال کننده از سیستم نگهداری دلیل برای ثبت استنباطات و توجیهات ("دلایل") استنتاج ها استفاده می کند. استدلالگر همچنین سیستم نگهداری دلیل را که در حال حاضر حقایق پایه معتبر هستند (فرض ها) اطلاع می دهد. دلیل سیستم تعمیر و نگهداری از اطلاعات برای محاسبه ارزش واقعی حقایق مشتق شده ذخیره شده و برای بازیابی سازگاری در صورت عدم سازگاری استفاده می کند.

یک سیستم نگهداری حقیقت یا TMS یک روش بازنمایی دانش برای نمایش هر دو باورها و وابستگی های آنها و الگوریتمی به نام "الگوریتم حفظ حقیقت" است که وابستگی ها را دستکاری و حفظ می کند. نام نگهداری حقیقت به دلیل توانایی این سیستم ها در بازیابی سازگاری است.