An urrainnear neo-riaghailteachd a phrògramadh?

Dè an diofar eadar duine agus prògram?

Faodaidh lìonraidhean neural, a tha a-nis a 'dèanamh suas cha mhòr an raon iomlan de dh'fhiosrachadh fuadain, aire a thoirt do iomadh adhbhar eile ann a bhith a' tighinn gu co-dhùnadh na neach, ga dhèanamh nas luaithe agus, sa mhòr-chuid, nas mionaidiche. Ach chan obraich prògraman ach mar a tha iad air am prògramadh no air an trèanadh. Faodaidh iad a bhith gu math iom-fhillte, a 'gabhail a-steach mòran fhactaran agus a bhith ag obair ann an dòigh gu math caochlaideach. Ach chan urrainn dhaibh fhathast a dhol an àite neach ann an co-dhùnaidhean. Ciamar a tha neach eadar-dhealaichte bho leithid de phrògram? Tha 3 prìomh eadar-dhealachaidhean ri thoirt fa-near an seo, às a bheil gach fear eile a’ leantainn:

  1. Tha dealbh aig duine den t-saoghal, a leigeas leis an dealbh a chuir ris le fiosrachadh nach eil sgrìobhte sa phrògram. A bharrachd air an sin, tha dealbh an t-saoghail air a rèiteachadh gu structarail ann an dòigh a leigeas leinn co-dhiù beagan beachd a bhith againn air a h-uile dad. Eadhon ged a tha e rudeigin cruinn agus deàrrsach san adhar (UFO). Mar as trice, bidh ontologies air an togail airson an adhbhair seo, ach chan eil an leithid de iomlanachd aig ontologies, chan eil iad a’ toirt aire do polysemy de bhun-bheachdan, an buaidh dha chèile, agus chan eil iad fhathast buntainneach ach ann an cuspairean cuibhrichte.
  2. Tha loidsig aig neach a bheir aire don dealbh seo den t-saoghal, ris an can sinn ciall cumanta no ciall cumanta. Tha brìgh aig aithris sam bith agus bheir e aire do eòlas falaichte neo-fhoillsichte. A dh'aindeoin 's gu bheil laghan loidsig ceudan de bhliadhnaichean a dh'aois, chan eil fios aig duine fhathast mar a tha àbhaisteach, neo-matamataigeach, loidsig gnìomhan reusanachaidh. Gu bunaiteach chan eil fios againn ciamar a nì sinn prògramadh eadhon syllogisms àbhaisteach.
  3. Neo-riaghailteachd. Chan eil prògraman neo-riaghailteach. Is dòcha gur e seo an rud as duilghe de na trì eadar-dhealachaidhean. Dè ris an can sinn arbitrarity? An comas giùlan ùr a thogail a tha eadar-dhealaichte bho na rinn sinn san aon suidheachadh roimhe, no giùlan a thogail ann an suidheachadh ùr, nach do thachair riamh roimhe. Is e sin, gu dearbh, is e seo prògram giùlain ùr a chruthachadh air iteig gun deuchainn agus mearachd, a ’toirt aire do shuidheachaidhean ùra, a’ toirt a-steach suidheachaidhean a-staigh.


Tha neo-riaghailteachd fhathast na raon gun sgrùdadh airson luchd-rannsachaidh. Chan e fuasgladh a th’ ann an algoirmean ginteil as urrainn prògram giùlain ùr a chruthachadh airson riochdairean tuigseach, leis gu bheil iad a’ gineadh fuasgladh chan ann gu loidsigeach, ach tro “mùthaidhean” agus lorgar am fuasgladh “air thuaiream” nuair a thathar a’ taghadh nam mùthaidhean sin, is e sin, tro dheuchainn. agus mearachd. Bidh neach a 'lorg fuasgladh sa bhad, ga thogail gu loidsigeach. Faodaidh an neach eadhon mìneachadh carson a chaidh a leithid de cho-dhùnadh a thaghadh. Chan eil argamaidean aig algorithm ginteil.

