सुरक्षितता
आम्ही असे नुकसान तपासतो जे कागदावरील नैतिकता पकडू शकत नाही.
प्रत्येक आवृत्तीपूर्वी, CIRIS 29 भाषांत मानसिक आरोग्य सुरक्षा चाचण्या चालवतो. प्रत्येक भाषेसाठी कठीण चाचणी प्रकरणे, लिखित गुण मार्गदर्शिका, आणि यंत्राने तपासता येणारे नियम आहेत. जर एखादी चाचणी अयशस्वी झाली, तर आवृत्ती अडवली जाते. दोन अधिक रक्षक एजंटच्या आत काम करतात: एक विवेक तपासणी जी नकार किंवा स्थगिती करू शकते, आणि एक बाउन्स जो संशयास्पद निर्णय शहाण्या माणसाकडे पाठवतो.
अभियांत्रिकी
नेटवर्क फॅब्रिक, मोजलेले
वरील संशोधन हा पुराव्याचा एक भाग आहे. दुसरा भाग म्हणजे ते वाहून नेणारे नेटवर्क. फॅब्रिक हलवत असलेला प्रत्येक बाइट post-quantum-signed असतो, आणि खर्च एका सार्वजनिक CI runner वर मोजला जातो, अंदाजला जात नाही. स्वतः चालवा आणि तुम्हाला तेच आकडे मिळतील.
सिद्धांत
दावे लिहून ठेवले आहेत, कोणीही वाचू शकतो, आणि चुकीचे सिद्ध होण्यासाठी बांधले आहेत.
यंत्राने तपासलेले
नियम यंत्राने तपासले जातात, आणि तफावती नावानिशी नमूद केल्या जातात.
राज्यघटनेचे सर्वात महत्त्वाचे नियम गणितीय मॉडेल्स म्हणूनही लिहिले आहेत. मॉडेल चेकर नावाचे एक साधन प्रोटोकॉल पोहोचू शकेल अशा प्रत्येक अवस्थेतून जाते आणि मोडलेला नियम शोधते. थिअरम प्रूव्हर नावाचे एक साधन हिशेब तपासते, जसे की विरामाची पुष्टी करा यासाठी किती धारक लागतात. मॉडेल्स राज्यघटनेच्या स्वतःच्या रिपॉझिटरीमध्ये असतात आणि प्रत्येक बदलावर ती पुन्हा चालवली जातात. rc9 आवृत्ती आराखडा पोहोचू शकेल अशा प्रत्येक अवस्थेचे नकाशांकन करते, त्यांपैकी बहुतेकांचे मॉडेलिंग करते आणि उरलेल्यांची यादी देते.
चार वाक्यांतील आधार
अधिक बलवान आणि अधिक कमकुवत स्थानामधील प्रत्येक नियम, पदे अदलाबदल केल्यास कमकुवत पदावर उभे राहणाऱ्याला मान्य राहिलाच पाहिजे, आणि बनवलेली गोष्ट तिच्यासाठी उत्तर देणाऱ्या पदावर कधीही बसत नाही.
जबाबदारी स्वतःपासून कुटुंब, समुदाय, प्रजाती आणि परिसंस्थेकडे बाहेर विस्तारते; बनवलेल्या गोष्टींबद्दलचे कर्तव्य कधीही शून्य नसते आणि आधीच अस्तित्वात असलेल्या गोष्टींबद्दलच्या कर्तव्यावर कधीही मात करत नाही.
तो कशाचा बनलेला आहे याची पर्वा न करता, काळानुसार परिपक्व निर्णयक्षमता सिद्ध न केलेला कोणताही तर्कशील कर्ता, ती सिद्ध केलेल्यांना शरण जातो.
अधिकाराचे प्रत्येक प्रदान रद्द करण्यायोग्य असते, आणि सामील झालेला प्रत्येकजण बाहेर पडू शकतो, संपूर्ण, क्रिप्टोग्राफिक स्वाक्षरी असलेल्या नोंदीवर ज्याच्या अर्थासाठी नाव नमूद केलेला माणूस उत्तर देतो.
प्रत्येक वाक्य एकतर rc9 औपचारिक मॉडेल्समध्ये सिद्ध केलेले आहे किंवा तेथे गृहीतक म्हणून नमूद केलेले आहे. नोंद संपूर्ण आहे हे अद्याप खुले आहे.
बंद करण्याचे स्विच, सुरुवातीपासून शेवटपर्यंत
विराम मॉडेलमध्ये तपासला आहे आणि प्रत्यक्ष सॉफ्टवेअरवर मोजला आहे. प्रत्येक मुळाला नावनिर्दिष्ट धारक असतात. त्यांपैकी कोणताही एक त्या मुळाचा स्वीकार केलेल्या एजंटना विराम देऊ शकतो. धारकांच्या बहुमताने पुष्टी दिल्याशिवाय एकट्याचा विराम 24 तासांनंतर संपतो. बहुमत विराम संपवूही शकते. सोबत येणाऱ्या सॉफ्टवेअरवरील एका नोंदवलेल्या रनमध्ये, एक एजंट काम करत असताना त्याच्यापर्यंत विराम पोहोचला, आणि एजंटची पुढची कृती नाकारली गेली. नंतर बहुमताच्या मताने विराम संपला, आणि एजंट पुन्हा काम करू लागला. तो रन CSD-129 म्हणून नोंदवला आहे.
मोडलेला नियम न सापडणे पुरेसे नाही
rc9 अधिक उच्च मानदंड ठेवतो. रचना पोहोचू शकेल अशा प्रत्येक स्थितीसाठी नियम आणि तपासणी आवश्यक आहे. सेवा प्रत्यक्षात दिल्याच पाहिजेत, फक्त कधीही न मोडणे पुरेसे नाही. लहान आकारात जे सिद्ध झाले ते पूर्ण आकारातही टिकले पाहिजे, अन्यथा तफावत लिहून ठेवली जाते. आणि प्रत्यक्ष नोड्सवर सॉफ्टवेअरने मॉडेलचे पालन केलेच पाहिजे.
प्रत्येक पर्याप्तता दाव्यावर पाचपैकी एक शब्द
rc9 मध्ये, प्रत्येक दावा तो कसा ओळखला जातो हे सांगतो. Proved म्हणजे यंत्राने तो तपासला. Measured म्हणजे वितरित सॉफ्टवेअरवर चाचणीने तो चालवला. Stated म्हणजे मजकूर तो गृहीत धरतो, आणि तसे सांगतो. Bounded म्हणजे तो लहान आकारात सिद्ध झाला आहे, आणि आकार लिहून ठेवला आहे. Open म्हणजे ज्ञात तफावत, तिकिटासह.
तीच वचने लोक आणि एजंट यांना बंधनकारक आहेत
प्रत्येक वचन एकदाच लिहिले आहे, लोकांसाठी आणि AI एजंटसाठी सारखेच. विराम हा एकमेव अपवाद आहे. तो अशा पदाचे आहे जे कोणताही एजंट धारण करू शकत नाही, आणि rc9 मॉडेल्स तपासतात की इतर वचने दोघांसाठी सारखीच लागू होतात.
जे सिद्ध झालेले नाही
सर्व काही सिद्ध झालेले नाही, आणि उणिवा लिहून ठेवल्या आहेत. आक्षेप आणि क्वारंटाइन यांसारख्या काही गव्हर्नन्स पायऱ्यांना नियम आहेत पण अद्याप मॉडेल नाही. बहुतेक मॉडेल्स लहान आकारांवर तपासली आहेत, आणि आकार नमूद केला आहे. आतापर्यंत प्रत्यक्ष नोड्सवर फक्त विरामच सुरुवातीपासून शेवटपर्यंत मोजला आहे. row फॉरमॅटचे प्रकाशित test vectors उपलब्ध आहेत, पण अद्याप दुसरी, स्वतंत्र implementation नाही.
यातील काहीही AI मॉडेलच्या आत पाहत नाही. ते नियम तपासते, आणि ते वाहून नेणारे नेटवर्क तपासते.
इतर दृष्टिकोनांशी तुलना कशी आहे →
अनुपालन
चार प्रशासन आराखड्यांशी, नियम दर नियम, जोडले.
आम्ही CIRIS ला चार सार्वजनिक प्रशासन आराखड्यांशी जोडतो आणि प्रत्येक नियमासाठी दाखवतो की CIRIS काय करते आणि ते सिद्ध करणारे नियंत्रण काय आहे. हे एक थेट आलेख आहे जो तुम्ही पाहू शकता, स्लाइड नाही.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
पारदर्शकता