1215 ورقة بحثية
تقدم هذه الورقة إطاراً موحداً للمسافات السلوكية القائمة على العتبة والمستحثة بواسطة الأنماط الكمية، مبرهنةً أن الصيغ المميزة لكل من المنطق ثنائي القيم والمنطق الكمي يمكن استخراجها في وقت حدودي، وهي نتيجة تفضي إلى خوارزميات فعالة جديدة لأنظمة محددة مثل سلاسل ماركوف، وأنظمة الانتقال المترية، وأنظمة الانتقال الضبابية.
تتقصى هذه الورقة التفاعل بين نظرية النموذج المحدود والجبر الشامل من خلال تقديم أمثلة مضادة تدحض الصياغات من الدرجة الأولى لنظريات الحفظ الكلاسيكية ومشكلة إيلينبرج-شوتزنبيرجر، مع إثبات عدم قابلية التقرير للتعريف من الدرجة الأولى للأنواع شبه المتنوعة وربط مشكلات تحقيق القيود بعضوية النوع المتنوع.
تقترح هذه الورقة امتداداً لمنطق الزمن المتبادل (ATL) بسياقات الاستراتيجية عبر إضافة تفضيلات ثنائية على المسارات، مع توفير تقنيات ترجمة لإزالة هذه التفضيلات ورسم خرائط لهذا المنطق إلى منطق شجرة الحساب المكمم (QCTL) من أجل الاستدلال الخوارزمي حول توازن الألعاب.
تؤسس هذه الورقة نتائج خوارزمية ونتائج صعوبة جديدة للرضا المتين لمسائل الالتزام بالوعد (promise CSPs)، حيث تثبت أنه في حين تسمح بعض التعددات الشكلية (مثل الأغلبية - Majority) بالرضا المتين القريب من الأمثل، فإن غيرها (مثل عتبة التناوب - Alternating-Threshold) تسبب خسارة أسية، كما تقدم أيضاً تقنية جديدة لتقريب البرمجة شبه المحددة (SDP rounding) المتينة.
تؤسس هذه الورقة علاقة رسمية بين الدلالات الكونية والسابقة لعمليات ماركوف لاتخاذ القرار متعددة البيئات (MEMDPs)، مما يوفر خوارزميات جديدة فعالة لحساب قيمها تحت أهداف التكافؤ، وتثبت أن الـ prior-MEMDPs تمثل فئة فرعية هامة وقابلة للحل من عمليات ماركوف لاتخاذ القرار تحت ملاحظة جزئية (POMDPs).
تصف هذه الورقة صياغة التعيينات الحافظة للاتجاه في مساعد الإثبات "Lean" لمعالجة الصعوبة المتأصلة وإمكانية الخطأ في الاستدلال حول المخططات المستوية.
تقدم هذه الورقة بنية قابلة للتفاضل لتخليق المنطق تستخدم التكوين الطيفي المقيد بـ Sinkhorn وتعديل إشارة العمود لتعلم الدوال البوليانية، مبرهنةً أنه في حين يعاني الانحدار الاشتقاقي من التعقيد عالي الأبعاد، فإن الجمع بين التكميم الثلاثي وتحسين MCMC يمكن أن يحقق دقة بنسبة 100% للمنطق العصبي الرمزي عالي الكفاءة في الأجهزة.
تقدم الورقة البحثية DLp، وهو إطار عمل منطقي ديناميكي بارامتري جديد، يبسط عملية التحقق من البرامج من خلال توفير مجموعة من قواعد الاستدلال المستقلة عن النموذج والمبنية مباشرة على الدلالات التشغيلية للبرنامج، مع دعم كل من الاستدلال الدوري والتوافق مع النظريات القائمة.
تقدم هذه الورقة نهجاً طوبولوجياً للغات الأشجار المنتظمة باستخدام المفهوم الفئوي لـ "مونايد الكثافة" (codensity monads) لبناء إكمال "بروفينيت" (profinite completion) للكلونات، وهو ما يعمم الإكمال "البروفينيتي" للمونويدات ويحدد الأشجار "البروفينيتية" كجزء محدد من "حساب لامدا البروفينيتي" (profinite lambda-calculus).
تقدم هذه الورقة نظرة تاريخية عامة على تطبيقات مبرهنتي استكمال كريج وتعريف بيث في الفلسفة منذ الخمسينيات، مع تحديد "الاعتماد" كسمة مركزية، بينما تساهم في تقديم نتائج تقنية جديدة حول الترجمات المنطقية والتعريفية المعممة.