Chii chaitika
Vatsvagiri vakaunza CEDAR, dhizaini-inotungamirwa yekuita kuti hunhu hunotungamirwa nemutauro-mumiriri huve nyore kuona, kusanganisa uye kugadzirisa. Iyo sisitimu inomiririra hunyanzvi hwakadzidzwa uye zvipingamupinyi zvemutauro wechisikigo seanogadzirisa finite automata uye inoshuma kuchengetedzwa kuri nani kwezvinodiwa zvenguva uye zvepakati pane yekutanga chirongwa-inogadzira muMinecraft.
Bepa, rakatumirwa kuarXiv musi waNyamavhuvhu 28, 2026, rinopa CEDAR senzira yekuturikira mabasa anotungamirwa nemitauro kuita maitiro anogoneka evamiriri veAI. Vanyori vanopikisa kuti mirairo inowanzobatanidza mamiriro ezvinhu anofanira kuramba ari echokwadi panguva yekuurayiwa, kwete chinangwa chekupedzisira. Mienzaniso yavo inosanganisira zvipingamupinyi zvakaenzana nekurara husiku kana kugara mukati meimwe biome uchiita hunyanzvi hwakadzidzwa.
CEDAR inoshandisa modhi yemutauro kuita kutongwa kwesemantic uye inoshandisa mitezo yekuuraya kuona nekugadzirisa kutadza. Inobva yamiririra hunyanzvi uye zvirevo se deterministic finite automata. Mune mazwi anoshanda, iyo automaton chinhu chinogumira-nyika chinogona kukodha inotenderwa kutevedzana kwezviitiko zvenharaunda. Iro bepa rinoti hunyanzvi hwakadzidzwa hunogona kupindirana nehumwe hwakadzidzwa, kuburitsa mutongi ane chinangwa chekusimbisa iyo yakawedzera kumanikidza nekuvaka kwete kuburikidza nekudzokororwa kukurudzira.
Ongororo yakashumwa yakaitika muMinecraft, ichishandisa yakafanana simulator uye API yekutarisa inowanikwa kune chirongwa-inogadzira yekutanga. Zvinoenderana neabstract, CEDAR yakachengetedza zvirambidzo zvenguva uye zvepakati izvo yekutanga yakatadza kuchengetedza. Vanyori vanotaurawo kuti kushandisazve hunyanzvi hwakadzidzwa kwakaderedza mibvunzo yemutauro-modhi. Kwakabva hakupi huwandu hwebudiriro chaiyo, huwandu hwemabasa, kuverenga kwemibvunzo, kana kusava nechokwadi kwenhamba mune iyo abstract, saka chiyero chekuvandudza hachigone kuongororwa kubva pane chakapihwa chete.
Zvakatorwa pamwechete, tsananguro yakapihwa inoburitsa CEDAR seyakatevedzana inobatanidza mutauro, mitezo yekuuraya uye magumo-nyika maitiro. Mutauro modhi unopa kutonga semantic, nepo zvinozoitika zvinomiririra zvinopa fomu rinogoneka rehunyanzvi uye zvakatemwa. Chirevo chekuongorora chakanyatsobatanidzwa neMinecraft uye kuenzanisa nekutanga-inogadzira chirongwa, uye zvinhu zvinopihwa hazviwedzeri kudai kupfuura izvo zvataurwa.
Nei zvichikosha
CEDAR inogadzirisa kushaya simba kwepakati mukuita kunotungamirwa nemutauro: chirongwa chemahara-fomu chinogona kuratidzika sechinonzwisisika asi chichitadza kuchengetedza zvipingamupinyi zvemushandisi sezvo mamiriro anochinja. Maitiro epepa anogona kupa vanogadzira reusable verification layer pakati pemirayiridzo yemutauro uye zviito zvemuviri kana zvekuedzesera, kunyangwe humbowo hwakataurwa hunogumira kune vanyori 'Minecraft kuyedza.
Tsvagiridzo yacho inonangana nedambudziko rekuvimbika rinoshanda mune yakamisikidzwa AI. Modhi yemutauro inogona kuburitsa kutevedzana kwezviito kune chinangwa chakataurwa uku uchirasa nzira yezvirambidzo zvinofanirwa kuenderera nekufamba kwenguva. Imwe yakaparadzana, inomiririra inomiririra yezvirambidzo izvozvo inogona kuita kuti kutadza kuve nyore kuona pane kuongorora kureba kwemutauro wechisikigo kana chirongwa chakagadzirwa chisina kujeka.
Iyo automata-yakavakirwa dhizaini inopawo nzira yekunyora zvinodiwa. Kana iyo inomiririra iri yechokwadi, kuwedzera chinomanikidza kunova kushanda pazvinhu zvinogumira-pasi pane chikumbiro chemuenzaniso wemutauro wekuyeuka mamiriro ese mukuraira kuri kukura. Izvi zvinogona kubatsira kune vamiririri vakaedzerwa, nharaunda dzemitambo uye pakupedzisira masisitimu anodyidzana nemidziyo chaiyo, uko kutyora mutemo wenzvimbo kana wenguva kungave nebasa kupfuura kuburitsa tsananguro inonzwisisika.
Humbowo hwebepa rinoramba riri mhedzisiro yekutsvagisa yakanyorwa nemunyori, kwete yakazvimiririra yekusimbisa kana kuratidzwa kuendeswa. Iyo abstract inoratidza kuti CEDAR yakaedzwa muMinecraft uye kuti vanyori vakawona kuvandudzwa pamusoro pechirongwa-chinogadzira chekutanga pasi pemamiriro akataurwa. Izvo hazviratidze kuti chimiro chinoshanda mumarobhoti epasirese, chinobata zvisina tsarukano mitauro-yechisikigo zvinodiwa, kana kuvimbisa chengetedzo kunze kwemuenzaniso wezviitiko zvinoteedzera.
Kukosha kwemaitiro saka kunoenderana nekubatana pakati pemutauro wemushandisi uye inogumira-yemamiriro ekutsanangurwa anogadzirwa kubva mairi. Chimiririro chinogona kubatsira nekusimbisa, kusanganisa uye kugadzirisa chete kusvika pakuchengetedza izvo zvinotarisirwa zvenguva uye zvepakati. Zvinhu zvakapihwa zvinotsigira izvo sechinangwa chebepa uye mhedzisiro yakashumwa, uku ichisiya kuvimbika kwakakura uye mibvunzo yekuendesa yakavhurika.
Interactive Mechanism: Iyo Inonyatsoshanda
Ongorora ari pasi tekinoroji kuseri kwekusimudzira uku uchipindirana.
crm_get_transaction(id='4092').An agent must create a draft calendar event for Tuesday at 2 p.m. Which evidence would establish the requested result?
Zvekutarisa zvinotevera
Mibvunzo yakakosha ndeyokuti CEDAR inoumbana kupfuura zvirambidzo zvemutauro wenguva dzose uye Minecraft, kuti imarii maitirwo ekuongorora kwayo mukombuta uye mibvunzo yemhando, uye kuti inoramba yakavimbika here kana zvinoonekwa zvisina kukwana kana nharaunda ichichinja munzira dzisina kumiririrwa neautomaton.
Nyaya huru ndeye coverage. Mitauro yenguva dzose uye deterministic finite automata inogona kutaura mamwe anodzokororwa anotevedzana uye zvimhingamipinyi, asi kwazvinoita hakutauri mabatiro eCEDAR anobata zvinodiwa zvinosanganisira huwandu, inoenderera fizikisi, maonero asina chokwadi, zvinangwa zvenguva refu kana mutauro usinganzwisisike. Idzo nyaya dzinogona kuona kana nzira yacho ichibatsira zvakanyanya kune vakamisikidzwa vamiririri.
Kudzikiswa kwakashumwa kwemibvunzo yemhando yemutauro kunogona kuvandudza mutengo wekushandisa uye kuderedza kutsamira panhare dzemodhi yakadzokororwa, asi chidimbu hachipi huwandu hwekutanga kana nzira yeakaunzi. Basa rekutevera rinofanirwa kujekesa kana kutonga kwekutanga semantic uye kurongeka-kwakavakirwa kugadziridzwa kunobvisa kuchengetedza, uye kana automata kuvaka kunoramba kuchishanda sezvo hunyanzvi uye zvipingaidzo zvinonyanya kuoma.
Kudzokorora uye kuyedzwa kwakakura kwakakoshawo. Sosi yacho hairatidze bhenji rekunze, chikuva chehardware, ongororo yakazvimirira, kuendesa mudiwa kana kuenzanisa kwekuita kweveruzhinji kupfuura kwekutanga kwekugadzira chirongwa. Huchapupu hunotevera hunobatsira hunosanganisira mhedzisiro munzvimbo dzakawanda, nyonganiso nemhando dzemirairo, pamwe chete nemhosva dzekutadza dzinoratidza kana automaton inomiririra zvisizvo chinangwa chemushandisi kana nharaunda painoburitsa chiitiko kunze kwechirevo chayo.
Iyi mibvunzo yakavhurika ine chekuita nemiganhu yekumiririra uye mutengo wekuichengetedza. Mibairo kunze kweMinecraft yaizoratidza kana kuchengetedzwa kwakashumwa kwezvirambidzo zvenguva nepakati kuchiendeswa kune mamwe marongero. Rumwe ruzivo nezve komputa, mivhunzo yemodhi, yekutarisa isina kukwana uye shanduko yemamiriro ekunze zvingabatsirawo kuona kuti hunhu hwekugumisira hunoratidza sei mirairo yainoda kutevedzera.