1215 ورقة بحثية
تقدم هذه الورقة SATFuL، وهو برنامج جديد لحل مشكلات التبعية (SAT solver) للمنطق الضبابي، يستفيد من البرمجة غير الخطية ذات الأعداد الصحيحة المختلطة (MINLP) لتحقيق السلامة والكمال والقدرة الواسعة على التطبيق عبر مختلف أنظمة المنطق الضبابي، مما يظهر أداءً يضاهي أو يتفوق على الأدوات الحالية الرائدة.
تُبين هذه الورقة أنه في ظل ظروف معتدلة، فإن أي نمط تفاضلي (differential modality) على فئة مونويدية متناظرة إضافية (additive symmetric monoidal category) يستحث طبيعيًا نمطًا تفاضليًا مُرتبًا بـ (-filtered differential modality)، حيث تقابل المورفيزمات خرائط متعددة الحدود ذات درجة محدودة، والتي تتميز بتلاشي مشتقتها رقم .
تقدم هذه الورقة معرض QBF لعام 2023، وهو الحدث التقييمي الأخير في السلسلة، والذي يقدم مجموعة معايير مرجعية موحدة جديدة ويقدم تحليلاً مقارناً لأحدث الحلول البرمجية مع مناقشة الاتجاه المستقبلي لأبحاث ومعايير QBF.
تقدم هذه الورقة "صيغة منطق القانون الشامل" (FULL)، وهي منطق جهوي كمي متعدد الأنواع يعمل على صياغة الأمر المطلق عند كانت بشكل رسمي لتمكين الوكلاء الأخلاقيين الاصطناعيين من تقييم الأفعال بناءً على أغراضها ومعارفهم الخلفية دون الاعتماد على حدوس أخلاقية مبرمجة مسبقاً.
تقدم هذه الورقة إطار عمل لإثبات السلامة التدريجي يجمع بين الاستدلال الأمامي، والاستدلال الخلفي على الأنظمة المعكوسة زمنياً، وخطوات التنبؤ لتفكيك الثوابت الاستقرائية المعقدة إلى مكونات أبسط، مما يقلل من مساحة البحث للتحقق ويبرهن على فعاليته في بروتوكولات الإجماع الموزعة مثل Paxos وRaft.
تقترح هذه الورقة أتمتة مجموعات السجلات (RSAs)، وهي نموذج أتمتة جديد يوسع أتمتة السجلات بعمليات قائمة على المجموعات، لتمكين المطابقة الفعالة والحتمية والقوية للتعبيرات المنتظمة التي تحتوي على مراجع خلفية مع إثبات قابليتها للتقرير وقدرتها التعبيرية نظرياً.
تثبت هذه الورقة البحثية اكتمال تورينج للغة البرمجة ذاتية البيانات (AuDaLa) من خلال تنفيذ والتحقق من آلات تورينج، مع اقتراح توسعات لتعزيز قدرتها التعبيرية العملية وتوافقها مع اللغات المتوازية التقليدية.
تتقصى هذه الورقة فئات هياكل الانتقال عبر توظيف أساليب جبرية وطوبولوجية لإرساء تلازم عكسي بين فئتين من هذا القبيل، مع تباين النتائج بناءً على قيود طوبولوجية محددة على الكائنات والمورفيزمات.
تقدم هذه الورقة مفهوم "الآلات" كعمليات تحقق لبناء فضاء أسي ضعيف يرتد إلى الأسي الحقيقي، مما يقدم تفسيراً طوبولوجياً للقابلية للرفع الأسي ويُمكّن من نسخة طوبولوجية بحتة للكم الشامل على الفضاءات المتراصة.
تقدم هذه الورقة الإصدار 1.2 من تنسيق تركيب المنطق الزمني (TLSF)، وهو امتداد لمنطق الخط الزمني الخطي (LTL) القياسي يدمج بنى عالية المستوى مثل المجموعات والدوال، وعائلات المشكلات ذات المعلمات، وعوامل تشغيل جديدة ذات دلالات منطق الخط الزمني الخطي للتعفيذات المحدودة (LTLf).