A cikin labarai guda biyu da suka gabata mun ga yadda aikin Alan Turing, Claude Shannon da John von Neuman ya ba da damar ƙirƙirar kwamfutoci masu iya ɗaukar bayanan sirri. Duk da haka, dukhar yanzu dole ne a ƙirƙiri shirye-shirye masu iya yin aikin. Shi ya sa a cikin wannan post ɗin mun bayyana hanyar software daga simintin tattaunawa na farko zuwa ƙirar harshe na yanzu.
Alan Turing shi ne ya fara ayyana hanyar da za a tabbatar da nasarar wannan nau'in shirin. Matsalar ita ce gwajin Turing ya nuna ƙwarewar shirye-shirye kawai, ba wai muna fuskantar abin da za a iya kira basirar wucin gadi ba.
Hanyar software
Yayin da ma'anar Marvin Minsky na buƙatar cewa don a yi la'akari da hankali na wucin gadi dole ne na'ura ta yi aiki iri ɗaya kamar yadda ɗan adam ya yi yana buƙatar ikon yin tunani. Jarabawar Turing tana tambaya ne kawai cewa ɗan adam ba zai iya tantance ko mai shigar da shi ko a'a ba.
Ko da yake ELIZA, shirin kwamfuta da aka rubuta a tsakiyar shekarun 60, ba a yi niyya don cin jarrabawar Turing ba, amma ta ya aza harsashin tsare-tsare da dama da za su yi yunkurin yin haka. Nunin ya ɗauki matsayin likitan hauka yana yin jerin tambayoyi ga majiyyaci game da batutuwa na gama-gari kamar dangi, abokai, ko yanayi. Dangane da amsoshin, ya ci gaba da bin layin da aka riga aka kafa.
Babu ELIZA (da kuma duk wata software) da za ta yiwu ba tare da aikin malamin lissafi wanda ya koyar da kansa ba mai suna. George Boole wanda a karni na XNUMX ya fara nazarin fassarar cikin sharuddan lissafi na tsarin tunanin dan Adam. Don wannan, ya bincika hanyar haɗa abubuwa zuwa azuzuwan da abin da ya faru lokacin da aka haɗa waɗannan azuzuwan tare da wasu. Sannan ya sanya alamomi ga kowane ɗayan waɗannan alaƙa.
Daga tsari zuwa ra'ayi
Idan an canza abubuwan saitin ta hanyar tabbatarwa kuma mun kafa alaƙa guda uku masu yiwuwa a tsakanin su (DA, KO kuma BA.) mun riga mun sami hanyar rarraba su zuwa daya daga cikin rukuni biyu (Gaskiya ko Ƙarya).
Koyaya, ayyukan Boole ba su da kyau ga kowane irin da'awar. Ana buƙatar hanya don kwatanta ra'ayoyi gabaɗaya. Wato za su iya zama gaskiya ko ƙarya dangane da yanayi.
Don a fahimta. Ayyukan Boolean suna ba ku damar yin aiki tare da tabbacin
Diego dan Argentina ne kuma ya rubuta a ciki Linux Adictos
Amma ba za ku iya yin komai da:
X shine... kuma ya rubuta a cikin Z.
Don wannan, dole ne mu jira har zuwa 70s, lokacin wani farfesa dan kasar Jamus mai suna Frege ya gabatar da manufar predicates. Predicate magana ce da za a iya siffanta ta a matsayin gaskiya ko karya dangane da yanayi.
Diego, Dan kasar Argentina y Linux Addicts ƙungiyoyi ne waɗanda ba gaskiya ba ne kuma ba na ƙarya ba, amma dangane da yadda aka haɗa su a cikin predicate za su yi haka.
Freje ya kara da kalmomi guda biyu tare da madaidaitan alamomin su:
Ga komai (Yana nuna cewa duk darajar ma'auni sun hadu da sharadi)
Akwai… kamar haka (Yana nufin akwai aƙalla kashi ɗaya wanda zai gamsar da sharadi.
ka'idar ra'ayi
Babban gudumawa na gaba ga ƙirƙirar Intelligence Artificial ba ilimin lissafi ba ne, ya fito ne daga Biology. Norbert Wiener, wanda ya kafa Cybernetics, yana sha'awar abubuwan gama gari tsakanin Injiniya da Biology. Wannan sha'awar ce ta sa ya yi nazarin yadda dabbobi masu ɗumi-ɗumi suka ci gaba da kasancewa da zafin jiki duk da canjin yanayin yanayi. Wiener ya gabatar da cewa a cikin wannan da sauran lokuta hanyoyin mayar da martani suna kan aiki. A wasu kalmomi, lokacin karɓar bayanai, an samar da amsa don dacewa da shi.
Da ya ci gaba, ya zo ya tabbatar da cewa halaye masu hankali ba kome ba ne illa sakamakon hanyoyin amsawa. A takaice dai, zamu iya kammala hakan Hankali (na halitta ko na wucin gadi) shine game da tattara bayanai, sarrafa su, yin aiki akan sakamakon, da maimaita tsari.