1215 ورقة بحثية
تتقصى هذه الورقة ما إذا كان من الممكن اختزال أطر الحجاج المعتمدة على السياق (CDAFs) إلى أطر قائمة على القيم، وذلك عبر تقديم إجراء قرار في وقت حدودي للتمثيل، مع إثبات أن مثل هذه الاختزالات نادرة وتتضاءل بسرعة مع زيادة عدد السياقات من خلال التحليل والتنفيذ.
تُفند هذه الورقة حدسية تيتوف من خلال إثبات أن نظير مبرهنة ليميت (Limit Theorem) لـ بارمبلياس-لويس-باي، التي تثبت تقارب نسب التقريب لاختزال سولوفاي، لا ينطبق على اختزال S2a في سياق الأعداد الحقيقية العشوائية لـ مارتن-لوف.
تقدم هذه الورقة الفئات أحادية المونود (monoidal su-categories) كإطار تجريدي للعمليات ذات المدخل الواحد وعالية الرتبة، وتوضح أن فئة البصريات ذات النهاية المشتركة (coend optics) تمثل الكائن الثنائي الأولي (2-initial object) ضمن هذا الإطار، مما يميزها بوصفها النظرية المونودية الدنيا للسياقات ذات الثقب الواحد.
تحل هذه الورقة سؤالاً مفتوحاً في مسألة "تارسكي للجبر المدرسي" من خلال إثبات عدم وجود جبر مكون من 11 عنصراً يمكنه استيفاء "هويات الجبر المدرسي" مع دحض "هوية ويلكي"، وهي نتيجة تم التوصل إليها عبر ترميز (SAT) ومصحوبة باكتشاف نموذج مضاد جديد مكون من 12 عنصراً.
تُعزز هذه الورقة فهم الأشجار العالمية من خلال إثبات قابليتها للتطبيق المباشر في حل ألعاب ستريت وإيمرسون-لي، مما يؤدي إلى استراتيجيات مثالية للذاكرة وتعقيدات زمنية محسنة تتفوق على الطرق السابقة التي تعتمد على الاختزال إلى ألعاب التكافؤ.
تقدم هذه الورقة محاكاة للمنطق الجهوي الذي يتميز بنفي غير كلاسيكي وعمليات استعادة، حيث تؤسس الكفاية وتثبت نتائج التوصيف الجوهري (من نوع هينيسي-ميلنر) والنسبي (من نوع فان بنتهم) التي تحدد هذه اللغات كأجزاء محددة من المنطق من الدرجة الأولى ثابتة تحت مثل هذه المحاكاة.
تقدم هذه الورقة تنفيذاً بلغة Wolfram لمنطق الإدخال/الإخراج المُجسّد (Reified Input/Output Logic) لأغراض حوكمة الذكاء الاصطناعي، مما يبرهن على قدرته على ترجمة المعايير القانونية إلى كود قابل للتنفيذ من أجل سلوك وكلاء قابل للتدقيق، مع تسليط الضوء على القيود الحالية في استخدام النماذج اللغوية الكبيرة لأتمتة عملية الصياغة الرسمية هذه.
تقدم هذه الورقة علاقات تكافؤ سلوكية وسيطة جديدة ومنطقًا جهويًا مبتكرًا ينجح، ولأول مرة، في توصيف تكافؤ "التشابه المتبادل الحافظ للتاريخ الوراثي" (hhp)، وهو أدق علاقة تكافؤ في طيف "فان غلابيك" بالنسبة للأوتوماتات ذات الأبعاد الأعلى.
تقدم هذه الورقة خوارزمية جديدة لحل مسائل QBF تعتمد على تعميم تعداد المجموعات الضاربة الضمنية، وتثبت من خلال التجارب أنها تنافس وتتفوق غالباً على الحلول المتطورة الحالية.
تقدم هذه الورقة نهجين جديدين لتنقية التجريد الموجه بالمثال المضاد (CEGAR) لحل صيغ بول (QBF) — خوارزمية تعتمد على CEGAR بشكل تكراري وتعزيز التعلم القائم على DPLL — وكلاهما يُظهر أداءً محسناً في عائلات محددة من المشكلات مقارنة بالمحللات الحالية.