Ukurasa wa hesabu
Imekaguliwa na programu ya uthibitisho
Wazo
Ukaguzi mitano inayokopiana yote kwa kweli 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.
Hili ni muhimu kwa AI. Mfumo wa AI unaweza kuendesha ukaguzi mwingi wa hoja yake mwenyewe na bado kudanganywa, kama ukaguzi huo unashiriki pengo lile lile la uoni. Coherence Collapse Analysis ndivyo CIRIS inavyopambanua kati ya ukaguzi wa kweli na mwangwi.
Fomula moja
Kuhesabu ukaguzi ulio nao kweli.
Kuna fomula moja fupi moyoni mwake. Inatoka katika takwimu za uchunguzi, ambapo inaitwa athari ya usanifu wa Kish, na umbo lile lile linaonekana katika nadharia ya upigaji kura na uhandisi wa usalama. CIRIS inaitumia kwa uoanishaji wa AI.
real checks = checks / (1 + copying × (checks − 1))
"Ukaguzi" ni ukaguzi wangapi uliofanya. "Kunakili" ni kiasi gani wanaingiliana, kutoka 0 (wote huru) hadi 1 (wote sawa). Matokeo ni ukaguzi wangapi ulio nao kweli.
Bila kunakili: ukaguzi kumi unahesabika kama kumi tu pale ambapo kila mmoja ni ukaguzi tofauti.
Kunakili kamili: ukaguzi kumi unahesabika kama mmoja. Haijalishi unaongeza ngapi.
Kwenye trafiki halisi
Hili lilipimwa, si kuhojiwa tu.
CIRIS ilipima idadi ya ukaguzi wa kweli kwenye trafiki yake ya wakala wa moja kwa moja, kwa maelfu ya maamuzi yaliyorekodiwa. Kwenye trafiki yenye 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
Kile ambacho hesabu hii haiwezi kufanya.
Makala inathibitisha kikomo kikali juu yake yenyewe. Baadhi ya aina za madhara hazitoki kwa sehemu moja isiyo ya uaminifu. Zinatoka kwa sehemu za uaminifu zinazojumlika kuwa matokeo mabaya, na makala inathibitisha kwamba sehemu ya madhara hayo haionekani kwa mkaguzi yeyote anayeangalia sehemu pekee, hata awe mzuri kiasi gani. CIRIS inasema hivyo wazi badala ya kujifanya hesabu inakamata kila kitu.
Kile mfumo unachoahidi kweli ni kumbukumbu. Kila uamuzi unaacha risiti iliyosainiwa isiyoweza kuandikwa upya kimyakimya, kwa hivyo uongo lazima ubaki sambamba na maelfu ya risiti ambazo hauwezi kamwe kuzifuta. Kusoma risiti hizo vizuri bado ni kazi iliyo wazi, na tunasema hivyo. Kwa vyovyote vile, vitabu vinabaki kweli.
Jinsi inavyounganika
Hesabu ni sehemu moja ya jumla kubwa zaidi.
Ukurasa huu ni kipimo. Ratchet ya Upatanifu 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.