في عالم الذكاء الاصطناعي، تُعتبر برامج منطق الوصف (Description Logic Programs) آداة فعّالة تدمج بين القواعد والانطولوجيات. في هذا السياق، يعدّ مفهوم الدلالة المدعومة (Well-supported Semantics) أحد المبادئ الأساسية، حيث يضمن ألا تعتمد أي مجموعة إجابات على اعتمادات دورية. ومع أن معظم المفاهيم الشائعة للبرمجة المنطقية تتمتع بهذه الخاصية، إلا أن الأبحاث الأخيرة التي نُشرت في arXiv تكشف عن محدوديتين رئيسيتين في الدلالة المدعومة الحالية.

الأولى تتعلق بزيادة التعقيد الحاسوبي لمشكلة التوافق، والثانية تتعلق بنقص الوصف التحويلي. لذلك، يعرض الباحثون دلالة جديدة تقيم الجزيئات الأنتولوجية بشكل أكثر صرامة، مما يبقي تعقيد مشكلة التوافق في مستوى NP-complete، وليس في المستوى الثاني من التسلسل الهرمي متعددة الحدود.

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

ندعو الباحثين والمهتمين لهذا المجال لمتابعة هذه التطورات المثيرة التي قد تُحدث تحولاً في كيفية استخدام الذكاء الاصطناعي في حل المشكلات المنطقية. ما رأيكم في هذا الابتكار الجديد؟ شاركونا في التعليقات.