 Àwọn nǹkan wo ló mú kí ìwádìí nípa ìmọ-ìjìnlẹ ọrọ-ìmọ-ìjìnlẹ dín kù ní àwọn ọdún 1970?Context:Tìkíní AI ìgbà òtútù 19741980 Ní àwọn ọdún 1970, AI wà lábẹ àríwísí àti ìfàsẹyìn nípa ìnáwó. Àwọn tó ń ṣèwádìí nípa ọgbọn orí ẹdá ò mọ bí ìṣòro tí wọn ń kojú ṣe le tó. Ìrètí tí wọn ní yìí mú kí wọn nírètí tó ga gan-an, nígbà tí wọn ò sì rí àwọn àbájáde tí wọn ṣèlérí, owó tí wọn ń ná láti fi ṣètìlẹyìn fún ẹrọ ìgbàlódé kò sí mọ. Lákòókò kannáà, ẹka ìjùmọsọrọ tàbí ẹka ìjùmọsọrọ ni wọn pa tì pátápátá fún ọdún mẹwàá látàrí àríwísí tí Marvin Minsky ṣe nípa perceptrons. Pelu awọn iṣoro pẹlu ero ti gbogbo eniyan nipa AI ni awọn ọdun 70s, awọn imọran tuntun ni a ṣawari ni siseto ero, ero ti o ni imọran ati ọpọlọpọ awọn agbegbe miiran.  Àwọn Ìṣòro Ní ìbẹrẹ àwọn ọdún àádọrin, àwọn ohun tí ètò AI lè ṣe kò tó nǹkan. Kódà, àwọn tó ta yọ jù lọ nínú wọn ò lè ṣe ju kí wọn ṣe àwọn àtúnṣe tí kò tó nǹkan sí àwọn ìṣòro tí wọn ní kí wọn yanjú; gbogbo ètò náà ló jẹ ohun ìṣeré lọnà kan. Àwọn olùṣèwádìí nínú ẹrọ AI ti bẹrẹ sí bá àwọn ààlà pàtàkì mélòó kan pàdé tí wọn kò lè borí ní àwọn ọdún 1970. Bó tilẹ jẹ pé àwọn kan lára àwọn ààlà wọnyí ni wọn borí ní àwọn ẹwádún tó tẹ lé e, síbẹ àwọn mìíràn ṣì ń dí iṣẹ ìwàásù náà lọwọ títí dòní olónìí.  Agbára ẹrọ kọǹpútà tó mọ níwọn: Kò fi bẹẹ sí ibi tí wọn ti lè máa rántí nǹkan tàbí kí wọn máa lò ó kí wọn tó lè ṣe ohunkóhun tó wúlò. Bí àpẹẹrẹ, Ross Quillian ṣàṣeyọrí nínú iṣẹ tó ṣe lórí èdè àbínibí nígbà tó ní ọrọ tó jẹ ogún ọrọ péré, nítorí pé kìkì ìyẹn ló lè gbà á lọkàn. Ọdún 1976 ni Hans Moravec sọ pé àwọn kọǹpútà ò tíì lágbára tó láti fi hàn pé àwọn ní làákàyè. Ó dá àpèjúwe kan: ọgbọn orí ẹdá nílò agbára kọǹpútà bíi ti ọkọ òfuurufú tó nílò agbára ẹṣin. Ní ìsàlẹ àlàfo kan, kò ṣeé ṣe, ṣùgbọn, bí agbára bá ṣe ń pọ sí i, ní àsẹyìnwá àsẹyìnbọ ó lè di ohun tó rọrùn. Nípa ìran kọǹpútà, Moravec ṣírò wípé wíwà tí ó bá àyè àti agbára ìwárí ìgbésẹ tí ẹrọ ojú ènìyàn ní ní àkókò gidi yóò gba kọǹpútà tí ó ní ìtumọ gbogbogbo tí ó lè ṣe iṣẹ 109 ní ìṣẹjú àáyá kan 1000 MIPS. Lati ọdun 2011, awọn ohun elo wiwo kọnputa ti o wulo nilo 10,000 si 1,000,000 MIPS. Ní ìfiwéra, kọǹpútà alágbèéká tó yára jùlọ ní ọdún 1976, Cray-1 tí wọn tà ní àádọta mílíọnù dọlà sí àádọta mílíọnù dọlà, kò lè ṣe ju 80 sí 130 MIPS lọ, àti kọǹpútà alágbèéká tí ó wọpọ ní àkókò náà kò lè ṣe ju 1 MIPS lọ. Ìmúlẹsílẹ àti ìbúgbàù àpapọ. Ní ọdún 1972 Richard Karp tí ó kọ lórí Stephen Cooks 1971 theorem fi hàn wípé ọpọlọpọ àwọn ìṣòro ló wà tí ó ṣeé ṣe kí a lè yanjú wọn ní àkókò tí ó pọ sí i níbi tí àwọn ìsọfúnni wọnyẹn ti pọ sí. Wíwá ojútùú tó dára jù lọ sí àwọn ìṣòro wọnyí máa ń gba àkókò tó pọ gan-an nínú kọǹpútà àyàfi tí àwọn ìṣòro náà bá jẹ èyí tí kò tó nǹkan. Èyí túmọ sí wípé ọpọlọpọ nínú àwọn ọrọ-ayédèrú tí AI ń lò kò ní lè di àwọn ètò tí ó wúlò. Ìmòye àti ìrònú tó bọgbọn mu. Ọpọlọpọ àwọn ohun èlò tó ṣe kókó nínú ìmọ-ìjìnlẹ alágbèéká bí ìran tàbí èdè àbínibí nílò ọpọlọpọ ìsọfúnni nípa ayé: ètò náà nílò láti ní èrò kan nípa ohun tí ó lè máa wò tàbí ohun tí ó ń sọ. Èyí gba pé kí ètò náà mọ èyí tó pọ jù lọ lára àwọn ohun kan náà nípa ayé tí ọmọdé kan mọ. Kò pẹ táwọn olùṣèwádìí fi rí i pé ọpọ rẹpẹtẹ ìsọfúnni ni wọn rí. Kò sẹni tó mọ bí wọn ṣe ń kó ìsọfúnni tó pọ tó bẹẹ jọ ní ọdún 1970. Àríyànjiyàn Moravec: Fífi àwọn gbólóhùn kan hàn bí òótọ àti yíyanjú àwọn ìṣòro nípa ìṣirò kò ṣòro rárá fún àwọn kọǹpútà, àmọ iṣẹ tó dà bíi pé ó rọrùn láti ṣe, irú bíi dídájú mọ èèyàn kan tàbí lílọ gba inú yàrá kan kọjá láìsí pé ẹnì kan kọ lù ú, ṣòro gan-an. Èyí jẹ ká mọ ìdí tí ìwádìí nípa ìran àti ẹrọ ìgbàlódé kò fi fi bẹẹ tẹ síwájú tó bẹẹ ní àárín àwọn ọdún 1970. Ìṣòro àwòdì àti ìdánilẹkọọ. Àwọn olùṣèwádìí AI bí John McCarthy tí wọn lo òye ṣàwárí wípé wọn kò lè ṣe àfihàn àwọn àlàyé tí ó wọpọ tí ó ní ètò tàbí àlàyé tí ó jẹ àfojúsùn láìṣe àtúnṣe sí ọnà tí òye fúnra rẹ wà. Wọn ṣe àwọn èrò orí tuntun bí àwọn èrò orí tí kì í jẹ ẹyà kan àti àwọn èrò orí tí ó jẹ ẹyà kan láti gbìyànjú láti yanjú àwọn ìṣòro náà. Ìparí ìtìlẹyìn Ẹ tún wo: AI winter Awọn ile-iṣẹ ti o ṣe inawo iwadii AI bii ijọba Gẹẹsi, DARPA ati NRC di ibanujẹ pẹlu aini ilọsiwaju ati nikẹhin ge fere gbogbo owo fun iwadii ti ko ni itọsọna si AI. Ọdún 1966 ni wọn ti bẹrẹ sí í ṣe bẹẹ, nígbà tí wọn gbé ìròyìn kan jáde láti àjọ ALPAC, èyí tó ń ṣàríwísí ìsapá tí wọn ń ṣe láti túmọ èdè lọnà tí kò fi bẹẹ rọrùn. Lẹyìn tí NRC ti ná ogún mílíọnù dọlà, wọn fòpin sí gbogbo ìrànlọwọ náà. Ní ọdún 1973, ìròyìn Lighthill lórí ipò ìwádìí AI ní England bẹrẹ sí ṣe àríwísí ìkùnà pátápátá ti AI láti ṣe àṣeyọrí àwọn ìlépa ńláńlá rẹ tí ó sì yọrí sí ìpalára ìwádìí AI ní orílẹ-èdè náà. Ìròyìn náà sọ ní pàtó pé ìṣòro ìbúgbàù àpapọ jẹ ìdí kan fún àwọn àṣìṣe AI. Inú DARPA kò dùn sí àwọn olùṣèwádìí tó ń ṣiṣẹ lórí ètò Ìwádìí Òye Ọrọ ní CMU, wọn sì fagídí owó mílíọnù mẹta dọlà tí wọn ń fún wọn lọdọọdún. Nígbà tó fi máa di ọdún 1974, ó ti ṣòro láti rí owó tí wọn á fi ṣètìlẹyìn fún àwọn iṣẹ ìmúninilára.  Hans Moravec sọ pé àwọn ọrẹ òun tí wọn ń sọ àsọtẹlẹ tí kò bọgbọn mu ló fa ìṣòro náà. Ọpọ àwọn tó ń ṣèwádìí ló ti kó sínú ìdẹkùn àbùmọ tó ń pọ sí i. Àmọ, ọràn mìíràn tún wà: látìgbà tí wọn ti ṣe àtúnṣe sí òfin Mansfield ní ọdún 1969, DARPA ti wà lábẹ ìfúnpá tó ń pọ sí i láti ṣètìlẹyìn fún ìwádìí tààrà tó dá lórí iṣẹ tí wọn ń ṣe, dípò ìwádìí tí wọn ò darí. Owó tí wọn ń ná fún ìwádìí tí wọn ń ṣe láìsí ìkọsílẹ, èyí tí wọn ṣe ní àwọn ọdún 1960 kò ní wá látọdọ DARPA. Dípò ìyẹn, ńṣe ni wọn ń ná owó náà sórí àwọn iṣẹ kan pàtó tí wọn ń lépa, irú bí àwọn ọkọ ogun tó ń dá wà àti àwọn ètò tó ń darí ogun.  Àwọn àríwísí láti gbogbo àdúgbò Ẹ tún wo: Ẹkọ nípa ìmọ-ọpọlọ Àwọn onímọ ọgbọn orí bíi mélòó kan tako àwọn ohun tí àwọn olùṣèwádìí nínú ẹrọ ìgbàlódé sọ. Ọkan lára àwọn tó kọkọ ṣe bẹẹ ni John Lucas, ẹni tó sọ pé èròǹgbà Gödel nípa àìpé fi hàn pé ètò kan bíi ètò kọǹpútà kò lè rí òtítọ àwọn ọrọ kan, nígbà tí ènìyàn lè rí i. Hubert Dreyfus fi àwọn ìlérí tí a kò mú ṣẹ ní àwọn ọdún 1960 ṣe yẹyẹ, ó sì bẹrẹ sí ṣe àríwísí àwọn àbá nípa AI, ní wípé ìrònú ènìyàn ní tòótọ ní ìṣiṣẹ àmì díẹ nínú àti ọpọlọpọ ìmọ-ọnà tí ó wà nínú ara, tí ó jẹ ti ẹdá, tí kò mọọmọ. Àríyànjiyàn Ilé Ṣáínà ti John Searle, tí wọn fi hàn ní 1980, gbìyànjú láti fi hàn pé ètò kan kò lè lóye àwọn àmì tí ó ń lò ìwà tí a pè ní ìmọlára. Searle sọ pé, bí àwọn àmì náà kò bá ní ìtumọ kankan fún ẹrọ náà, a ò lè sọ pé ẹrọ náà ń ronú.  Àwọn olùṣèwádìí nínú ẹrọ AI kò ka àwọn àríwísí wọnyí sí pàtàkì, nítorí pé ó dà bíi pé wọn ò bá ọràn náà mu. Àwọn ìṣòro bí àìlè yanjú ìṣòro àti ìmọ tó ṣeé gbára lé dà bí èyí tó wà ní kánjúkánjú tó sì jẹ ọràn ńlá. Kò tíì ṣe kedere pé ìyàtọ wo ló wà nínú bí wọn ṣe mọ ọn ṣe é ṣe tàbí ìmọọmọ ṣe é ṣe nínú ohun tí kọǹpútà fi ń ṣiṣẹ. Minsky sọ nípa Dreyfus àti Searle pé: Wọn ṣàṣìṣe, ó sì yẹ ká gbójú fò wọn dá. Dreyfus, tí ó ń kọni ní MIT, ni wọn fi ẹkúnrẹrẹ: nígbà tó yá ó sọ pé àwọn olùṣèwádìí AI kò dámọràn láti jẹun ọsán pẹlú mi. Joseph Weizenbaum, tó kọ ìwé ELIZA, rò pé bí àwọn ẹlẹgbẹ òun ṣe hùwà sí Dreyfus kò bójú mu rárá, ó sì dà bí ọmọdé. Bó tilẹ jẹ pé ọgbẹni Dreyfus kì í fọrọ sábẹ ahọn sọ rárá, síbẹ ó fi tinútinú jẹ kó ṣe kedere pé kì í ṣe ọnà tí wọn gbà ń hùwà sí ẹdá ènìyàn ni ọnà tí wọn gbà ń hùwà sí wọn.  Weizenbaum bẹrẹ sí ní àwọn iyèméjì nípa AI nígbà tí Kenneth Colby kọ àtòkọọ orí kọǹpútà tí ó lè ṣe ìjùmọsọrọ oníṣègùn ọpọlọ tí ó dá lórí ELIZA. Inú Weizenbaum kò dùn rárá pé Colby ka ètò tí kò ní èrò inú yìí sí ohun èlò tó wúlò gan-an fún ìtọjú. Àríyànjiyàn kan bẹrẹ, nígbà tí Colby kò fún Weizenbaum ní ọlá fún ipa tó kó nínú ètò náà, ìyẹn ò sì yanjú ìṣòro náà. Ní ọdún 1976, Weizenbaum tẹ ìwé Computer Power and Human Reason jáde, èyí tí ó sọ wípé lílo ìmọ-ìjìnlẹ òmùgọ ní agbára láti sọ ìwàláàyè ènìyàn di aláìníláárí.  Àwọn èròǹgbà àti ìkọlù sí ìsopọ A perceptron ni a fọọmu ti iṣan nẹtiwọki ṣe ni 1958 nipa Frank Rosenblatt, ti o ti a ti a schoolmate ti Marvin Minsky ni Bronx High School of Science. Bíi tàwọn olùṣèwádìí AI yòókù, ó nírètí nípa agbára wọn, ó sì sọ pé perceptron lè di ẹni tó lè kọ nǹkan, tó lè ṣe ìpinnu, tó sì lè túmọ èdè. Àtòjọ ìwádìí tí ó wà nídìí àwòkọ yìí ni wọn ṣe ní gbogbo ọdún 1960 ṣùgbọn wọn dáwọ dúró nígbà tí Minsky àti Papert tẹ ìwé Perceptrons jáde ní 1969. Ó fi hàn pé àwọn ààlà wà nínú ohun tí àwọn perceptrons lè ṣe àti pé àwọn àsọtẹlẹ tí Frank Rosenblatt ṣe ti pọ jù. Àbájáde ìwé náà burú jáì: kò sí ìwádìí kankan tí wọn ṣe nípa ẹkọ nípa ìsopọ láàárín ẹdá fún ọdún mẹwàá gbáko. Níkẹyìn, ìran tuntun àwọn olùṣèwádìí yóò mú kí ẹka yìí padà wà láàyè, lẹyìn náà yóò wá di apá pàtàkì tó sì wúlò nínú ìmọ ọgbọn orí. Rosenblatt kò ní rí èyí, nítorí pé ó kú nínú jàǹbá ọkọ ojú omi láìpẹ lẹyìn tí ìwé náà jáde.  Ọrọ tó bọgbọn mu àti ọrọ ìṣàpẹẹrẹ: àwọn òmùgọ Ọrọ-ọrọ lódìlódì ni John McCarthy fi sínú ìwádìí AI ní ọdún 1959, nínú àbá Advice Taker rẹ. Ní ọdún 1963, J. Alan Robinson ti ṣàwárí ọnà kan tí ó rọrùn láti fi ìyínkókó ṣe lórí kọǹpútà, ìyẹn resolution àti unification algorithm. Àmọ, àwọn ìmúṣẹ tí ó ṣe tààràtà, bí àwọn tí McCarthy àti àwọn akẹkọọ rẹ gbìyànjú láti ṣe ní ìparí àwọn ọdún 1960, kò rọrùn rárá: àwọn ètò náà nílò iye àwọn ìgbésẹ tó jẹ ti ìràwọ láti fi àwọn ìlànà tó rọrùn hàn. Ọnà tí ó mú èso jáde jùlọ sí ọrọ-ìmòye ni Robert Kowalski ní Yunifásítì Edinburgh ṣe ní àwọn ọdún 1970, èyí sì yọrí sí ìfọrọwánilẹnuwò pẹlú àwọn olùṣèwádìí ọmọ ilẹ Faransé Alain Colmerauer àti Philippe Roussel tí wọn dá ọrọ-ìmòye tí ó ṣe àṣeyọrí tí wọn ń pè ní Prolog. Prolog nlo a subset of logic Horn clauses, ti o ni ibatan pẹkipẹki si awọn ofin ati awọn ofin iṣelọpọ ti o gba laaye iṣiro ti o ni itọju. Àwọn ìlànà yóò máa bá a lọ láti ní ipa, tí yóò pèsè ìpìlẹ fún àwọn ètò ògbóǹkangí Edward Feigenbaum àti iṣẹ tí Allen Newell àti Herbert A. Simon ń ṣe tí yóò yọrí sí Soar àti àwọn èròǹgbà wọn tí ó wà ní ìṣọkan nípa ìmọ.  Àwọn tó ń ṣe lámèyítọ ọnà tí wọn gbà ń lo ọrọ lọnà tó bọgbọn mu sọ pé, gẹgẹ bí Dreyfus ti sọ, àwọn èèyàn kì í fi bẹẹ lo ọrọ lọnà tó bọgbọn mu nígbà tí wọn bá ń yanjú ìṣòro. Àwọn onímọ nípa ìrònú àti ìhùwàsí bíi Peter Wason, Eleanor Rosch, Amos Tversky, Daniel Kahneman àti àwọn mìíràn ṣe àyẹwò tó fi hàn pé òótọ ni. McCarthy dá a lóhùn pé ohun táwọn èèyàn bá ṣe kò já mọ nǹkan kan. Ó ní ohun tí a nílò gan-an ni àwọn ẹrọ tí ó lè yanjú àwọn ìṣòro - kìí ṣe àwọn ẹrọ tí ó lè ronú bí ènìyàn ṣe ń ronú.  Àwọn àlàfo àti àwọn ìwé: àwọn àlàfo Lára àwọn tó ń ṣàríwísí ọnà tí McCarthy gbà ṣe é ni àwọn òṣìṣẹ ẹlẹgbẹ rẹ ní MIT. Marvin Minsky, Seymour Papert àti Roger Schank ń gbìyànjú láti yanjú àwọn ìṣòro bíi ìmòye ìtàn àti ìmòye ohun tí ó béèrè pé kí ẹrọ máa ronú bí ènìyàn. Kí wọn tó lè lo àwọn ọrọ tó wọpọ bíi ìjókòó tàbí ilé oúnjẹ wọn ní láti ṣe àwọn àbá tí kò bọgbọn mu tí àwọn èèyàn sábà máa ń ṣe. Ó bani nínú jẹ pé, ó ṣòro láti lo òye lọnà tó bọgbọn mu nígbà téèyàn bá ń sọrọ nípa àwọn nǹkan tí kò ṣe kedere bí èyí. Gerald Sussman ṣàkíyèsí pé bí a bá lo èdè tó ṣe pàtó láti ṣàpèjúwe àwọn èròǹgbà tí kò ṣe pàtó, ìyẹn ò ní kí wọn túbọ ṣe pàtó. Schank ṣàpèjúwe àwọn ọnà tí wọn gbà ń lòdì sí èròǹgbà anti-logic wọn gẹgẹ bí tí kò mọ, ní ìyàtọ sí àwọn ìlànà tí ó mọ tí McCarthy, Kowalski, Feigenbaum, Newell àti Simon lò.  Lọdún 1975, nínú ìwé kan tó ṣe pàtàkì gan-an, Minsky sọ pé ọpọ lára àwọn olùṣèwádìí ẹlẹgbẹ òun tó jẹ aláìlóye ló ń lo irú irinṣẹ kan náà: ìyẹn ni àlàfo kan tó máa ń ṣàkójọ gbogbo ohun tá a gbà gbọ nípa nǹkan kan. Bí àpẹẹrẹ, tá a bá lo ọrọ náà ẹyẹ, oríṣiríṣi nǹkan ló máa ń wá sí wa lọkàn: a lè rò pé ó máa ń fò, ó máa ń jẹ kòkòrò, àti bẹẹ bẹẹ lọ. A mọ pé àwọn òtítọ wọnyí kì í fìgbà gbogbo jẹ òtítọ àti pé àwọn ìparí èrò tí a bá ṣe nípa lílo àwọn òtítọ wọnyí kì í ṣe lóògì, ṣùgbọn àwọn ìsopọ àwọn èrò tí a gbé kalẹ wọnyí jẹ apá kan àyíká gbogbo ohun tí a sọ àti ríronú. Ó pè wọn ní àwọn. Schank lo àdàkọ àwọn àlàfo tí ó pè ní scripts láti dáhùn àwọn ìbéèrè nípa àwọn ìtàn kúkúrú ní èdè Gẹẹsì. : Àwọn ìfojúsójú tí kò ṣeé ṣe, àìtó owó, ìpèníjà láti mú àwọn àbájáde tó ṣe kókó jáde, àti ìwárí àwọn ààlà pàtàkì tí àwọn onímọ ìjìnlẹ nípa AI kò lè borí ní àwọn ọdún 1970 gbogbo rẹ ló mú kí ìwádìí nípa AI dín kù ní àwọn ọdún wọnyìí. 