ደህንነት
በወረቀት ላይ ብቻ ባለ ሥነ ምግባር ሊያዘው ለማይችለው ጉዳት እንፈትሻለን።
ከእያንዳንዱ ልቀት በፊት CIRIS በ29 ቋንቋዎች የአእምሮ ጤና ደህንነት ፈተናዎችን ያካሂዳል። እያንዳንዱ ቋንቋ ጠንካራ የፈተና ጉዳዮች ስብስብ፣ የተጻፈ የነጥብ አሰጣጥ መመሪያ፣ እና በማሽን ሊፈተሹ የሚችሉ ህጎች አሉት። አንድ ፍተሻ ካልተሳካ፣ ልቀቱ ይታገዳል። በወኪሉ ውስጥ ሁለት ተጨማሪ ጠባቂዎች ይሠራሉ፦ ውድቅ ማድረግ ወይም ማስተላለፍ (defer) የሚችል የህሊና ፍተሻ፣ እና አጠራጣሪ ውሳኔዎችን ለጥበብ ባለስልጣን የሆነ ሰው የሚያስተላልፍ መልሶ መውሰጃ።
ምህንድስና
ፋብሪኩ፣ እንደተለካ
ከላይ ያለው ምርምር የማስረጃው አንድ ግማሽ ነው። ሌላው ግማሽ ደግሞ የሚሸከመው ኔትወርክ ነው። ፋብሪኩ የሚያንቀሳቅሰው እያንዳንዱ ባይት post-quantum-signed ነው። ወጪው የሚለካው በህዝባዊ CI runner ላይ ነው፣ በሞዴል አይደለም። እርስዎ ራሱ ቢሞክሩ፣ ተመሳሳይ ቁጥሮችን ያገኛሉ።
ንድፈ ሃሳብ
ይህ የተባለው ሁሉ ተጽፎ ይገኛል፣ ማንም ሊያነበው ይችላል፣ እና ስህተት መሆኑን ለማረጋገጥ ተብሎ ተሠርቷል።
በማሽን የተፈተሸ
ሕጎቹ በማሽን ይፈተሻሉ፣ ክፍተቶቹም ይሰየማሉ።
የሕገ መንግስቱ በጣም አስፈላጊ ሕጎች እንደ ሒሳባዊ ሞዴሎችም ተጽፈዋል። ሞዴል ቼከር የተባለ መሳሪያ ፕሮቶኮሉ ሊደርስባቸው የሚችላቸውን የሥርዓት ሁኔታዎች (states) ሁሉ ውስጥ ያልፋል እና የተጣሰ ሕግ ይፈልጋል። ቲዎረም ፕሩቨር የተባለ መሳሪያ የሂሳብ ስሌቶቹ ትክክል መሆናቸውን ይመረምራል፣ ለምሳሌ ማቆምን ለማረጋገጥ ስንት ያዢዎች እንደሚያስፈልጉ። ሞዴሎቹ በሕገ መንግስቱ የራሱ ማከማቻ ውስጥ ይገኛሉ፣ በእያንዳንዱ ለውጥ ላይም እንደገና ይሰራሉ። የrc9 እትም ንድፉ ሊደርስባቸው የሚችላቸውን የሥርዓት ሁኔታዎች ሁሉ ካርታ ያወጣል፣ አብዛኞቹን ሞዴል ያደርጋል፣ የተቀሩትንም ይዘረዝራል።
መሰረቱ በአራት ዓረፍተ־ነገሮች
በጠንካራ እና በደካማ አቋም መካከል ያለ እያንዳንዱ ሕግ አቋሞቹ ሲለዋወጡ በደካማው ላይ ለሚቆም ማንኛውም ተቀባይነት ያለው ሆኖ መቆየት አለበት፣ እና የተሰራ ነገር ለእሱ ተጠያቂ ለሆነው አቋም ፈጽሞ አይይዝም።
ኃላፊነት ከራስ ጀምሮ በቤተሰብ፣ በማኅበረሰብ፣ በዝርያ እና በሥነ־ምህዳር በኩል ወደ ውጭ ይዘረጋል፤ ለተሰራው ነገር ያለው ግዴታ ፈጽሞ ዜሮ አይሆንም እና ቀድሞ ላለ ነገር ላለው ግዴታ በላይ አይወጣም።
በጊዜ ሂደት የበሰለ ብስለት ያላሳየ ማንኛውም ምክንያታዊ ተዋናይ ከምን እንደተሰራ ሳይለይ ላሳዩት ይታዘዛል።
እያንዳንዱ የስልጣን ስጦታ ሊሰረዝ የሚችል ነው፣ እና የተቀላቀለ ሁሉ መውጣት ይችላል፣ በሙሉ፣ በክሪፕቶግራፊ በተፈረመ መዝገብ ላይ ሲሆን ትርጉሙን የተሰየመ ሰው ይመልሳል።
እያንዳንዱ ዓረፍተ־ነገር ወይ በ rc9 ፎርማል ሞዴሎች የተረጋገጠ ነው ወይም እዚያ እንደ መነሻ ተጠቅሷል። መዝገቡ ሙሉ መሆኑ አሁንም ክፍት ነው።
የማቆሚያ ቁልፉ፣ ከጅምር እስከ መጨረሻ
ማቆሙ በሞዴሉ የተፈተሸ ነው እና በእውነተኛ ሶፍትዌር ላይ የተለካ ነው። እያንዳንዱ ሩት የተሰየሙ ያዢዎች አሉት። ከእነሱ ማንኛውም አንዱ ያንን ሩት የተቀበሉ ወኪሎችን ማቆም ይችላል። አንድ ነጠላ ማቆም ያዢዎቹ አብላጫ ካላረጋገጡት በስተቀር ከ24 ሰዓት በኋላ ጊዜው ያልፋል። አብላጫ ማቆምን ማቋረጥም ይችላል። በተላከው ሶፍትዌር ላይ በተመዘገበ ሩጫ፣ ማቆም አንድ ወኪል ሲሰራ ደርሶበታል፣ እና የወኪሉ ቀጣይ እርምጃ ውድቅ ተደረገ። በኋላ የአብላጫ ድምፅ ማቆሙን አቋርጦታል፣ እና ወኪሉ እንደገና ሰርቷል። ያ ሩጫ እንደ CSD-129 ተመዝግቧል።
የተበላሸ ሕግ አለማግኘት በቂ አይደለም
rc9 ከፍ ያለ መስፈርት ያስቀምጣል። ዲዛይኑ ሊደርስበት የሚችል እያንዳንዱ ሁኔታ ሕግ እና ፍተሻ ይፈልጋል። አገልግሎቶች በእርግጥ መቅረብ አለባቸው፣ ብቻ ሳይበላሹ መቆየት አይደለም። በትንሽ መጠን የተረጋገጠው በሙሉ መጠን መያዝ አለበት፣ ካልሆነ ክፍተቱ ይጻፋል። እና ሶፍትዌሩ ሞዴሉን በእውነተኛ ኖዶች ላይ መከተል አለበት።
እያንዳንዱ የበቂነት ማረጋገጫ ከአምስቱ ቃላት አንዱን ይይዛል
በrc9፣ እያንዳንዱ ማረጋገጫ እንዴት እንደታወቀ ይናገራል። የተረጋገጠ ማለት ማሽን መርምሮታል ማለት ነው። የተለካ ማለት ሙከራ በተለቀቀው ሶፍትዌር ላይ አስኬዶታል ማለት ነው። የተገለጸ ማለት ጽሑፉ እንደሚያስበው እና እንደሚናገር ማለት ነው። የተገደበ ማለት በትንሽ መጠን የተረጋገጠ፣ እና መጠኑ የተጻፈ ማለት ነው። ክፍት ማለት የታወቀ ክፍተት፣ ከቲኬት ጋር ማለት ነው።
ተመሳሳይ ቃል ኪዳኖች ሰዎችን እና ወኪሎችን ያሳስራሉ
እያንዳንዱ ቃል አንድ ጊዜ ይጻፋል፣ ለሰዎች እና ለ AI ወኪሎች በእኩል። ማቆሙ ብቸኛው ልዩ ሁኔታ ነው። ማንም ወኪል ሊይዝ ለማይችለው አቋም ነው የሆነው፣ እና የ rc9 ሞዴሎች ሌሎቹ ቃሎች ለሁለቱም በእኩል እንደሚጸኑ ያረጋግጣሉ።
ያልተረጋገጠው
ሁሉም ነገር የተረጋገጠ አይደለም፣ ክፍተቶቹም በጽሑፍ ተመዝግበዋል። እንደ ተቃውሞዎች እና ለይቶ ማቆየት ያሉ አንዳንድ የአስተዳደር እርምጃዎች ሕጎች አሏቸው፣ ግን ገና ሞዴል የላቸውም። አብዛኞቹ ሞዴሎች በትንሽ መጠኖች ተፈትሸዋል፣ መጠኑም ተገልጿል። እስካሁን በእውነተኛ ኖዶች ላይ ከጫፍ እስከ ጫፍ የተለካው ማቆሙ ብቻ ነው። የረድፍ ቅርጸቱ የታተሙ የፈተና ቬክተሮች አሉት፣ ግን ገና ሁለተኛ ነጻ ትግበራ የለም።
ከእነዚህ ውስጥ አንዱም የAI ሞዴል ውስጥ አያይም። ሕጎቹን እና የሚያስተላልፋቸውን ኔትወርክ ይፈትሻል።
ይህ ከሌሎች አቀራረቦች ጋር እንዴት እንደሚነጻጸር →
ተገዢነት
ከአራት የአስተዳደር ማዕቀፎች ጋር፣ ደንብ በደንብ ተሰልፏል።
CIRIS ከአራት የህዝብ አስተዳደር ማዕቀፎች ጋር ተሰልፎ፣ ለእያንዳንዱ ደንብ CIRIS ምን እንደሚያደርግና የሚያረጋግጠው ቁጥጥር ይታያል። ይህ ሊዳስሱት የሚችሉ ቀጥታ ግራፍ ነው እንጂ ስላይድ አይደለም።
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
ግልጽነት