صيانة الأسباب

صيانة الأسباب ^{[ 1 ] [ 2 ]} هي منهجية لتمثيل المعرفة تهدف إلى معالجة المعلومات المستنتجة المخزنة بشكل صريح بكفاءة. تميز صيانة الأسباب بين الحقائق الأساسية، التي يمكن دحضها ، والحقائق المشتقة. وبذلك، فهي تختلف عن مراجعة المعتقدات التي تفترض، في جوهرها، أن جميع الحقائق متساوية الأهمية. طُوّرت صيانة الأسباب في الأصل كتقنية لتنفيذ خوارزميات حل المشكلات. ^{[ 2 ]} وهي تشمل مجموعة متنوعة من التقنيات التي تشترك في بنية مشتركة: ^{[ 3 ]} مكونان - مُستَعلِم ونظام صيانة الأسباب - يتواصلان مع بعضهما البعض عبر واجهة. يستخدم المُستَعلِم نظام صيانة الأسباب لتسجيل استنتاجاته ومبرراتها ("أسباب") هذه الاستنتاجات. كما يُبلغ المُستَعلِم نظام صيانة الأسباب بالحقائق الأساسية (الافتراضات) الصالحة حاليًا. يستخدم نظام صيانة الأسباب هذه المعلومات لحساب قيمة الصواب للحقائق المشتقة المخزنة، ولاستعادة الاتساق في حال وجود تناقض.

نظام صيانة الحقيقة ، أو TMS ، هو أسلوب لتمثيل المعرفة يُستخدم لتمثيل كل من المعتقدات والتبعيات بينها، بالإضافة إلى خوارزمية تُسمى "خوارزمية صيانة الحقيقة" تتولى معالجة هذه التبعيات والحفاظ عليها. ويُعزى اسم " صيانة الحقيقة" إلى قدرة هذه الأنظمة على استعادة الاتساق.

يحافظ نظام صيانة الحقيقة على اتساق المعرفة السابقة والمعتقدة الحالية في قاعدة المعرفة من خلال المراجعة. إذا تعارضت المعلومات المعتقدة الحالية مع المعلومات الموجودة في قاعدة المعرفة، يتم تحديث قاعدة المعرفة بالمعلومات الجديدة. قد يحدث أن تُعتبر البيانات نفسها صحيحة مرة أخرى، مما يستدعي الرجوع إلى المعلومات السابقة في قاعدة المعرفة. في حال عدم وجود هذه المعلومات، ولكنها قد تكون ضرورية للاستدلال الجديد، فلا حاجة لمراجعتها. يتجنب نظام صيانة الحقيقة هذه المراجعة، إذ يتتبع البيانات المتناقضة باستخدام سجل التبعية. يعكس هذا السجل عمليات التراجع والإضافة، مما يُطلع محرك الاستدلال على مجموعة معتقداته الحالية.

تُضاف كل عبارة لها مبرر واحد صحيح على الأقل إلى مجموعة المعتقدات الحالية. وعند اكتشاف تناقض، تُحدد العبارة (أو العبارات) المسؤولة عن هذا التناقض، وتُحدّث السجلات وفقًا لذلك. تُسمى هذه العملية بالتراجع الموجه بالتبعية.

تحتفظ خوارزمية TMS بالسجلات على شكل شبكة تبعية. كل عقدة في الشبكة هي مدخل في قاعدة المعرفة (مقدمة، أو سابقة، أو قاعدة استدلال، إلخ). يمثل كل قوس في الشبكة خطوات الاستدلال التي تم من خلالها اشتقاق العقدة.

المقدمة هي اعتقاد أساسي يُفترض صحته، ولا تحتاج إلى تبريرات. وتُشكّل مجموعة المقدمات الأساس الذي تُستمد منه تبريرات جميع العناصر الأخرى.

يوجد نوعان من التبرير للعقدة. وهما:

1. قائمة الدعم [SL]
2. البرهان الشرطي (CP)

