Ojú-ìwé ìṣirò
Tí a ṣàyẹ̀wò nípasẹ̀ sọ́fítiwẹ́à ẹ̀rí
Èrò náà
Ìdán márùn-ún tó ń dásìlẹ̀ fún ara wọn jẹ́ ìdán kan ṣoṣo ní tòótọ́.
Sọ pé ènìyàn márùn-ún ṣàyẹ̀wò ìdáhùn kan, gbogbo márùn-ún sì fohùn sọ́kan. Ìyẹn dára. Ṣùgbọ́n bí gbogbo márùn-ún bá kọ́ ún láti ibi kan náà, ìfohùnsọ́kan wọn kìí ṣe ìdánilójú márùn-ún. Ìwòye kan tí a tún ṣe ní ìgbà márùn-ún ni ún. Iye ìdán dà bí márùn-ún. Iye tòótọ́ jẹ́ kan.
Èyí ṣe pàtàkì fún AI. Ètò AI lè ṣe ìdán púpọ̀ lórí ìronú tirẹ̀ tó ṣì lè jẹ́ aṣiwèrè, bí àwọn ìdán wọ̀nyí bá pin aaye afọju kan náà. Coherence Collapse Analysis ni bí CIRIS ṣe ń ṣe ìyatọ̀ laàárín àwọn ìdán gidi àti àwọn ohùn àpadà.
Fọ́mùlà kan ṣoṣo
Kíka àwọn ìdán tí o ní ní tòótọ́.
Fọ́mùlà kékeré kan ṣoṣo wà ní ọkàn rẹ̀. Ó wá láti àkọsílẹ̀ ìṣírò ìjẹ̀bí, níbi tí a ń pè é ní Kish design effect. CIRIS ni àkọ́kọ́ láti lo fún ìbáradọ̀ AI.
real checks = checks / (1 + copying × (checks − 1))
"Checks" ni iye ìdán tí o ṣe. "Copying" ni iye tí wọn báramu, láti 0 (gbogbo lọ́tọ̀) sí 1 (gbogbo kanna). Ìyọrísí ni iye ìdán tí o ní ní tòótọ́.
Kò sí dásìlẹ̀: ìdán mẹ́wàá ní ìyì mẹ́wàá. Ìdán kọ̀ọ̀kan bọ́lọ́ wọlé.
Dásìlẹ̀ pẹlú: ìdán mẹ́wàá ní ìyì kan. Kò ṣe pàtàkì iye tí o fikún.
Ìwọ̀n ìlera
Kò dà bí ara rẹ̀ jù, kò tún ya kọjá jù.
Àwòrán kan náà wà níbí tó jẹjẹ fíhan nibikibi tí CIRIS ń wo. Bí àwọn ìdán bá dásìlẹ̀ fún ara wọn jù, ètò náà ti dìgbò jù: ohùn kan tí a tún ṣe, tó rọrùn láti tan. Bí wọn kò bá ní ohun tí ó wọ́pọ̀ rárá, wọ́n ṣíkárí jù: wọn kò lè fohùn sọ́kan lórí ohunkohun. Ìdán tó ní ìlera wà ní ìwọ̀n laàárín, corridor kan náà tí iyókù CIRIS ti kọ́ síbẹ̀.
Àwọn ọ̀nà gangan ti ìwọ̀n yẹn gbára lórí ètò tí a ń wọn. Nọ́mbà àgic kan ṣoṣo kò sí tó ṣiṣẹ́ níbikibi, ìwádìí sì ṣe kedere nípa ìyẹn. Èrò corridor, ní kíkún, wà lórí ojú-ìwé iran.
Lórí ọkọ̀ ayọkẹlẹ gidi
Wọn wọ̀n èyí, kò ṣe àríyànjiyàn nìkan.
CIRIS wọ̀n iye ìdán gidi lórí ọkọ̀ ayọkẹlẹ aṣojú laaye tirẹ̀, kọjá ẹgbẹẹgbẹ̀rún àwọn ìpinnu tí a gbasilẹ. Lórí ọkọ̀ ayọkẹlẹ ìlera, ó ṣiṣẹ́ ní ìwọ̀n àwọn ìdán meje sí mẹ́sàn tó tí ara wọn lọ́tọ̀ ní tòótọ́. Ìwọ̀n yẹn, àti bí a ṣe ṣe é, jẹ́ ìkẹ́kọ̀ọ́ Constrained Reasoning Chains. O lè wo àwọn nọ́mbà laaye lórí ojú-ìwé ìwádìí.
Ààlà tó jẹ́ òtítọ́
Ohun tí ìṣirò yìí kò lè ṣe.
Ìwé náà ṣe ẹ̀rí ààlà tó mọ́ lórí ara rẹ̀. Irú ìpalára kan kò wá láti apá kan tó jẹ́ aṣà. Wọn wá láti àwọn apá tó jẹ́ òtítọ́ tó kún sí ìyọrísí burúkú, ó sì jẹ́ pé ìdamọ́ mẹ́rin nínú mẹ́wàá ti irú ìpalára yẹn kò lè mú ọgbọ́n ìdán kankan, títí di alára to dára tó bọ́. CIRIS sọ bẹ́ẹ̀ ní gbangba dípò ṣiṣe àdágbó pé ìṣirò mú gbogbo nkan.
Ohun tí ìṣirò sọ ni nípa iye owó ní àkókò: fíṣe ìronú tó jẹ́ òtítọ́ àti olóòtítọ́ fún ọ̀sẹ̀ọ̀sẹ̀ dúró ṣinṣin tó sì din ọwọ́ kù ju ìpamọ́ ìtànjẹ kan kọjá ẹgbẹẹgbẹ̀rún àwọn ìpinnu tí a gbasilẹ. Ó ń tìpè ìlẹ̀ sí ọ̀na òtítọ́. Kò ṣe àdéhùn láti mú gbogbo ìtànjẹ.
Bí gbogbo rẹ̀ ṣe báramu
Ìṣirò jẹ́ apá kan àpapọ̀ tó tóbi sí i.
Ojú-ìwé yìí jẹ́ ìwọ̀n. Coherence Ratchet ni bí a ṣe fi ìwọ̀n yẹn sí iṣẹ́. Federation ni bí ó ṣe di ohun tí ọ̀pọ̀lọpọ̀ ètò pín. Àwọn ẹ̀rí pípé sì, tí a kọ kí kọ̀mpútà lè ṣàyẹ̀wò ìlà nípasẹ̀ ìlà, wà nínú ìwé àti ìpamọ́ RATCHET.