Tha fios mar as àirde a tha beathach air an àradh mean-fhàs, is ann as neo-riaghailteach a bhios a ghiùlan. Agus is ann ann an daoine a tha an neo-riaghailteachd as motha air a nochdadh, leis gu bheil comas aig neach aire a thoirt chan ann a-mhàin suidheachaidhean taobh a-muigh agus na sgilean ionnsaichte aige, ach cuideachd suidheachaidhean falaichte - adhbharan pearsanta, fiosrachadh a chaidh aithris roimhe, toraidhean gnìomhan ann an suidheachaidhean coltach ris. . Tha seo gu mòr a’ meudachadh caochlaideachd giùlan daonna, agus, nam bheachd-sa, tha mothachadh an sàs ann an seo. Ach barrachd air sin nas fhaide air adhart.

Mothachadh agus saor-thoileachas

Dè a tha aig mothachadh ri dhèanamh leis? Ann an eòlas-inntinn giùlain, tha fios gu bheil sinn a 'dèanamh gnìomhan àbhaisteach gu fèin-ghluasadach, gu meacanaigeach, is e sin, gun a bhith a' gabhail pàirt ann an mothachadh. Is e fìrinn iongantach a tha seo, a tha a’ ciallachadh gu bheil mothachadh an sàs ann an cruthachadh giùlan ùr agus gu bheil e co-cheangailte ri giùlan treòrachaidh. Tha seo cuideachd a 'ciallachadh gu bheil mothachadh air a ghnìomhachadh dìreach nuair a dh' fheumar am pàtran giùlan àbhaisteach atharrachadh, mar eisimpleir, gus freagairt a thoirt do iarrtasan ùra a 'toirt aire do chothroman ùra. Cuideachd, chomharraich cuid de luchd-saidheans, mar eisimpleir, Dawkins no Metzinger, gu bheil mothachadh ann an dòigh air choreigin ceangailte ri làthaireachd fèin-ìomhaigh ann an daoine, gu bheil modail an t-saoghail a 'toirt a-steach modail a' chuspair fhèin. Cò ris a bu chòir an siostam fhèin a bhith coltach nam biodh an leithid de neo-riaghailteachd ann? Dè an structar a bu chòir a bhith aice gus an urrainn dhi giùlan ùr a thogail gus an duilgheadas fhuasgladh ann an co-rèir ri suidheachaidhean ùra.

Gus seo a dhèanamh, feumaidh sinn an toiseach cuimhneachadh agus soilleireachadh air cuid de fhìrinnean aithnichte. Tha a h-uile beathach aig a bheil siostam nearbhach, ann an dòigh air choreigin, a’ toirt a-steach modail den àrainneachd, ceangailte ris an arsenal de na gnìomhan a dh’ fhaodadh a bhith aca ann. Is e sin, chan e a-mhàin modail den àrainneachd a tha seo, mar a bhios cuid de luchd-saidheans a’ sgrìobhadh, ach modail de ghiùlan a dh’ fhaodadh a bhith ann an suidheachadh sònraichte. Agus aig an aon àm, tha e na mhodail airson ro-innse atharrachaidhean san àrainneachd mar fhreagairt do ghnìomhan sam bith den bheathach. Chan eil seo an-còmhnaidh air a thoirt fa-near le luchd-saidheans inntinneil, ged a tha seo air a chomharrachadh gu dìreach le neurons sgàthan fosgailte anns an cortex premotor, a bharrachd air sgrùdaidhean air gnìomhachd neurons ann am macaques, mar fhreagairt don bheachd air banana anns nach e a-mhàin an tha raointean banana anns an cortex lèirsinneach agus temporal air an cur an gnìomh, ach cuideachd na làmhan anns an cortex somatosensory, leis gu bheil am modal banana ceangailte gu dìreach ris an làmh, leis nach eil ùidh aig a ’mhuncaidh ach anns na measan as urrainn dha a thogail agus ithe . Tha sinn dìreach a’ dìochuimhneachadh nach do nochd an siostam nearbhach airson beathaichean gus an saoghal a nochdadh. Chan e sophists a th’ annta, tha iad dìreach ag iarraidh ithe, agus mar sin tha am modail aca nas motha na mhodail giùlain agus chan e faileas na h-àrainneachd.

