Unsa ang kalainan tali sa usa ka tawo ug usa ka programa?
Ang mga neural network, nga karon naglangkob sa halos tibuok nga natad sa artificial intelligence, mahimong magkonsiderar sa daghang mga butang sa paghimo og desisyon kay sa usa ka tawo, pagbuhat niini nga mas paspas ug, sa kadaghanan nga mga kaso, mas tukma. Apan ang mga programa naglihok lamang kung kini giprograma o gibansay. Mahimong komplikado kaayo sila, tagda ang daghang mga hinungdan ug molihok sa us aka us aka paagi. Apan dili gihapon sila makapuli sa usa ka tawo sa paghimog desisyon. Sa unsang paagi lahi ang usa ka tawo sa maong programa? Adunay 3 nga hinungdanon nga mga kalainan nga matikdan dinhi, diin ang tanan nagsunod:
- Ang usa ka tawo adunay usa ka hulagway sa kalibutan, nga nagtugot kaniya sa pagdugang sa hulagway uban sa impormasyon nga wala masulat sa programa. Dugang pa, ang hulagway sa kalibutan structurally gihan-ay sa paagi nga kini nagtugot kanato nga adunay labing menos pipila ka ideya mahitungod sa tanan. Bisan kung kini usa ka butang nga lingin ug nagdan-ag sa langit (UFO). Kasagaran, ang mga ontologies gitukod alang niini nga katuyoan, apan ang mga ontologies walay ingon nga pagkakompleto, wala magtagad sa polysemy sa mga konsepto, sa ilang impluwensya sa usag usa, ug magamit lamang sa limitado nga mga hilisgutan.
- Ang usa ka tawo adunay lohika nga nagkonsiderar niini nga hulagway sa kalibutan, nga gitawag nato nga sentido komon o sentido komon. Ang bisan unsang pahayag adunay kahulogan ug gikonsiderar ang tinago nga wala gipahayag nga kahibalo. Bisan pa sa kamatuoran nga ang mga balaod sa lohika kay gatusan ka tuig na ang panuigon, walay usa nga nahibal-an kung unsa ka ordinaryo, dili matematika, lohika sa pagpangatarungan ang naglihok. Wala kami kahibalo kung giunsa ang pagprograma bisan ang ordinaryo nga syllogism.
- Arbitraryo. Ang mga programa dili basta-basta. Kini tingali ang labing lisud sa tanan nga tulo nga mga kalainan. Unsa ang atong gitawag nga arbitrariness? Ang katakus sa paghimo og bag-ong pamatasan nga lahi sa kung unsa ang among gihimo sa parehas nga mga kahimtang kaniadto, o ang paghimo og pamatasan sa bag-o, wala pa makit-an sa wala pa ang mga kahimtang. Sa ato pa, sa esensya, kini ang paghimo sa usa ka bag-ong programa sa pamatasan nga wala’y pagsulay ug sayup, nga gikonsiderar ang bag-o, lakip ang internal, mga kahimtang.
Ang pagkaarbitraryo usa gihapon ka wala pa matukib nga natad alang sa mga tigdukiduki. Ang mga genetic algorithm nga makahimo og usa ka bag-ong programa sa pamatasan alang sa mga intelihente nga ahente dili solusyon, tungod kay nagmugna sila usa ka solusyon nga dili lohikal, apan pinaagi sa "mutation" ug ang solusyon makit-an nga "random" sa panahon sa pagpili niini nga mga mutasyon, nga mao, pinaagi sa pagsulay. ug sayop. Ang usa ka tawo mangita dayon og solusyon, nga magtukod niini sa lohikal nga paagi. Mahimo pa gani nga ipasabut sa tawo kung nganong gipili ang ingon nga desisyon. Ang usa ka genetic algorithm walay mga argumento.
Nahibal-an nga kung mas taas ang usa ka hayop sa hagdan sa ebolusyon, mahimo’g labi ka arbitraryo ang pamatasan niini. Ug kini mao ang sa mga tawo nga ang labing dako nga arbitrariness gipakita, tungod kay ang usa ka tawo adunay abilidad sa paghunahuna dili lamang sa gawas nga mga kahimtang ug sa iyang nakat-unan nga mga kahanas, apan usab sa tinago nga mga kahimtang - personal nga mga motibo, kaniadto gitaho nga impormasyon, ang mga resulta sa mga aksyon sa susama nga mga kahimtang. . Kini labi nga nagdugang sa pagkausab sa pamatasan sa tawo, ug, sa akong opinyon, ang panimuot nalangkit niini. Apan labaw pa niana sa ulahi.
Ang panimuot ug boluntaryo
Unsa may kalabotan niini sa panimuot? Sa sikolohiya sa pamatasan, nahibal-an nga awtomatiko namon nga gihimo ang naandan nga mga aksyon, mekanikal, nga mao, nga wala’y pag-apil sa panimuot. Kini usa ka talagsaon nga kamatuoran, nga nagpasabot nga ang panimuot nalangkit sa pagmugna sa bag-ong kinaiya ug nalangkit sa orienting nga kinaiya. Nagpasabot usab kini nga ang panimuot gi-aktibo sa tukma kung gikinahanglan nga usbon ang naandan nga sumbanan sa pamatasan, pananglitan, pagtubag sa mga bag-ong hangyo nga gikonsiderar ang bag-ong mga oportunidad. Usab, ang pipila ka mga siyentipiko, pananglitan, si Dawkins o Metzinger, nagpunting nga ang panimuot sa usa ka paagi konektado sa presensya sa usa ka kaugalingon nga imahe sa mga tawo, nga ang modelo sa kalibutan naglakip sa modelo sa hilisgutan mismo. Unsa man unya ang hitsura sa sistema mismo kung kini adunay ingon nga pagkaarbitraryo? Unsang estraktura ang angay niyang mabatonan aron makatukod siya og bag-ong kinaiya aron masulbad ang problema subay sa bag-ong mga kahimtang.
Aron mahimo kini, kinahanglan una natong hinumdoman ug ipatin-aw ang pipila ka nahibal-an nga mga kamatuoran. Ang tanan nga mga mananap nga adunay usa ka sistema sa nerbiyos, sa usa ka paagi o sa lain, adunay sulod niini nga usa ka modelo sa kalikopan, nga gisagol sa arsenal sa ilang posible nga mga aksyon niini. Sa ato pa, kini dili lamang usa ka modelo sa kalikopan, ingon sa gisulat sa pipila ka mga siyentista, apan usa ka modelo sa posible nga pamatasan sa usa ka kahimtang. Ug sa samang higayon, kini usa ka modelo alang sa pagtagna sa mga pagbag-o sa palibot agig tubag sa bisan unsang mga aksyon sa hayop. Dili kini kanunay nga gikonsiderar sa mga siyentipiko sa panghunahuna, bisan kung kini direkta nga gipakita sa bukas nga mga neuron sa salamin sa premotor cortex, ingon man mga pagtuon sa pagpaaktibo sa mga neuron sa macaques, agig tubag sa panan-aw sa usa ka saging diin dili lamang ang Ang mga lugar sa saging sa visual ug temporal cortex gi-activate, apan ang mga kamot usab sa somatosensory cortex, tungod kay ang modelo sa saging direkta nga konektado sa kamot, tungod kay ang unggoy interesado lamang sa prutas nga kini makapunit niini ug makakaon niini. . Nalimtan lang nato nga ang sistema sa nerbiyos wala magpakita sa mga mananap nga magpakita sa kalibotan. Dili sila mga sophist, gusto lang nila mokaon, mao nga ang ilang modelo mas modelo sa pamatasan ug dili salamin sa palibot.
Ang ingon nga modelo adunay usa ka piho nga lebel sa pagkaarbitraryo, nga gipahayag sa pagkalainlain sa pamatasan sa parehas nga mga kahimtang. Kana mao, ang mga hayop adunay usa ka piho nga arsenal sa posible nga mga aksyon nga mahimo nila nga mahimo depende sa sitwasyon. Mahimong mas komplikado kini nga temporaryo nga mga pattern (conditioned reflex) kaysa direkta nga reaksyon sa mga panghitabo. Apan sa gihapon kini dili bug-os nga boluntaryo nga kinaiya, nga nagtugot kanato sa pagbansay sa mga mananap, apan dili sa mga tawo.
Ug dinhi adunay usa ka importante nga sirkumstansya nga kinahanglan natong tagdon - ang mas ilado nga mga kahimtang nga nasugatan, ang dili kaayo kausaban sa kinaiya, tungod kay ang utok adunay solusyon. Ug vice versa, ang mas bag-o sa mga kahimtang, ang dugang nga mga kapilian alang sa posible nga kinaiya. Ug ang tibuuk nga pangutana naa sa ilang pagpili ug kombinasyon. Gihimo kini sa mga mananap pinaagi lamang sa pagpakita sa tibuok arsenal sa ilang posibleng mga aksyon, sama sa gipakita ni Skinner sa iyang mga eksperimento.
Dili kini ang pag-ingon nga ang boluntaryong pamatasan bug-os nga bag-o; kini naglangkob sa kaniadto nakat-unan nga mga sumbanan sa pamatasan. Kini ang ilang pag-recombination, nga gisugdan sa bag-ong mga kahimtang nga dili hingpit nga motakdo sa mga kahimtang nga adunay andam na nga sumbanan. Ug kini mao ang tukma nga punto sa panagbulag tali sa boluntaryo ug mekanikal nga kinaiya.
Pag-modelo nga random
Ang paghimo og usa ka programa sa boluntaryong pamatasan nga mahimong magkonsiderar sa bag-ong mga kahimtang magpaposible sa paghimo sa usa ka unibersal nga "programa sa tanan" (pinaagi sa analohiya sa "teorya sa tanan"), labing menos alang sa usa ka piho nga domain sa mga problema.
Aron mahimo ang ilang pamatasan nga mas arbitraryo ug gawasnon? Gipakita sa mga eksperimento nga akong gihimo nga ang bugtong paagi aron makagawas mao ang pagbaton sa usa ka ikaduha nga modelo nga nagmodelo sa una ug makabag-o niini, nga mao, molihok dili sa palibot sama sa una, apan sa una nga modelo aron mabag-o kini.
Ang una nga modelo nagtubag sa mga kahimtang sa kalikopan. Ug kung ang sumbanan nga gipalihok niini nahimo nga bag-o, ang usa ka ikaduha nga modelo gitawag, nga gitudlo sa pagpangita sa mga solusyon sa una nga modelo, pag-ila sa tanan nga posible nga mga kapilian sa pamatasan sa usa ka bag-ong palibot. Tugoti ako nga pahinumdoman ka nga sa usa ka bag-ong palibot daghang mga kapilian sa pamatasan ang gi-aktibo, mao nga ang pangutana mao ang ilang pagpili o kombinasyon. Nahitabo kini tungod kay, dili sama sa usa ka pamilyar nga palibot, agig tubag sa bag-ong mga kahimtang, wala’y usa ka sumbanan sa pamatasan ang gi-aktibo, apan daghan sa usa ka higayon.
Sa matag higayon nga ang utok makasugat og bag-o nga butang, kini nagdala sa dili usa, apan duha ka mga buhat - pag-ila sa sitwasyon sa unang modelo ug pag-ila sa nahuman na o posible nga mga aksyon sa ikaduha nga modelo. Ug sa kini nga istruktura daghang mga posibilidad nga susama sa panimuot makita.
- Kining duha ka buhat nga estraktura nagpaposible sa pagkonsiderar dili lamang sa gawas, kondili usab sa sulod nga mga hinungdan - sa ikaduha nga modelo, ang mga resulta sa miaging aksyon, ang layo nga mga motibo sa hilisgutan, ug uban pa mahimong mahinumduman ug mailhan.
- Ang ingon nga sistema makatukod dayon og bag-ong pamatasan, nga wala’y dugay nga pagkat-on nga gisugdan sa palibot sumala sa teorya sa ebolusyon. Pananglitan, ang ikaduha nga modelo adunay katakus sa pagbalhin sa mga desisyon gikan sa pipila nga mga submodel sa una nga modelo ngadto sa ubang mga bahin niini ug daghang uban pang mga kapabilidad sa metamodel.
- Ang usa ka lahi nga kabtangan sa panimuot mao ang presensya sa kahibalo bahin sa aksyon niini, o autobiographical nga panumduman, ingon sa gipakita sa artikulo (1). Ang gisugyot nga duha ka aksyon nga istruktura adunay ingon nga abilidad - ang ikaduha nga modelo mahimo’g magtipig data bahin sa mga aksyon sa una (walay modelo nga makatipig sa datos bahin sa kaugalingon nga mga aksyon, tungod kay alang niini kinahanglan nga adunay sulud nga makanunayon nga mga modelo sa mga aksyon niini, ug dili ang reaksyon sa palibot).
Apan sa unsa nga paagi nga ang pagtukod sa bag-ong kinaiya mahitabo sa duha ka buhat nga istruktura sa panimuot? Wala kami'y utok o bisan usa ka katuohan nga modelo niini nga among magamit. Nagsugod kami sa pag-eksperimento sa mga frame sa verb isip mga prototype alang sa mga sumbanan nga anaa sa among utok. Ang frame kay usa ka hugpong sa verb actants aron ihulagway ang usa ka sitwasyon, ug ang kombinasyon sa mga frame mahimong gamiton sa paghulagway sa komplikadong kinaiya. Ang mga bayanan alang sa paghulagway sa mga sitwasyon mao ang mga bayanan sa unang modelo, ang bayanan alang sa paghulagway sa mga aksyon sa usa niini mao ang bayanan sa ikaduhang modelo nga adunay mga berbo sa personal nga mga aksyon. Sa ato kanunay silang gisagol, tungod kay bisan ang usa ka sentence usa ka panagsagol sa daghang mga buhat sa pag-ila ug aksyon (speech act). Ug ang paghimo sa taas nga mga ekspresyon sa pagsulti mao ang labing kaayo nga panig-ingnan sa boluntaryo nga pamatasan.
Kung ang una nga modelo sa sistema makaila sa usa ka bag-ong sumbanan diin wala kini giprograma nga tubag, kini nagtawag sa ikaduha nga modelo. Ang ikaduha nga modelo nagkolekta sa gi-aktibo nga mga bayanan sa una ug nangita alang sa usa ka mas mubo nga agianan sa graph sa konektado nga mga bayanan, nga sa pinakamaayong paagi "pagsira" sa mga sumbanan sa bag-ong sitwasyon nga adunay kombinasyon sa mga frame. Kini usa ka medyo komplikado nga operasyon ug wala pa kita nakab-ot ang usa ka resulta nga nag-angkon nga usa ka "programa sa tanan", apan ang mga una nga kalampusan makapadasig.
Ang mga eksperimento nga pagtuon sa panimuot pinaagi sa pagmodelo ug pagtandi sa mga solusyon sa software nga adunay sikolohikal nga datos naghatag og makapaikag nga materyal alang sa dugang nga panukiduki ug nagpaposible sa pagsulay sa pipila ka mga pangagpas nga dili maayo nga gisulayan sa mga eksperimento sa mga tawo. Kini matawag nga simulation experiments. Ug kini mao lamang ang unang resulta sa niini nga direksyon sa panukiduki.
Bibliograpiya
1. .
Source: www.habr.com