1215 ورقة بحثية
تقترح هذه الورقة إطارًا دلاليًا قائمًا على التفضيل وذا مستويين، يوسع منطق ديونتي ثنائي العلاقات بأسلوب هانسون-لويس عبر الاستدلال غير الرتيب لنمذجة الالتزامات الشرطية القابلة للنقض، وذلك باستخدام ترتيبات متميزة للعوالم المثالية والعادية لمعال معالجة أوجه القصور السابقة وإقامة صلة مع منطق المدخلات/المخرجات المقيد.
تقدم هذه الورقة "ملف الرتبة من الدرجة الأولى ذو الأفق المحدود" لقياس عمق المكمم المطلوب لتصنيف اللغة على الكلمات ذات الطول المحدود، مثبتةً أنه بالنسبة للغات المنتظمة، تظهر هذه الرتبة ثنائية حادة حيث تظل ثابتة إذا وفقط إذا كانت اللغة غير دورية، وإلا فإنها تنمو لوغاريتمياً مع طول الكلمة.
تقدم هذه الورقة استنباطاً رسمياً بيانيّاً سليماً وكاملاً للمسافة السلوكية للعمليات غير الحتمية باستخدام مخططات ميلنر والرسوم البيانية الخيطية، مما يقدم إطاراً تركيبياً خالياً من المتغيرات ينقل التركيز من تكافؤ اللغة إلى التماثل الثنائي.
توسع هذه الورقة خوارزمية SCAN القائمة على التشبع لإزالة المكمم من الدرجة الثانية لحساب الشهود للمكممات من الدرجة الثانية التي تؤدي إلى صيغ مكافئة منطقياً من الدرجة الأولى، وتقدم نموذجاً تنفيذياً أولياً لهذه الطريقة.
تثبت هذه الورقة إمكانية تقرير التوقف شبه المؤكد لفئة من مخططات العودية الاحتمالية من الرتب العليا (PHORS) التي توسع الأنظمة الأفينية عبر استخدام دلالات علاقات موزونة للمنطق الخطي لإثبات أن الدوال المولدة المرتبطة بها هي دوال جبرية.
تقدم هذه الورقة إطار عمل عصبي-رمزي موسع يدمج مسار تركيب وتحقق على المستوى الميتا، مستفيداً من النماذج اللغوية الكبيرة لترجمة المبادئ القانونية ومبادئ السلامة عالية المستوى إلى قواعد سببية دنيا ومحققة رسمياً للأنظمة ذاتية القيادة ذات الأهمية الحرجة للسلامة.
تقدم هذه الورقة أنظمة الترقيم الدلالي العقلانية الموجبة، وتعرف عمليات الحمل والباقي للمؤثرات الدلالية الكاردينالية، وتحلل خصائصها الديناميكية من خلال الأمثلة، وتقترح إطاراً أولياً لأنظمة الترقيم الدلالي الصحيحة الجزئية.
تقدم هذه الورقة نظام نوع صقل منتهي سليم وكامل للتحقق من خصائص المدخلات والمخرجات المفتوحة وفق مقياس سكوت (Scott-open) للدوال التي تعمل على بيانات لانهائية، وذلك عبر الاستفادة من الطبيعة الطيفية لنطاقات سكوت (Scott domains) والقطبية المنطقية لربط نظرية المجال لأبرامس في شكل منطقي (Abramsky's Domain Theory in Logical Form) مع نظرية التحقق (realizability).
تقدم هذه الورقة نموذج ATL-D وامتداده القائم على المعرفة ATEL-D لنمذجة المنح والتعليق الديناميكي للأفعال في الأنظمة متعددة الوكلاء، مع تحليل قدرتها التعبيرية، وعلاقتها بالأنظمة المعيارية، والتعقيد الحسابي لها.
تقدم هذه الورقة إطارًا تركيبيًا للشبكات البايزية الكمومية يوحد الاستدلال السببي الكلاسيكي والكمومي عبر توظيف نظام تصنيف "شبكة برهان" (proof-net) قائم على المنطق الخطي، والذي يستعيد الدلالات البايزية القياسية للأسباب الكلاسيكية وشبكات الموتر للأنظمة الكمومية البحتة.