Déanann AION cinntí AI inrialaithe
An seomra ina bhfeictear an cruthúnas
Ní sa tiomsaitheoir a éiríonn an cruthúnas úsáideach ar dtús. Ní sa réiteoir ach oiread. Tá sé i seomra ina bhfuil gach duine bréan de mhínithe a fuaimeann inchreidte ach nach féidir iad a athsheinm.
De ghnáth bíonn scáileán ar an mballa. Chuir duine éigin an cinneadh suas. Chuir duine éigin eile na línte logála suas. Tá úinéir riosca ag fiafraí an sásóidh sé seo an iniúchóireacht. Tá innealtóir ag iarraidh a mhíniú gur tháirg an tsamhail scór muiníne, gur stóráil an córas teileiméadracht, agus gur féidir leis an bhfoireann an cosán tríd an bhfeidhmchlár a thaispeáint. Tá na focail cúramach. Níl an seomra sásta.
Ní hé an fhadhb go bhfuil na daoine sa seomra naimhdeach don AI. Is é an fhadhb ná go bhfuil a fhios acu an difríocht idir ráiteas agus fianaise. Deir logáil gur tharla rud éigin. Deir scór muiníne cé chomh láidir is a chlaon córas i dtreo freagra. Deir míniú iar-hoc ar cad a d'fhéadfadh a bheith ag brath ar an bhfreagra. Ní chruthaíonn aon cheann de na rudaí sin na céimeanna réasúnaíochta taobh istigh den chinneadh.
Tá AION ann don nóiméad sin. Casann sé an freagra ina phacáiste a chuimsíonn a chuid oibre féin. Ní deais níos deise timpeall ar mhuinín é an cosán iniúchta. Is é an deimhniú é: déantán iniompartha, inseiceáilte ar féidir le fíoraitheoir eile é a léamh as líne, in am líneach, gan iarraidh ar an réiteoir bunaidh é féin a chosaint.
Tá tábhacht leis an idirdhealú sin mar go n-iarrann formhór na dtáirgí AI fós ar an gceannaitheoir gealltanas a ghlacadh. Athraíonn AION cruth an ghealltanais. Deir sé: ná muinín as an meaisín mar gur fhuaimeadh sé muiníneach. Ná muinín as an soláthróir mar a deir an cur i láthair go bhfuil sé inláimhsithe. Tóg an deimhniú, rith an seiceáil, agus glac nó diúltaigh don chruthúnas ar do bhonneagar féin.
An chéad radharc: níl an freagra leordhóthanach
Samhlaigh banc ag diúltú iarratais, córas ospidéil ag moladh cosán, nó oifig phoiblí ag úsáid bogearraí chun cás a ródú. D'fhéadfadh an freagra a bheith úsáideach. D'fhéadfadh sé a bheith ceart fiú. Ach má fhiafraíonn an duine lena mbaineann cén fáth, teastaíonn níos mó ná mír a scríobhadh i ndiaidh an imeachta ón eagraíocht.
Baineann an seanmhúnla oibriúcháin leas as a bhfuil ar fáil cheana féin. Tá logaí feidhmchláir ann, ach bíonn siad neamhstruchtúrtha agus is minic a bhíonn siad ceangailte leis an soláthróir a chruthaigh iad. Tá scóir ann, ach níl i scór gan díorthú ach uimhir. Tá mínithe ginte ann, ach nuair a tháirgeann an córas céanna a rinne an cinneadh iad, déanann siad a gcuid obair bhaile féin a mharcáil. Tá dearbhuithe soláthróra ann, ach ní freagra iniúchóireachta é "muinín asainn".
Déileálann AION leis seo mar fhadhb dearaidh, ní mar fhadhb chumarsáide. Má tá tábhacht leis an gcinneadh, caithfidh an fhianaise taisteal leis an bhfreagra. Caithfidh sé a bheith astaithe ag an nóiméad céanna. Caithfidh sé maireachtáil ar sholáthar, ar imirce, ar athbhreithniú teagmhais, agus ar iniúchóir amach anseo le huirlisí éagsúla. Ní féidir leis brath ar sheirbhís iargúlta a bheith ar líne fós. Ní féidir leis a cheangal ar an réiteoir bunaidh an cás a athrith agus súil a bheith aige go nglacfaidh sé an bealach céanna arís.
Sin an fáth nach maisiú é an cruthúnas. Is é an comhéadan é. D'fhéadfadh úsáideoir é a bhrath mar admháil. D'fhéadfadh innealtóir é a bhrath mar ordú. D'fhéadfadh iniúchóir é a bhrath mar sheiceáil neamhspleách. Freastalaíonn an réad céanna ar na trí cinn mar ní scéal faoin gcinneadh é. Is é an díorthú ordaithe taobh thiar den chinneadh é.
Ní inneall cinnteoireachta é AION
AION níor cheart é a mheascadh le gach cuid eile de chruach Dweve. Ní hé Mesh é, ar bonneagar é. Ní hé Ledger é, a thaifeadann imeachtaí a tharla i gcóras. Ní lipéad margaíochta ginearálta é don trédhearcacht. Deimhníonn AION céimeanna réasúnaíochta laistigh de chinneadh amháin.
Tá an teorainn sin úsáideach. Is féidir le Ledger a insint duit gur tháinig iarratas, gur fheidhmigh seirbhís, gur fhill oibrí, agus gur scríobhadh taifead. Sin bunús imeachtaí. Freagraíonn AION ceist níos cúinge agus níos deacra: i bhfianaise na mbunchéimeanna seo, ar lean an chonclúid seo trí na céimeanna taifeadta? Is é an difríocht an difríocht idir amlíne agus cruthúnas.
Déanann an leathanach foinse cur síos ar AION mar leabharlann Rust le dénárthach ordúlíne agus dénárthach tagarmhairc. Déanann sé cur síos freisin ar chroí CDCL tairgeach le huimhríocht chothrom réasúnach, timpeallaithe ag réasúnaithe teoirice, le hastaire cruthúnais a thaifeadann gach céim mar dhíorthú ordaithe. Is fíricí cur chun feidhme iad sin, ach éiríonn siad níos tábhachtaí nuair a fhéachtar orthu mar fhíricí oibríochtúla. Ní fhaigheann an t-úsáideoir freagra amháin. Faigheann an t-úsáideoir déantán is féidir a leabú, a sheiceáil, a thagarmharcáil, agus a iompar leis.
Nuair a nascann foireann an crate, tiomáineann an CLI ó chomhla nó ó phost CI, nó tomhaiseann an cur chun feidhme ar a gcrua-earraí féin, tagann an deimhniú céanna amach. Tá an comhionannas sin mar chuid den chonradh. Níor cheart go n-athródh an cosán uchtála an fhianaise. Teastaíonn an réad céanna ó mheastóireacht soláthair, ó chomhtháthú innealtóireachta, agus ó athsheinm iniúchta, ní trí achoimrí neamh-chomhoiriúnacha.
Cad a athraíonn an deimhniú
Athraíonn deimhniú an caidreamh cumhachta timpeall ar chinneadh AI. Gan é, rialaíonn an eagraíocht a bhfuil an freagra aici an chuid is mó den mhíniú freisin. Leis, is féidir le seiceálaí ar leith dúshlán a thabhairt don fhreagra. Is féidir an cruthúnas a bhogadh go ríomhaire eile. Is féidir leis an iniúchóir é a athsheinm gan nasc líonra. Is féidir leis an saoránach admháil a iarraidh, agus is féidir leis an institiúid rud níos nithiúla ná mír a thabhairt ar láimh.
Sin an fáth gur ábhar foinse oscailte é AION seachas breiseán comhlíonta dúnta. Luann an leathanach Apache 2.0, formáidí cruthúnais chaighdeánacha, agus baile tionscadail ag github.com/dweve-ai. Leanann an luach gnó go díreach ón oscailteacht sin. Is féidir le foireann meastóireacht a dhéanamh roimh ghlao díolacháin. Is féidir léi uchtáil a dhéanamh gan táille léitheoireachta cruthúnais in aghaidh an tsuímh. Is féidir léi taifid a choinneáil a fhanann úsáideach fiú má fhágann sí an soláthróir níos déanaí.
Laghdaíonn an deimhniú freisin an méid muiníne a chuirtear sa chóras bunaidh. Ní hé an ríomhaire a d'fhreagair an t-aon ríomhaire sa scéal. Léann fíoraitheoir ar leith an deimhniú agus siúlann sé gach asbhaint i gcoinne a bhunchéimeanna. Má dhúnann an díorthú, glacann an seiceálaí leis. Mura ndéanann, diúltaíonn sé. Níl gá le dara gníomh áitithe.
Is eispéireas úsáideora é sin atá difriúil ó fhormhór na míniúlachta AI. Ní deir AION, "Seo an fáth ar dócha gur rinne an tsamhail é seo." Deir sé, "Seo an réad cruthúnais. Seiceáil é." Bogann an obair ó léirmhíniú go fíorú.
An margadh foinse oscailte
Is minic a dhíoltar foinse oscailte mar áis d'fhorbróirí: iniúchadh a dhéanamh ar an gcód, fork a dhéanamh air, paistí a sheoladh. Déanann AION margadh níos oibríochtúla. Má tá cruthúnas chun cinneadh a dhéanamh an féidir le heagraíocht cinneadh AI a chosaint, ní féidir leis an innealra cruthúnais a bheith ina bhosca dubh i bhfolach taobh thiar den chaidreamh soláthróra céanna a tháirg an cinneadh.
Tá tábhacht le Apache 2.0 anseo toisc go ndéanann sé gnáth-uchtáil. Is féidir le foireann an teicneolaíocht a úsáid go tráchtála gan comhaontú speisialta díreach chun a fianaise féin a léamh ar ais. Tá tábhacht le formáidí caighdeánacha toisc nár cheart go n-éireodh an cruthúnas gan úsáid nuair a athraíonn díoltóir straitéis. Tá tábhacht le seiceáil as líne toisc gur cheart go mbeadh taifead iniúchta a dhéantar inniu fós in ann fíorú níos déanaí, fiú má imíonn líonra, cuntas, nó seirbhís.
Seo é an rud a thuigeann foirne soláthair níos tapúla ná mar a bheadh innealtóirí ag súil leis. Ní i gcónaí an chéad cheist ná an bhfuil an réiteoir cliste. Is é an cheist an bhfanann na taifid faoi smacht na heagraíochta. An féidir an fhianaise a stóráil i gcartlann? An féidir le foireann eile í a sheiceáil arís le linn iniúchta? An féidir leis an eagraíocht imeacht gan brí a cuid cinntí sean a chailleadh? Tá AION deartha ionas gur féidir an freagra a bheith tá.
Sin an fáth go gcaithfidh an chruthúnas a bheith iniompartha. Tá an cód oscailte, ach is é an pointe is mó ná nach bhfuil an fhianaise gafa. Ní scáileánghrianghraf é an deimhniú. Ní leathanach míniúcháin é a óstálann díoltóir. Is saothar é a choinníonn a úsáideacht toisc nach bhfuil na formáidí agus an cosán seiceála faoi úinéireacht aon amriteorais amháin.
Laistigh den dromchla cruthúnais
Tá taobh istigh teicniúil AION cruinn d'aon ghnó. Ainmníonn an leathanach croí CDCL, breiseáin theoirice, uimhríocht réasúnach bheacht, agus astaíre cruthúnais. Roghnaíonn CDCL brainsí. Leathnaíonn réasúnaithe teoirice an tsamhail pháirteach. Taifeadann an t-astaíre cruthúnais rúin agus lemmas. Easpórtáiltear an toradh mar LRAT, DRAT, Alethe, nó foirm idirmheánach aontaithe.
Is féidir leis na hainmneacha sin fuaim mar theanga sheomra réiteora, mar sin aistrigh iad go hiompar córais. Ní deir an córas go leanann an chonclúid go simplí. Scríobhann sé síos an bealach. Ní iarrann sé ar an bhfíoraitheoir muinín a bheith aige as an réiteoir iomlán. Tugann sé jab níos lú don fhíoraitheoir: léigh an deimhniú, siúil gach asbhaint, agus seiceáil go ndúnann na céimeanna i gcoinne na réamhriachtanais.
Tá an clúdach teoirice leathan go leor chun ábhar a bheith aige do chórais fíor: loighic thairisintí, cain li li li, uimhríocht líneach agus neamhlíneach, bitveicteoirí, eagair, teaghráin, uimhreacha snámhphointe, loighic shealadach, cláir fhiosúla, agus cláir chomhthreomhara. Tá na réasúnaithe uimhríochta, sonraí, agus snámhphointe sa chroí; tá teoiricí na gclár i gcomhchrátaí. Ní mana é an roinnt sin. Is é an bealach é gur féidir le dromchla cruthúnais amháin cinntí a chlúdach a bhaineann le níos mó ná cineál amháin réasúnaíochta.
Is ráiteas dearaidh í an uimhríocht réasúnach bheacht freisin. Má tá cruthúnas le seiceáil arís níos déanaí, ní féidir leis brath ar thimpiste snámhphointe doiléir sa chroí uimhríochta. Caithfidh an deimhniú iompar mar fhianaise, ní mar chomhfhogasú a athraíonn carachtar nuair a bhogtar trasna meaisíní é. Tá an t-ábhar foinseach sainráite: gan aon snámhphointe sa chroí uimhríochta.
Cén fáth a bhfuil tábhacht leis an líne ordaithe do bhord
Ní gnách go dtugann boird aird ar uirlisí líne ordaithe. Tugann siad aird ar riosca, costas, imeacht, agus iniúchadh. Tá tábhacht le dromchla líne ordaithe AION toisc go gcomhbhrúíonn sé na hábhair imní sin i ngníomh inathraithe. Rith an seiceáil. Faigh glacadh nó diúltú. Déan é gan ceist a chur ar an soláthróir. Déan é gan an líonra. Déan é ar an gcrua-earra atá faoi do smacht.
Is furasta é seo a mheas faoina luach. Is féidir le deais braistint eolais a thabhairt d'fhoireann, ach is féidir le ordú iniúchadh a dhéanamh in-athdhéanta. Nuair is féidir fianaise a sheiceáil ó shell nó ó phost CI, is féidir í a thógáil isteach i ngnáthrialuithe na heagraíochta. Is féidir le cinntí nua deimhnithe a astú. Is féidir taifid stóráilte a shampláil. Is féidir le hathbhreithnithe teagmhais an t-ábhar beacht a athsheinm seachas scéal a atógáil ó theileiméadracht.
Baineann an dénártha tagarmharcála leis an gcomhrá céanna. Más gá d'fhoireann AION a thomhas ar a gcrua-earraí féin, is féidir leo. Ní chruthaíonn sin éileamh feidhmíochta bréagach; seachnaíonn sé ceann. Ní iarrann an leathanach ar an léitheoir uimhir gan bhunús a chreidiúint. Tugann sé bealach don léitheoir an cur i bhfeidhm a thomhas sa timpeallacht is tábhachtaí.
Maidir le bord, éiríonn an cheist simplí: an féidir linn ár gcinntí a mhíniú fós nuair a bhíonn an feidhmchlár bunaidh imithe, nuair a iarrann rialtóir an fhianaise, nó nuair a chuireann custaiméir ceist ar thoradh? Casann AION sin ó chruinniú go nós imeachta oibriúcháin.
An áit a stopann Ledger agus a dtosaíonn AION
Tá níos mó ná dromchla foinse oscailte amháin ag Dweve mar go bhfuil níos mó ná cruth amháin ar chuntasacht. Taifeadann Ledger cad a tharla i gcóras: imeachtaí, hashes, slabhra coimeádta. Taifeadann AION cén fáth ar lean conclúid ó chinneadh. Tá an dá cheann úsáideach. Níor cheart iad a chomhcheangal.
In athbhreithniú teagmhais, is féidir le Ledger cuidiú a dhearbhú gur tháinig iarratas, go raibh leagan gníomhach, gur tharla gníomh oibreora, nó gur scríobhadh taifead. Is féidir le AION cuidiú a dhearbhú go raibh an chéim réasúnaíochta ó réamhriachtanais go conclúid bailí. Má mheascadh iad sin, críochnaíonn foirne le hamlínte an-mhionsonraithe nach gcruthaíonn an cinneadh fós, nó le hábhair chruthúnais nach ndeir faic faoin slabhra oibriúcháin máguaird.
Is é an teorainn ghlan dea-dhearadh comhéadain. Ligeann sé do gach dromchla a mheas de réir na ceiste a fhreagraíonn sé. Ar tharla an teagmhas seo? Sin críoch Ledger. Ar lean an chonclúid seo? Sin críoch AION. Ar rith an t-ualach oibre san áit cheart leis an bpríomhachas príobháideachta ceart? Baineann sin le bonneagar, ar sin Mesh, ní AION.
Lá sa seomra iniúchta
Samhlaigh an t-iniúchadh arís, ach le AION sa sreabhadh ón tús. Ní thugann an eagraíocht cur i láthair sleamhnán a mhíníonn cé chomh cúramach is atá an fhoireann innealtóireachta. Tugann sí cinneadh, deimhniú, agus próiseas seiceála in-athdhéanta.
Fiafraíonn an t-iniúchóir an mbraitheann an taifead ar scamall an díoltóra. Ní hea: tá an tseiceáil as líne. Fiafraíonn an t-iniúchóir an bhfuil uirlis inmheánach speisialta ag teastáil. Ní hea: úsáideann an chruthúnas formáidí caighdeánacha ar nós LRAT, DRAT, agus Alethe, le foirm idirmheánach aontaithe taobh thiar díobh. Fiafraíonn an t-iniúchóir an gá don réiteoir bunaidh athrith. Ní hea: fíoraíonn an seiceálaí an deimhniú. Fiafraíonn an t-iniúchóir cad a tharlaíonn má athraíonn an eagraíocht soláthróir níos déanaí. Fanann an deimhniú iniompartha.
Éiríonn an comhrá níos ciúine mar go bhfuil níos lú rúndiamhra ann. Is féidir leis an bhfoireann innealtóireachta ailtireacht a phlé fós. Is féidir le húinéir an ghnó riosca a phlé fós. Ach ní léiriú áititheach a thuilleadh an phríomhfhianaise. Is réad é ar an mbord.
Ní chiallaíonn sin go n-imíonn gach ceist ghnó. Cruthaíonn deimhniú rud sainithe, ní gach airí morálta, dlíthiúil, nó oibriúcháin timpeall an chinnidh. Ní draíocht é AION. Ní athraíonn sé beartas dona go beartas maith. Ní shocraíonn sé an raibh na réamhriachtanais cothrom. Cruthaíonn sé an díorthú a thaifeadann sé. Is cuid den chúis go bhfuil sé úsáideach an macántacht sin.
UX ciúin an easpa idirlín
Is cosúil gur mionsonra teicniúil é fíorú as líne go dtí an chéad iniúchadh dáiríre. Ansin bíonn sé ina ghné d'eispéireas an úsáideora. Ní gá d'aon duine rochtain shealadach a iarraidh ar thimpeallacht díoltóra. Ní gá d'aon duine eisceacht bhalla dóiteáin a oscailt ionas gur féidir fianaise a sheiceáil. Ní gá d'aon duine a bheith ag súil go bhfuil suibscríobh fós gníomhach do sheanthaifead.
Tá eispéireas an úsáideora ciúin mar go bhfuil seiceáil cruthúnais iontach leadránach. Tá an deimhniú i láthair. Ritheann an seiceálaí. Glactar leis an bhfreagra nó diúltaítear dó. Gan searmanas. Gan cuntas. Gan spleáchas nua. I dteanga an tomhaltóra, is admháil é. I dteanga na hinnealtóireachta, is earra cruthúnais é. I dteanga an iniúchta, is fianaise é is féidir a athsheiceáil.
Athraíonn sé seo freisin an chaoi a smaoiníonn foirne ar chartlanna. Níl taifead cinntí iomlán má stórálann sé ach an t-aschur agus stampa ama. Maidir le cinntí a chaithfidh maireachtáil faoi scrúdú, caithfear an cruthúnas a stóráil in aice leis an bhfreagra. Má dhéanann an sreabhadh oibre sin nádúrtha, bíonn comhlíonadh níos lú ag brath ar dhoiciméadú laochúil i ndiaidh an imeachta.
Tá an frása "seoltar an cruthúnas leis an bhfreagra" éasca le léamh mar mhargaíocht. Go praiticiúil, is riail stórála é, riail phróisis, agus riail dearaidh. Ní hé an freagra amháin an táirge. Is é an freagra móide an deimhniú inseiceála é.
Cad é mar atá an ghlacadh
Tá trí bhealach shimplí ag glacadh AION san ábhar foinseach: meastóireacht, innealtóireacht, agus comhlíonadh. Ciallaíonn meastóireacht an cód a léamh agus samplaí cruthúnais a rith roimh aon chomhrá. Ciallaíonn innealtóireacht an leabharlann a nascadh ionas go n-astraíonn córais atá ann cheana deimhniú inseiceála. Ciallaíonn comhlíonadh deimhniú stóráilte a athsheiceáil as líne tráth an iniúchta.
Tá na bealaí sin difriúil d'aon ghnó. D'fhéadfadh innealtóir slándála tosú leis an seiceálaí. D'fhéadfadh innealtóir ardáin tosú leis an gcliathán Rust. D'fhéadfadh úinéir comhlíonta tosú le deimhniú sábháilte agus ceist ón iniúchadh. Ligeann cosáin mhaithe iniúchta do róil éagsúla teacht trína ndoras féin agus iad fós ag baint leis an réad bunúsach céanna.
Níl an scéal glactha ceangailte le deasghnáth díolacháin ach oiread. Tá tábhacht leis sin mar go dteastaíonn muinín institiúideach don chruthúnas. Más bac soláthair an chéad eispéireas atá ag duine ar chóras cruthúnais, mothaíonn an córas cheana féin mar spleáchas eile. Más deimhniú is féidir a sheiceáil an chéad eispéireas, mothaíonn an córas mar uirlis.
Ní bhaineann an seasamh foinse oscailte an gá le breithiúnas innealtóireachta. Caithfidh foirne fós cinneadh a dhéanamh cá n-astraítear deimhnithe, conas a stóráiltear iad, cé na cinntí a éilíonn iad, agus conas a éiríonn torthaí fíoraithe mar chuid de shreafaí oibre scaoilte agus iniúchta. Déanann AION na cinntí sin nithiúil seachas reitriciúil.
An ceacht
Is é ceacht AION ná nach féidir le hiniúchtaitheacht maireachtáil san aguisín amháin. Má tá fianaise tábhachtach go leor le taispeáint do rialtóir, d'othar, do chustaiméir, nó d'athbhreithneoir inmheánach, tá sé tábhachtach go leor le bheith mar chuid den phacáiste freagraí féin.
Ní gá go mbeadh an pacáiste sin ard. Is féidir gur ordú, leabharlann, deimhniú, earra stóráilte, seiceáil CI, nó admháil chiúin a thaispeántar do dhuine é. Is é an rud is tábhachtaí ná gur féidir le duine seachas an t-inneall cinntí bunaidh é a sheiceáil. Is é an rud is tábhachtaí ná go maireann sé gluaiseacht trasna uirlisí agus ama. Is é an rud is tábhachtaí ná nach gá don eagraíocht muinín a thiontú ina fianaise de láimh tar éis don chinneadh a bheith conspóideach cheana féin.
Is cruthúnas foinse oscailte é AION mar go gcaithfidh an cruthúnas a bheith ag na daoine a bhraitheann air. Is iniúchtaitheacht é mar gur féidir an fhianaise a athsheinm. Is inseiceála é mar nach bhfuil an cruthúnas i bhfolach taobh thiar den fhreagra. Is é an chuid den fhreagra é a ligeann don fhreagra a bheith iontaofa.
Sin é an t-éileamh úsáideach: ní hé go bhfuil gach cinneadh AI réitithe go draíochtúil, ach go bhfuil dromchla beacht tuillte ag cinntí tábhachtacha ina bhfeictear an obair. Freagraíonn an meaisín. Cuireann AION ar a chumas a chuid oibre a thaispeáint. Socraíonn an seiceálaí an seasann an obair sin.