Shafin lissafi
An tabbatar ta software na tabbatarwa
Ra'ayin
Dubawa biyar da duk suka kwafi juna daya ce.
Ka ce mutane biyar sun duba amsa kuma dukkan biyar sun yarda. Hakan yana jin da aminci. Amma idan dukkan biyar sun koya daga wuri ɗaya, yarjejeniyarsu ba ra'ayoyi biyar ba ne. Ra'ayi ɗaya ne da aka maimaita sau biyar. Adadin dubawa yana kama kamar biyar. Lambar ainihi ɗaya ce.
Wannan yana da muhimmanci ga AI. Tsarin AI zai iya gudanar da dubawa da yawa akan nasa tunani har yanzu a yaudare shi, idan wadannan dubawa suna raba wannan makafi. Coherence Collapse Analysis shine yadda CIRIS ke gane bambancin tsakanin dubawa na ainihi da amshi.
Dabarar guda ɗaya
Ƙididdiga dubawa da kake da su ainihi.
Akwai dabarar gajere guda ɗaya a zuciyarta. Ta fito ne daga kididdigar bincike, inda ake kiran ta Kish design effect. CIRIS shi ne na farko da ya yi amfani da ita don daidaitar AI.
real checks = checks / (1 + copying × (checks − 1))
"Checks" shine nawa dubawa ka gudanar. "Copying" shine nawa sun yi alaƙa, daga 0 (duk masu zaman kansu) zuwa 1 (duk ɗaya ne). Sakamakon shine nawa dubawa kake da su ainihi.
Ba kwafi: dubawa goma suna ƙidaya a matsayin goma. Kowane duba yana samu wurinsa.
Kwafi cikakke: dubawa goma suna ƙidaya a matsayin ɗaya. Bai dace nawa kake ƙara ba.
Zangon lafiya
Ba irin juna sosai, ba watse sosai ba.
Wannan sifar ta bayyana anan da kuma a ko'ina CIRIS yake duba. Idan dubawa sun kwafi juna da yawa, tsarin yana da tsauri sosai: muryar guda ɗaya da aka maimaita, mai sauƙin yaudarewa. Idan ba su da komai ɗaya, sun yi watse sosai: ba za su iya yarjewa kan komai ba. Duba mai lafiya yana zaune a cikin zangon da ke tsakani, corridor ɗaya da sauran CIRIS aka gina kenan.
Gefen daidai na wannan zango sun dogara da tsarin da ake auna. Babu lamba ɗaya ta sihiri da ta dace ko'ina, kuma binciken yana kasancewa a fili game da hakan. Ra'ayin corridor, a cikakke, yana a shafin hangen nesa.
A kan zirga-zirga ta ainihi
An auna wannan, ba kawai aka yi muhawarar ba.
CIRIS ya auna adadin dubawa na ainihi a kan nasa zirga-zirgan wakili masu rai, a cikin dubban yanke shawara da aka yi rikodin. A kan zirga-zirgar lafiya ya gudana a cikin kewayen kusan dubawa bakwai zuwa tara masu zaman kansu da gaske. Wannan auna, da kuma yadda aka yi shi, shine nazarin Constrained Reasoning Chains. Za ka iya kallo lambobi masu rai a shafin bincike.
Matakawan gaskiya
Abin da wannan lissafi ba zai iya yi ba.
Takarda ta tabbatar da iyaka mai wuya a kanta. Wasu nau'ikan cutarwa ba su fito ne daga ɓangare guda ɗaya na rashin aminci ba. Sun fito ne daga ɓangarori masu aminci da suke ƙaruwa zuwa sakamakon mara kyau, kuma kusan kashi arba'in cikin ɗari na wannan nau'in cutarwa ba za a iya kamo shi da wani duba ba, komai kyauta. CIRIS yana cewa haka a fili maimakon yin kamar lissafi ya kama komai.
Abin da lissafi ke cewa shine game da farashin akan lokaci: gudanar da tunani na ainihi, na aminci na makonni yana da daidaituwa kuma ya fi arha fiye da kiyaye karya ta dacewa a ko'ina cikin dubban yanke shawara da aka yi rikodin. Yana juyar da ƙasa zuwa gaskiya. Ba yana alƙawari kama kowane karya guda ɗaya ba.
Yadda ya dace tare
Lissafi ya zama ɓangare guda ɗaya na babban duka.
Wannan shafi shine auna. The Coherence Ratchet shine yadda ake amfani da auna. The Federation shine yadda ta zama wani abu da tsare-tsare da yawa suke raba. Kuma cikakken tabbatan, da aka rubuta don kwamfuta ta iya bincika su layi bayan layi, suna cikin takarda da wurin ajiya na RATCHET.