Tha ìre sònraichte de neo-riaghailteachd aig a leithid de mhodail mar-thà, a tha air a chuir an cèill ann an caochlaideachd giùlain ann an suidheachaidhean coltach ris. Is e sin, tha arsenal sònraichte aig beathaichean de ghnìomhan a dh’ fhaodadh iad a dhèanamh a rèir an t-suidheachaidh. Faodaidh iad seo a bhith nam pàtrain sealach nas iom-fhillte (ath-fhilleadh le cumhachan) na bhith a’ toirt freagairt dìreach do thachartasan. Ach fhathast chan e giùlan gu tur saor-thoileach a tha seo, a leigeas leinn beathaichean a thrèanadh, ach chan e daoine.

Agus an seo tha suidheachadh cudromach a dh'fheumas sinn a thoirt fa-near - na suidheachaidhean as aithnichte a choinnicheas sinn, is ann as lugha a bhios an giùlan, leis gu bheil fuasgladh aig an eanchainn. Agus a chaochladh, mar as ùire na suidheachaidhean, is ann as motha de roghainnean airson giùlan a dh’ fhaodadh a bhith ann. Agus tha a’ cheist gu lèir anns an taghadh agus an cothlamadh aca. Bidh beathaichean a 'dèanamh seo le bhith dìreach a' sealltainn an arsenal gu lèir de na gnìomhan a dh'fhaodadh a bhith aca, mar a sheall Skinner anns na deuchainnean aige.

Chan eil seo ri ràdh gu bheil giùlan saor-thoileach gu tur ùr; tha e a’ toirt a-steach pàtrain giùlain a chaidh ionnsachadh roimhe. Is e seo an ath-mheasadh aca, air a thòiseachadh le suidheachaidhean ùra nach eil gu tur a’ tighinn còmhla ris na suidheachaidhean sin far a bheil pàtran deiseil mar-thà. Agus is e seo dìreach an ìre de sgaradh eadar giùlan saor-thoileach agus meacanaigeach.

Modail air thuaiream

Le bhith a 'cruthachadh prògram de ghiùlan saor-thoileach a bheir aire do shuidheachaidhean ùra, bhiodh e comasach "prògram de gach nì" uile-choitcheann a chruthachadh (mar a tha "teòiridh a h-uile càil"), co-dhiù airson raon sònraichte de dhuilgheadasan.

Gus an giùlan a dhèanamh nas neo-riaghailteach agus saor? Sheall na deuchainnean a rinn mi gur e an aon dòigh a-mach dàrna modal a bhith agad a bhios a’ modaladh a ’chiad fhear agus as urrainn atharrachadh, is e sin, a bhith ag obair chan ann leis an àrainneachd mar a’ chiad fhear, ach leis a ’chiad mhodail gus atharrachadh.

Tha a’ chiad mhodail a’ freagairt air suidheachadh na h-àrainneachd. Agus ma tha am pàtran a chuir e an gnìomh a 'tionndadh a-mach gu bhith ùr, canar dàrna modail, a tha air a theagasg gus fuasglaidhean a lorg anns a' chiad mhodail, ag aithneachadh a h-uile roghainn giùlain a dh'fhaodadh a bhith ann an àrainneachd ùr. Leig leam do chuimhneachadh gu bheil barrachd roghainnean giùlain air an cur an gnìomh ann an àrainneachd ùr, agus mar sin is e a’ cheist an taghadh no am measgachadh. Tha seo a’ tachairt oir, eu-coltach ri àrainneachd air a bheil sinn eòlach, mar fhreagairt air suidheachaidhean ùra, chan eil aon phàtran giùlain air a chuir an gnìomh, ach grunnan aig an aon àm.

