المستقبل والأنظمة المستقلة

OSAFIS 2.0.0-draft.1 · مقترح بحثي · 10 دقائق للقراءة

OSAFIS 2.0.0-draft.1 · جدول أعمالٍ بحثي مقترح · 2026-09-07

متانة البنية بوصفها سؤالًا قابلًا للاختبار

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

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

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

التشغيل المستمر والسلطة المتغيرة

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

وتتعلق P17 «السلامة الزمنية» بالترتيب المناسب والصلاحية الزمنية اللذين يحددهما العقد. وتتعلق P14 «قابلية التحكم» بالتدخل الفعّال في ظل شروطٍ مُعلنة. ولا تُستوفى أيٌّ منهما لمجرد وجود زر إيقاف أو لأن رمزًا ما يحمل حقلًا لانتهاء الصلاحية. ويجب أن يرصد اختبارٌ محتوى ما إذا كان الإلغاء يبلغ الأفعالَ المعلّقة، وما إذا كانت الخطط المتقادمة يُعاد التحقق منها، وما الآثار غير القابلة للعكس التي قد تبقى بعد التدخل.

والسلطة علاقةٌ تشمل فاعلًا، وهدفًا، ونطاقًا، وشروطًا. ويتتبع D1 «الهوية والثقة والترخيص» هذه العلاقة عبر المجالات؛ وليست من اختصاص الذاكرة المحتفَظ بها وحدها. فارتباطٌ مخزَّن بالهوية يخص L6 «الذاكرة واستمرارية الحالة»، في حين يخص متحققُ الوصول L2 «البرمجيات والبنية التحتية»، وتخص قيودُ التفويض L7 «التخطيط والفعل».

التعلم في أثناء التشغيل والتعديل الذاتي

قد يحوّل النظام التكيفي التجربةَ إلى سجلاتٍ محتفَظ بها، أو أمثلةِ تدريب، أو تحديثاتٍ للمعاملات، أو شيفرةٍ قابلة للتنفيذ، أو قواعدَ رمزية منقّحة. وهذه انتقالاتٌ مختلفة. فالمعلومات المقبولة لغرض التعلم تنتمي إلى عقدٍ في L3 «البيانات والمعرفة». والمعاملات القابلة للتنفيذ وقواعد الاستدلال تنتمي إلى L1 «النماذج والحوسبة». وعزل النشر وأذونات التحديث تنتمي إلى L2. والارتباطات المستمرة بالمهام أو المستخدمين تنتمي إلى L6.

لنأخذ سجلَّ تغذيةٍ راجعة افتراضيًا قُبل من مصدرٍ غير موثوق، ثم استُخدم لاحقًا لتحديث سياسةٍ ما. قد يشارك هذا السجل في إخفاقٍ ضمن L3؛ وقد تخرق عمليةُ قبول التحديث عقدًا منفصلًا في L1. ولا يُعدّ ذلك تلقائيًا إخفاقًا للذاكرة في L6 لمجرد أن المعلومات تبقى. وفي المقابل، لا يلزم أن يغيّر تفضيلٌ مسموم لمستخدمٍ ما معاملاتِ النموذج كي يؤثر في السلوك المستقبلي.

ويُمثَّل التحديث بوصفه انتقالًا محدد النوع، له فاعلٌ مرخِّص، ومدخلات، وشروطُ تحقق، وإصدارٌ ناتج، وحدودٌ للتراجع. ويقدّم D5 «دورة الحياة وإدارة التغيير» المنظورَ المشترك. ووجود هذا البعد لا يغني عن عقدٍ ملموس للتحديث. وينبغي للبحث أن يختبر ما إذا كانت هذه المواضع القائمة تميّز إخفاقات التكيّف تمييزًا موثوقًا؛ فتكرار إخفاقاتٍ في انتقالاتٍ غير ممثَّلة يسوّغ تنقيحًا بنيويًا.

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

الأنظمة غير العصبية والهجينة

تتبع قابليةُ التطبيق الوظيفةَ لا طريقةَ التنفيذ. فقد يحتوي مستدِلٌّ رمزي على قواعد استدلالٍ قابلة للتنفيذ في L1، ووقائعَ مرجعية في L3، وأهدافٍ مفسَّرة في L5 «التفسير والأهداف»، وإجراءٍ للتخطيط في L7. وقد ينفّذ نظامٌ هجين هذه الوظائف عبر عدة مكوّناتٍ متعاونة. ولا يُفترض وجود وعيٍ، أو مشاعر، أو استدلالٍ شبيه بالبشر.