توجد أنواع عديدة من أنظمة صيانة الحقيقة. النوعان الرئيسيان هما صيانة الحقيقة أحادية السياق وصيانة الحقيقة متعددة السياقات. في الأنظمة أحادية السياق، يُحافظ على الاتساق بين جميع الحقائق في الذاكرة (قاعدة المعرفة)، ويرتبط ذلك بمفهوم الاتساق في المنطق الكلاسيكي . تدعم الأنظمة متعددة السياقات التناقض الجزئي من خلال السماح بأن يكون الاتساق ذا صلة بمجموعة فرعية من الحقائق في الذاكرة، أي سياق معين، وفقًا لتاريخ الاستدلال المنطقي. ويتحقق ذلك من خلال ربط كل حقيقة أو استنتاج بتاريخه المنطقي. تُجري أنظمة صيانة الحقيقة متعددة العوامل صيانة الحقيقة عبر ذاكرات متعددة، غالبًا ما تكون موجودة على أجهزة مختلفة. استُخدم نظام صيانة الحقيقة القائم على الافتراضات لدي كلير (ATMS، 1986) في أنظمة تعتمد على KEE على جهاز Lisp . أنشأ ماسون وجونسون أول نظام صيانة حقيقة متعدد العوامل، وكان نظامًا متعدد السياقات. أنشأ بريدجلاند وهانز أول نظام متعدد العوامل أحادي السياق .

• الذكاء الاصطناعي
• مراجعة المعتقدات
• اكتساب المعرفة
• تمثيل المعرفة
• قارب نيوراث

• بريدجلاند، دي إم وهانز، إم إن، صيانة الحقيقة الموزعة. وقائع المؤتمر الوطني الثامن للذكاء الاصطناعي AAAI-90، 1990.
• ج. دي كلير (1986). نظام إدارة النقل القائم على الافتراضات. الذكاء الاصطناعي ، 28: 127-162.
• ج. دويل. نظام صيانة الحقيقة. الذكاء الاصطناعي. المجلد 12. العدد 3، الصفحات  251-272. 1979.
• يو. يونكر وك. كونوليج (1990). حساب امتدادات المنطق المعرفي الذاتي والمنطق الافتراضي باستخدام نظام صيانة الحقيقة. في وقائع المؤتمر الوطني الثامن حول الذكاء الاصطناعي (AAAI'90) ، الصفحات 278-283. مطبعة معهد ماساتشوستس للتكنولوجيا .
• Mason, C. and Johnson, R. DATMS: A Framework for Assumption Based Reasoning, in Distributed Artificial Intelligence , Vol. 2 , Morgan Kaufmann Publishers , Inc., 1989.
• دي إيه ماكاليستر. نظام صيانة ثلاثي القيم. معهد ماساتشوستس للتكنولوجيا ، مختبر الذكاء الاصطناعي. مذكرة الذكاء الاصطناعي 473. 1978.
• جي إم بروفان (1988). تحليل تعقيد أنظمة صيانة الحقيقة القائمة على الافتراضات. في: ب. سميث وج. كيليهر (محرران)، أنظمة صيانة المنطق وتطبيقاتها ، الصفحات 98-113. إليس هوروود، نيويورك.
• جي إم بروفان (1990). التعقيد الحسابي لأنظمة صيانة الحقيقة متعددة السياقات. في وقائع المؤتمر الأوروبي التاسع حول الذكاء الاصطناعي (ECAI'90) ، الصفحات 522-527.
• ر. رايتر وج. دي كلير (1987). أسس أنظمة صيانة الحقيقة القائمة على الافتراضات: تقرير أولي. في وقائع المؤتمر الوطني السادس حول الذكاء الاصطناعي (AAAI'87) ، الصفحات 183-188. PDF

• مراجعة المعتقدات وأنظمة إدارة الأزمات في موسوعة ستانفورد للفلسفة