Gach uair a choinnicheas an eanchainn ri rudeigin ùr, bidh e a 'coileanadh chan e aon, ach dà ghnìomh - aithneachadh an t-suidheachaidh anns a' chiad mhodail agus aithneachadh gnìomhan crìochnaichte no comasach leis an dàrna modail. Agus anns an structar seo tha mòran chothroman coltach ri mothachadh a 'nochdadh.

  1. Tha an structar dà-ghnìomh seo ga dhèanamh comasach aire a thoirt chan ann a-mhàin air factaran bhon taobh a-muigh, ach cuideachd taobh a-staigh - anns an dàrna modail, faodar toraidhean na gnìomh roimhe, adhbharan fad às a’ chuspair, msaa a chuimhneachadh agus aithneachadh.
  2. Faodaidh siostam mar seo giùlan ùr a thogail sa bhad, gun ionnsachadh fada air a thòiseachadh leis an àrainneachd a rèir teòiridh mean-fhàs. Mar eisimpleir, tha comas aig an dàrna modail co-dhùnaidhean a ghluasad bho chuid de na fo-mhodailean den chiad mhodail gu na pàirtean eile aige agus mòran de chomasan eile den metamodel.
  3. Is e feart sònraichte de mhothachadh làthaireachd eòlais mu a ghnìomhachd, no cuimhne fèin-eachdraidh, mar a chithear ann an artaigil (1). Tha a leithid de chomas aig an structar dà-ghnìomh a thathar a’ moladh - faodaidh an dàrna modail dàta a stòradh mu ghnìomhan a’ chiad fhear (chan urrainn do mhodail sam bith dàta a stòradh mu na gnìomhan aige fhèin, oir airson seo feumaidh modalan cunbhalach de na gnìomhan aige a bhith ann, agus chan e an ath-bheachdan na h-àrainneachd).

Ach dè dìreach a tha togail giùlan ùr a’ tachairt ann an structar dà-ghnìomh mothachaidh? Chan eil eanchainn no eadhon modail so-chreidsinneach dheth a tha ri làimh dhuinn. Thòisich sinn a’ feuchainn a-mach frèaman gnìomhair mar prototypes airson na pàtrain a tha nar n-eanchainn. ’S e seata de ghnìomhairean gnìomhair a th’ ann am frèam airson cunntas a thoirt air suidheachadh, agus faodar measgachadh de fhrèaman a chleachdadh airson cunntas a thoirt air giùlan iom-fhillte. Is e frèaman a’ chiad mhodail a th’ anns na frèamaichean airson cunntas a thoirt air suidheachaidhean, is e frèam an dàrna modail le gnìomhairean gnìomhan pearsanta am frèam airson cunntas a thoirt air gnìomhan neach. Còmhla rinn bidh iad gu tric measgaichte, oir tha eadhon aon abairt na mheasgachadh de ghrunn ghnìomhan aithneachaidh agus gnìomh (cainnt achd). Agus is e fìor thogail abairtean cainnte fada an eisimpleir as fheàrr de ghiùlan saor-thoileach.

Nuair a dh'aithnicheas a 'chiad mhodail den t-siostam pàtran ùr air nach eil freagairt prògramaichte aige, canar an dàrna modail ris. Bidh an dàrna modail a 'cruinneachadh frèamaichean gnìomhach a' chiad fhear agus a 'lorg slighe nas giorra anns a' ghraf de fhrèaman ceangailte, a bhios san dòigh as fheàrr "a 'dùnadh" pàtrain an t-suidheachaidh ùir le measgachadh de fhrèaman. Is e gnìomhachd caran toinnte a tha seo agus chan eil sinn fhathast air toradh a choileanadh a tha ag ràdh gur e “prògram de gach nì” a th’ ann, ach tha a’ chiad shoirbheachaidhean brosnachail.

Bidh sgrùdaidhean deuchainneach air mothachadh le bhith a’ modaladh agus a’ dèanamh coimeas eadar fuasglaidhean bathar-bog le dàta saidhgeòlach a’ toirt seachad stuth inntinneach airson tuilleadh rannsachaidh agus ga dhèanamh comasach deuchainn a dhèanamh air cuid de bharailean nach deach an deuchainn gu dona ann an deuchainnean air daoine. Faodaidh iad sin a bhith air an ainmeachadh mar dheuchainnean modaladh. Agus chan e seo ach a’ chiad toradh anns an t-slighe sgrùdaidh seo.

Clàr-leabhraichean

1. Structar dà-ghnìomh de mhothachadh ath-bheothachail, A. Khomyakov, Academia.edu, 2019.

Source: www.habr.com

Cuir beachd ann