الإصلاح الخطي للاستعلام عن قواعد معرفة ذات الأولوية بالمنطق الخفيف

(تلي عبد المطيع و حامدي غسان و عمري محمد نزيه )

---

الملخص

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

الكلمات المفتاحية
المنطق الوصفي، الاستعلام المترابط، الملف الذاتي للإجابة، معلومات غير متسقة

PDF

المراجع

متوفرة باللغة الانجليزية فقط