Shafin lissafi
An duba ta software na tabbatarwa
Ra'ayin
Dubawa biyar da duk suka kwafi juna duba ɗaya ce kawai.
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 a kan nasa tunani kuma a yaudare shi, idan waɗannan dubawa suna raba gurbin makancewa ɗaya. Coherence Collapse Analysis shi ne yadda CIRIS ke gane bambancin tsakanin dubawa na ainihi da amshi.
Dabarar guda ɗaya
Ƙididdigar dubawa da kake da su na 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 ne kawai idan kowannensu dubawa ce dabam.
Kwafi cikakke: dubawa goma suna ƙidaya a matsayin ɗaya. Ba ya da bambanci ko nawa kake ƙarawa.
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-zirgar wakilai masu rai, a cikin dubban yanke shawara da aka yi rikodin. A kan zirga-zirga mai lafiya ya gudana a cikin kewayon kusan dubawa bakwai zuwa tara masu zaman kansu da gaske. Wannan aunawa, da kuma yadda aka yi ta, shi ne nazarin Constrained Reasoning Chains. Za ka iya kallon lambobi masu rai a shafin bincike.
Iyakar 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 alƙawari da gaske shi ne rikodin. Kowane yanke shawara yana barin rasit da aka sanya wa hannu wanda ba za a iya sake rubuta shi a ɓoye ba, don haka ƙarya dole ta ci gaba da dacewa da dubban rasit da ba za ta taɓa gogewa ba. Nazarin 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 shi ne ma'aunin. Ratchet na Daidaituwa shi ne yadda ake saka ma'aunin cikin aiki. Federation shi ne yadda yake zama wani abu da tsare-tsare da yawa ke raba wa juna. Kuma cikakkun tabbaci, da aka rubuta don kwamfuta ta iya bincika su layi bayan layi, suna cikin takarda da ma'ajiyar RATCHET.