الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-21
مراقبة وقت التشغيل الصالحة في أي لحظة لشهادات الحاجز المتعلمة
العنوان الأصلي: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

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