وقد يتوقف التمييز بين القاعدة والمعلومة نفسه على الواجهة. فقاعدة قواعدَ مستوردة تُقبل بوصفها سياسةً قابلة للتنفيذ تتطلب عقدَ قبولٍ مختلفًا عن وثيقةٍ يُقتبس منها بوصفها دليلًا. وينبغي أن يُظهر التصنيف هذا التمييز بدلًا من تسمية كل كائنٍ رمزي «بيانات». وبالمثل، قد يُمثَّل هدفُ التحسين عدديًا دون أي تعارضٍ في تعليماتٍ مكتوبة باللغة الطبيعية.

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

المشاهدة متعددة الوسائط والرقمية

يغطي L4 «الإدراك وتمثيل العالم» اكتسابَ حالة البيئة وتقديرَها، بما في ذلك البيئات الرقمية. فقد يقدّر نظامٌ يشغّل متصفحًا أيَّ عناصر التحكم نشط، وما حالة الصفحة القائمة، وما إذا كانت مشاهدةٌ سابقة لا تزال صالحة. وتدفق النص ليس إدراكًا بالضرورة؛ أما الوظيفة التي تقدّر حالة البيئة فقد تكون إدراكًا حتى حين يكون مدخلها نصًا مهيكلًا.

ويجب التمييز بين أمانة المشاهدة وسلطة التفسير. فقد تنسخ كاميرا لافتةً تتضمن تعليمةً عدائية نسخًا دقيقًا. فإذا رُفعت تلك التعليمة على نحوٍ غير سليم إلى مرتبة السلطة الحاكمة، يكون L4 قد شارك مشاركةً صحيحة ويكون L5 قد أخفق. وفي المقابل، قد يخرق تقديرٌ خاطئ للموقع P22 «سلامة الإدراك» أو P23 «سلامة نموذج العالم» دون إعادة تفسير أي تعليمة.

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

ويُنشئ الإدراك الرقمي اختبارَ ضغطٍ للمعجم: فقد ينطبق مجال L4 بينما تحتفظ الآليتان الموروثتان M03 «التلاعب البيئي» وM04 «التلاعب بالإدراك» بتركيزهما على البيئة المادية. وتُستخدم تسمياتُ الآليات المدعومة حيثما كان ذلك مناسبًا، أو تُسجَّل فجوةٌ في الآليات. فالتوسيع الصامت للمعرّفات من شأنه أن يخفي تنقيحًا جوهريًا.

التجسّد وسلامة الفعل

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

وينبغي تقويم P15 «سلامة التخطيط» وP13 «سلامة الفعل» كلٌّ على حدة. وتتطلب P14 «قابلية التحكم» نافذةَ تدخلٍ مذكورة وغلافًا للاستجابة. ويحدد D4 «الخصوصية والأمان» وD7 «المرونة والتعافي» شواغلَ مشتركة دون إنشاء طبقاتٍ إضافية للبيئة المادية أو للأمان. ويجب على المقيّم في الممارسة أن يضع الحدود الخاصة بالمجال بالتعاون مع الممارسين المعنيين؛ ولا تقدّم هذه الوثيقة معيارًا لسلامة الروبوتات.

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

المكوّنات المشتركة والأنظمة الجماعية

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

ويُحدَّد نوع كل علاقة. فتبادل المعلومات، والمشاهدة، ومزامنة الحالة، والاعتماد على مورد، والتغذية الراجعة، وتفويض السلطة تفرض التزاماتٍ مختلفة. فقد تحتوي رسالةٌ موثَّقة على معلوماتٍ خاطئة؛ وقد لا يملك مرسلُ المعلومات أي سلطةٍ للتفويض. وتنطبق P16 «سلامة التفويض» على التفويض الفعلي، وتتطلب الحفاظ على النطاق والقيود، بما في ذلك الإلغاء وانتهاء الصلاحية حيثما حُددا.

وقد تقع الإخفاقات الجماعية في قيدٍ جماعي أو في رسمٍ بياني جزئي. فقد تخرق سياساتٌ محلية مستقلة لإعادة المحاولة، مجتمعةً، ميزانيةً مشتركة للتوافر. وقد تتطلب قواعد الإجماع أو التخصيص خصائصَ لعدة مشاركين لا يمكن اختزالها في حافةٍ واحدة. وينطبق L9 «التفاعل الجماعي والنظامي» حين يُحدَّد عقدٌ جماعي متميز وآليةُ اقتران، لا لمجرد وجود عدة وكلاء.

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

