Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

إليك شرح لورقة بحثية بعنوان "الاستعلام وإصلاح قواعد المعرفة المتضاربة ذات الأولوية"، مترجمة بلغة بسيطة واستعارات إبداعية.

الصورة الكبيرة: مكتبة فوضوية مع كتاب قواعد

تخيل أن لديك مكتبة ضخمة (قاعدة معرفة - Knowledge Base) تحتوي على شيئين:

1. كتاب القواعد (الأنطولوجيا - Ontology): مجموعة من القوانين الصارمة حول كيفية عمل الأشياء (مثل: "كل الثعابين زواحف"، "لا يمكن لأي حيوان أن يكون ثديياً وزاحفاً في آن واحد").
2. كومة الملاحظات (الحقائق/ABox): كومة من الملاحظات اللاصقة التي تركها أشخاص مختلفون لوصف حيوانات معينة (مثل: "ريكس ثعبان"، "ريكس حيوان ثديي").

أحياناً، تتعارض الملاحظات مع كتاب القواعد أو مع بعضها البعض. إذا كانت لديك ملاحظة تقول "ريكس ثعبان" وأخرى تقول "ريكس حيوان ثديي"، وكان كتاب القواعد الخاص بك يقول إن "الثعابين والثديات لا يجتمعان"، فإن المكتبة بأكملها تصبح متضاربة (Inconsistent). في أنظمة الكمبيوتر العادية، قد يتسبب هذا الارتباك في تعطل النظام أو جعله يعتبر "كل شيء صحيحاً" (وهو أمر عديم الفائدة).

تسأل هذه الورقة البحثية: كيف نصلح هذا الفوضى دون التخلص من الكثير من المعلومات، خاصة عندما نعرف أن بعض الملاحظات أكثر موثوقية من غيرها؟

---

تحول "الأولوية": من الذي يقرر؟

في العالم الحقيقي، غالباً ما نعرف أي المصادر أفضل. ربما كانت الملحوظة "ريكس حيوان ثديي" قد كتبها عالم حيوان مشهور، بينما "ريكس ثعبان" كانت مجرد خربشة من سائح مرتبك. نحن بحاجة إلى طريقة لقول: "ثق بعالم الحيوان".

تقدم الورقة البحثية مفهوم علاقة الأولوية (Priority Relation). فكر في هذا كتراتبية للثقة. إذا تعارضت ملاحظتان، فإن الملاحظة ذات الأولوية الأعلى "تفوز" وتبقى؛ أما الملاحظة ذات الأولوية الأدنى فتُستبعد.

الطرق الثلاث لتنظيف الفوضى (الإصلاحات المثلى)

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

1. نهج "باريتو" (المقايضة العادلة):

   • الاستعارة: تخيل أنك تتبادل البطاقات. أنت لا تبدل بطاقة تملكها بأخرى جديدة إلا إذا كانت الجديدة أفضل تماماً من التي ستتنازل عنها، ودون أن تضطر للتخلي عن أي شيء آخر للحصول عليها.
   • في الورقة: أنت تحتفظ بمجموعة من الملاحظات إذا لم يكن بإمكانك استبدال أي منها بملاحظة "أفضل" دون خسارة شيء آخر تملكه بالفعل. هذا هو النهج الأكثر مرونة.

2. النهج "العالمي" (الإصلاح الشامل):

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

3. نهج "الإكمال" (الطابور الجشع):

   • الاستعارة: تخيل طابوراً من الناس ينتظرون دخول نادٍ ليلي. يقوم الحارس (الكمبيوتر) بفحصهم واحداً تلو الآخر، بدءاً من كبار الشخصيات (VIP). إذا كان كبار الشخصيات يتناسبون مع قوانين النادي دون كسر القواعد، فيدخلون. ثم يأتي الدور على الشخص التالي. إذا تسبب أحد كبار الشخصيات في تعارض مع شخص دخل بالفعل، فيتم منعه من الدخول. الحارس لا يعود أبداً للتحقق من كبار الشخصيات الذين تخطاهم سابقاً.
   • في الورقة: هذه طريقة "جشعة" (Greedy). فهي تعالج الحقائق بترتيب معين (ترتيب كلي) وتضيفها إذا كانت مناسبة.

التعقيد: ما مدى صعوبة الرياضيات؟

أجرى المؤلفون "اختبار صعوبة" على هذه الطرق الثلاث لمعرفة مقدار قوة الحوسبة التي تحتاجها.

