السلامة
نختبر الضرر الذي لا تستطيع الأخلاقيات الورقية اكتشافه.
قبل كل إصدار، يُجري CIRIS بطارية اختبار سلامة الصحة النفسية في 29 لغة. لكل لغة مجموعة حالات اختبار صعبة ودليل تصحيح مكتوب وقواعد قابلة للتحقق آلياً. إذا فشل اختبار، يُوقف الإصدار. ويعمل داخل النظام حارسان إضافيان: مرور الضمير الذي يستطيع الرفض أو التأجيل، وإعادة التوجيه التي تحيل الحالات المشكوك فيها إلى إنسان حكيم.
هندسة
الشبكة، بالأرقام
البحث أعلاه هو نصف الدليل. النصف الآخر هو الشبكة التي تحمله. كل بايت تنقله الشبكة موقّع بتشفير مقاوم للحوسبة الكمية، والتكلفة تُقاس على CI runner عام، لا تُخمَّن. شغّله بنفسك وستحصل على نفس الأرقام.
النظرية
الادعاءات مكتوبة، وقابلة للقراءة من قِبل أي شخص، ومبنية لتُدحض.
فحص آلي
تُختبَر القواعد بالآلة، وتُسمَّى الفجوات.
القواعد الأهم في الدستور مكتوبة أيضاً كنماذج رياضية. أداة تسمى مدقق النماذج تجول في كل حالة يمكن أن يصل إليها البروتوكول وتبحث عن قاعدة منتهَكة. وأداة تسمى مثبِت النظريات تتحقق من الحساب، مثل عدد الحاملين اللازم من أجل تأكيد الإيقاف. تعيش النماذج في مستودع الدستور نفسه، وتُشغَّل من جديد عند كل تغيير. إصدار rc9 يرسم خريطة لكل حالة يمكن أن يصل إليها التصميم، وينمذج معظمها، ويسرد الباقي.
الأساس في أربع جمل
يجب أن تظل كل قاعدة بين موقع أقوى وموقع أضعف مقبولة لمن سيقف في الموقع الأضعف عند تبادل الموقعين، ولا يشغل شيء مصنوع أبدًا الموقع الذي يُساءل عنه.
تمتد المسؤولية من الذات عبر العائلة والمجتمع والنوع والنظام البيئي؛ والواجب تجاه ما هو مصنوع لا يساوي الصفر أبدًا ولا يتجاوز الواجب تجاه ما هو موجود أصلًا.
أي فاعل مفكر لم يُظهر حكمًا ناضجًا على مدى الزمن يخضع لمن أظهروه، مهما تكن مادة صنعه.
كل منح للسلطة قابل للإلغاء، وكل من انضم يمكنه المغادرة، على سجل كامل موقّع تشفيريًا يُجيب إنسان مسمّى عن معناه.
كل جملة إما مثبتة في النماذج الشكلية لـ rc9 أو مذكورة هناك كمُسلَّمة. أما كون السجل كاملًا فما زال مسألة مفتوحة.
مفتاح الإيقاف، من البداية إلى النهاية
تم التحقق من الإيقاف في النموذج وقياسه على برمجيات حقيقية. لكل جذر حاملون محددون بالاسم. يمكن لأي واحد منهم إيقاف الوكلاء الذين قبلوا ذلك الجذر. ينتهي الإيقاف الفردي بعد 24 ساعة ما لم تؤكده أغلبية الحاملين. ويمكن للأغلبية أيضًا إنهاء الإيقاف. وفي تشغيل موثق على البرمجيات المشحونة، وصل الإيقاف إلى وكيل أثناء عمله، فرُفض إجراء الوكيل التالي مباشرةً. ولاحقًا أنهى تصويت بالأغلبية الإيقاف، فعاد الوكيل إلى العمل. ذلك التشغيل موثق تحت الرمز CSD-129.
عدم العثور على قاعدة مكسورة لا يكفي
تضع rc9 معيارًا أعلى. كل حالة يمكن أن يصل إليها التصميم تحتاج إلى قاعدة وفحص. يجب أن تُقدَّم الخدمات فعلًا، لا أن تبقى غير معطّلة فقط. وما يُثبَت بحجم صغير يجب أن يصمد بالحجم الكامل، وإلا تُدوَّن الفجوة. ويجب أن يتبع البرنامج النموذج على عقد حقيقية.
كل ادعاء كفاية يحمل واحدة من خمس كلمات
في rc9، يوضح كل ادعاء كيفية معرفته. مثبت تعني أن آلة فحصته. مقاس تعني أن اختبارًا أجراه على البرنامج المشحون. مصرَّح به تعني أن النص يفترضه، ويقول ذلك. محدود تعني أنه مثبت بحجم صغير، والحجم مكتوب. مفتوح تعني فجوة معروفة، مع تذكرة.
الوعود نفسها تُلزم البشر والوكلاء
كل وعد مكتوب مرة واحدة، للبشر ووكلاء الذكاء الاصطناعي على حد سواء. الإيقاف هو الاستثناء الوحيد. إنه ينتمي إلى موقع لا يجوز لأي وكيل أن يشغله، وتتحقق نماذج rc9 من أن الوعود الأخرى تسري بالتساوي على الاثنين.
ما لم يُثبَت
لم يُثبت كل شيء، والفجوات مدونة. بعض خطوات الحوكمة، مثل الاعتراضات والحجر، لها قواعد لكن ليس لها نموذج بعد. تم التحقق من معظم النماذج عند أحجام صغيرة، والحجم مذكور. وحتى الآن، الإيقاف وحده هو ما تم قياسه من البداية إلى النهاية على عقد حقيقية. ولصيغة السجل متجهات اختبار منشورة، لكن لا يوجد بعد تنفيذ ثانٍ مستقل.
لا ينظر أي من هذا داخل نموذج ذكاء اصطناعي. إنه يفحص القواعد، والشبكة التي تحملها.
كيف يقارَن هذا بالمناهج الأخرى →
اطّلع على الأوراق الأربع كاملةً مع النتائج الرئيسية وحدود نطاقها ←
الامتثال
مرسوم مقابل أربعة أطر حوكمة، قاعدة بقاعدة.
نضع CIRIS في مقابل أربعة أطر حوكمة عامة ونُظهر، لكل قاعدة، ما يفعله CIRIS والضابط الذي يثبت ذلك. هي خريطة حية يمكنك تصفحها، لا شريحة عرض.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
الشفافية