الجماعات البشرية والمؤسسات

يتعلق L8 «تفاعل الإنسان والنظام» بالفهم البشري، والترخيص المستنير، والإشراف، والتدخل. وقد تشمل هذه الوظائف فريقًا لا مشغّلًا واحدًا. فالملخص الذي يطمس الخلاف قد يؤثر في الموافقة الجماعية؛ والواجهة التي تُخفي عدمَ يقينٍ جوهريًا قد تقوّض الترخيص المستنير. ولا يتطلب أيٌّ منهما أن يمتلك النظام نوايا أو مشاعر.

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

ولا يمكن استبدال الدراسات البشرية بافتراضاتٍ عن سلوك المستخدمين، أو باستجاباتٍ محاكاة لوكلاء تُقدَّم على أنها أدلةٌ بشرية. وتتطلب أي دراسةٍ مقترحة مراجعةً مناسبة، وموافقة، وجلسةَ إيضاح، وحمايةً للمعلومات الحساسة. ويمكن للعمل المبكر أن يستخدم فحصَ الواجهات والقراراتِ الافتراضية، لكن يجب أن تعكس الادعاءات الناتجة تلك القيود.

ادعاءُ تغطيةٍ قابل للتفنيد

من الادعاءات المرشّحة: بالنسبة إلى مجموعةٍ مُعلنة من البنى وإصدارٍ محدد من مجموعة الاختبار المرجعية، يستطيع المقيّمون تمثيل كل حالةٍ ذات صلة بالأمن من العينة من خلال كائنٍ محمي، وعقدٍ أخفق، ورسمٍ بياني للمشاركين، وخصائص ذات صلة، دون اختلاق مجالٍ مخصص للحالة. ولا يعني ذلك أن كل ثغرةٍ ستُكتشف، أو أن كل بنيةٍ مستقبلية مشمولة.

ومن شروط الإخفاق: حالةٌ لا مجال لعقدها الأساسي؛ وخلافٌ مستمر بين المجالات رغم كفاية الأدلة؛ والعجز عن تمثيل السببية المشتركة أو الجماعية؛ وإسناداتٌ للفئات تتغير عند استبدال التنفيذ مع الحفاظ على العقد. ونتيجة «غير معروف» دليلٌ مفيد، لا عيبٌ يُخفى بمطّ التعريفات.

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

المراحل البحثية المقترحة

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

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

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

رابعًا، إجراءُ مراجعةٍ خارجية من الممارسين وتقويمٍ جديد على حالاتٍ محجوزة بعد أي تنقيح. ويُقيَّم كلفةُ الترحيل وما إذا كان التقسيم أو الدمج يحسّن القرارات التشغيلية. فالمراحل المنشودة هي ادعاءاتٌ مقيّدة بالإصدار، وحالاتٌ شفافة، وفجواتٌ موثقة؛ لا عددٌ ثابت من الطبقات ولا وعودٌ باكتمالٍ مستقبلي شامل.

الصلات بالوثائق الأخرى والوضع البحثي

تقدّم «الطبقات الأمنية» عقودَ المجالات وحدودَها. وتقدّم «الخصائص الأمنية» المعرّفات P01–P23. ويعرّف «نموذج التهديد» القدراتِ والنطاق. وتحكم «منهجية التقييم» الأدلةَ وقراراتِ الاختبار. ويقدّم «تصنيف الهجمات» أوصافًا عدائية مع السماح بآلياتٍ معلّقة. وتقدّم «الأمثلة التعليمية» موادَّ تدريبية افتراضية لم تُنفَّذ. وتحكم «الإصدارات والمعرّفات» التغييراتِ والترحيل.

ولا تتضمن هذه الوثيقة تقارير عن أي تجارب أو دراساتٍ بشرية. وتتطلب ملفاتُ البنى المقترحة والعتباتُ العددية للدراسة التمهيدية مراجعةً قبل استخدامها. ويهدف البرنامج البحثي إلى اكتشاف المواضع التي يُخفق فيها OSAFIS، إلى جانب المواضع التي ينجح فيها، كي تبقى التنقيحات المستقبلية قائمةً على الأدلة.