• الأخبار السيئة: إصلاح المكتبة باستخدام نهجي "باريتو" أو "العالمي" هو أمر صعب جداً على أجهزة الكمبيوتر. الأمر يشبه محاولة حل لغز "سودوكو" ضخم حيث تتغير القواعد باستمرار. بالنسبة للمنهج "العالمي"، الأمر صعب لدرجة أن أجهزة الكمبيوتر القوية قد تستغرق وقتاً طويلاً جداً للعثัง على الإجابة إذا كانت المكتبة ضخمة.
• الأخبار الجيدة: منهج "الإكمال" (الطابور الجشع) أسهل وأسرع بكثير.
• المفاجأة: على الرغم من أن منهج "باريتو" صعب الحوسبة، إلا أنه تبين أنه الطريقة الأكثر "طبيعية" للتفكير في المشكلة (كما سنرى أدناه).

الرابط السري: الحِجاج (قاعة المحكمة)

هذه هي الرؤية الأكثر إبداعاً في الورقة. أدرك المؤلفون أن إصلاح المكتبة هو بالضبط نفس عملية إدارة مناظرة في قاعة محكمة.

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

تثبت الورقة وجود رابط رياضي مذهل:

• طريقة "باريتو" لإصلاح المكتبة هي مطابقة رياضياً لإيجاد "الامتدادات المستقرة" (Stable Extensions) في مناظرة المحكمة. "الامتداد المستقر" هو مجموعة من الحجج التي يمكن أن تقف معاً دون أن تهاجم بعضها البعض، وهي تهزم كل الحجج الموجودة خارج المجموعة.
• هذا يعني أنه إذا استطعت حل مشكلة المناظرة، فستحل تلقائياً مشكلة إصلاح المكتبة.

الحل الجديد: الإصلاح "المؤسس" (Grounded Repair)

بما أن منهج "باريتو" صعب الحوسبة للغاية، فقد اقترح المؤلفون منهجاً جديداً وأبسط مستوحى من مفهوم "الامتداد المؤسس" (Grounded Extension) في نظرية الحِجاج.

• الاستعارة: تخيل لعبة "حجر ورقة مقص" تُلعب في جولات.
  1. أولاً، نحدد الملاحظات القوية جداً لدرجة أنه لا يمكن مهاجمتها من قبل أي شيء (مثل "الحجر" الذي لا يهزمه أحد). نحن نحتفظ بها.
  2. بعد ذلك، ننظر إلى الملاحظات التي لا تُهاجم إلا من قبل الملاحظات التي احتفظنا بها للتو. بما أن مهاجميها قد اختفوا، فإن هذه الملاحظات أصبحت آمنة الآن. نحن نحتفظ بها أيضاً.
  3. نكرر هذه العملية حتى لا يمكن إنقاذ أي ملاحظات جديدة.

هذا المنهج "المؤسس" هو:

1. سريع: يمكن لأجهزة الكمبيوتر القيام به بسرعة كبيرة (في وقت حدودي - Polynomial time).
2. آمن: لا يتضمن أبداً ملاحظة خاطقة بالتأكيد. إنه تخمين "محافظ".
3. أفضل من المنافسين: قارن المؤلفون هذا المنهج بمنهج حديث آخر يسمى "Elect" وأظهروا أن المنهج "المؤسس" يحفظ معلومات صحيحة أكثر من "Elect".

ملخص النتائج

• إصلاحات باريتو هي "المعيار الذهبي" (مثالية رياضياً وطبيعية) ولكنها مكلفة حوسبياً (صعبة الحساب).
• إصلاحات المنهج العالمي والمنهج الجشع هي مجموعات فرعية من إصلاحات باريتو ولكن بخصائص مختلفة.
• دلالات المنهج المؤسس (Grounded Semantics) هي مقترح المؤلفين الجديد. وهو طريقة سريعة وآمنة وفعالة للحصول على إجابة "جيدة بما يكفي" وتضمن أن تكون جزءاً من أفضل حل ممكن.

لماذا هذا مهم (وفقاً للورقة)

لا تدعي الورقة أنها تصلح السجلات الطبية في العالم الحقيقي أو السيارات ذاتية القيادة بعد. بدلاً من ذلك، هي تقدم الأساس النظري. فهي تخبرنا:

1. أي المناهج متكافئة رياضياً (لذا يمكننا استخدام أدوات من مجال واحد لحل مشكلات في مجال آخر).
2. أي المناهج بطيئة جداً للبيانات الضخمة وأيها سريع بما يكفي.
3. أن المنهج "المؤسس" هو بديل عملي وسريع وأفضل من المحاولات السابقة.

باختصار، تبني هذه الورقة جسراً بين إصلاح قواعد البيانات (إصلاح البيانات الفوضوية) و نظرية الحِجاج (مناظرة الأفكار)، مما يوضح لنا كيفية استخدام منطق المناظرات لتنظيف المعلومات الفوضوية بكفاءة.