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 dabara gajera guda ɗaya a zuciyarta. Ta fito ne daga kididdigar bincike, inda ake kiran ta Kish design effect, kuma wannan siffa ɗaya tana bayyana a nazarin zaɓe da injiniyancin aminci. CIRIS tana amfani da ita ga 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.
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 daga ɓangare guda ɗaya marar gaskiya ba. Suna fitowa ne daga ɓangarori masu gaskiya da suka haɗu suka zama sakamako mara kyau, kuma takardar ta tabbatar cewa wani sashi na wannan cutarwa ba ya ganuwa ga duk wani mai duba da ke kallon sassan kawai, komai kyawunsa. CIRIS na faɗin haka a fili maimakon yin kamar lissafi ya kama komai.
Abin da tsarin ke alkawari da gaske shine rikodin. Kowane yanke shawara yana barin rasit da aka sa wa hannu wanda ba za a iya sake rubuta shi a ɓoye ba, don haka karya dole ta ci gaba da dacewa da dubban rasit da ba za ta taɓa gogewa ba. Karanta waɗannan rasit da kyau har yanzu aiki ne a buɗe, kuma muna faɗin haka. Ko ta wace hanya, littattafan sun kasance gaskiya.
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.