Ukurasa wa hesabu
Imekaguliwa na programu ya uthibitisho
Wazo
Ukaguzi tano unaokopana wote ni ukaguzi mmoja tu.
Sema watu watano wanakagua jibu na watano wanakubaliana. Hiyo inajisikia salama. Lakini kama watano wote walijifunza kutoka mahali pamoja, makubaliano yao si maoni matano. Ni maoni moja yaliyorudiwa mara tano. Idadi ya ukaguzi inaonekana kama tano. Nambari ya kweli ni moja.
Hii inamaanisha kwa AI. Mfumo wa AI unaweza kuendesha ukaguzi mwingi wa hoja yake mwenyewe na bado kudanganywa, kama ukaguzi huo unashiriki kipofu kile kile. Coherence Collapse Analysis ndivyo CIRIS inavyopambanua kati ya ukaguzi wa kweli na mwangwi.
Fomula moja
Kuhesabu ukaguzi unaonao kweli.
Kuna fomula moja fupi moyoni mwake. Inatoka katika takwimu za uchunguzi, ambapo inaitwa athari ya usanifu wa Kish. CIRIS ilikuwa ya kwanza kuuitumia kwa usawazishaji wa AI.
real checks = checks / (1 + copying × (checks − 1))
"Ukaguzi" ni ukaguzi ngapi ulioendesha. "Kunakili" ni kiasi gani wanaingiliana, kutoka 0 (wote huru) hadi 1 (wote sawa). Matokeo ni ukaguzi ngapi unaonao kweli.
Bila kunakili: ukaguzi kumi unahesabu kama kumi. Kila ukaguzi unastahili nafasi yake.
Kunakili kamili: ukaguzi kumi unahesabu kama mmoja. Haijalishi kuongeza ngapi.
Ukanda wa afya
Si sawa mno, wala si msambaziko mno.
Umbo hilo hilo linaonekana hapa ambalo linaonekana kila mahali CIRIS inapotazama. Ukaguzi ukikopana mno, mfumo ni mgumu mno: sauti moja inayorudiwa, rahisi kudanganya. Wasipokuwa na kitu chochote kinachofanana, ni msambaziko mno: hawawezi kukubaliana na chochote. Ukaguzi wa afya unaishi katika ukanda kati yake, ule ule corridor ambao CIRIS yote imejengwa kuzunguka.
Ukingo halisi wa ukanda huo unategemea mfumo unaopimwa. Hakuna nambari moja ya uchawi inayofanya kazi kila mahali, na utafiti ni wa uaminifu kuhusu hilo. Wazo la corridor, kwa ukamilifu, lipo kwenye ukurasa wa maono.
Kwenye trafiki halisi
Hii ilipimwa, si tu kudaiwa.
CIRIS ilipima idadi ya ukaguzi wa kweli kwenye trafiki yake ya wakala wa moja kwa moja, kwa maelfu ya maamuzi yaliyorekodiwa. Kwenye trafiki ya afya imekuwa ikifanya kazi katika kiwango cha ukaguzi huru wa kweli saba hadi tisa. Kipimo hicho, na jinsi kilivyofanywa, ni utafiti wa Constrained Reasoning Chains. Unaweza kuona nambari za moja kwa moja kwenye ukurasa wa utafiti.
Dari ya uaminifu
Hesabu hii haiwezi kufanya nini.
Makala inathibitisha kikwazo kikali juu yake yenyewe. Baadhi ya aina za madhara hazitoki kwa sehemu moja isiyo ya uaminifu. Zinatoka kwa sehemu za uaminifu ambazo zinaongezeka na kuleta matokeo mabaya, na takriban asilimia arobaini ya aina hiyo ya madhara haiwezi kukamatwa na mchaguzi yeyote, haijalishi ni mzuri kiasi gani. CIRIS inasema hivyo wazi badala ya kudai hesabu inakamata kila kitu.
Hesabu inachosema ni kuhusu gharama kwa muda: kuendesha hoja ya kweli ya uaminifu kwa wiki nyingi mfululizo ni thabiti zaidi na ya bei nafuu kuliko kudumisha uongo unaofanana katika maelfu ya maamuzi yaliyorekodiwa. Inainamisha ardhi kuelekea uaminifu. Haiahidi kukamata kila uongo mmoja mmoja.
Jinsi inavyounganika
Hesabu ni sehemu moja ya jumla kubwa zaidi.
Ukurasa huu ni kipimo. Coherence Ratchet ndivyo kipimo kinavyotumiwa kwa vitendo. Shirikisho ndivyo inavyokuwa kitu ambacho mifumo mingi inashiriki. Na uthibitisho kamili, uliandikwa ili kompyuta iweze kuukagua mstari kwa mstari, uko katika makala na hazina ya RATCHET.