En mūsu piegāde Iepriekš mēs stāstījām, kā Saimons, politikas zinātnes teorētiķis, kopā ar fiziķi Ņūvelu un aktuāru, kas kļuva par programmētāju Šo, sāka veidot pirmo mākslīgā intelekta programmu, kas pazīstama kā loģikas teorētiķis. Tam bija nepieciešams izgudrojums pirmo īpašo programmēšanas valodu mākslīgajam intelektam
Mēs bijām atstājuši šo stāstu trijotnei kopā ar līdzstrādniekiem un ģimeni, simulējot dažādu programmas daļu uzvedību, izmantojot cilvēkus un ar roku rakstītas kartītes.
Pēc vairākām šādām simulācijām programma tika ieviesta reālā datorā. Pārbaude bija veiksmīga kā programmatūrai izdevās pierādīt trīsdesmit astoņas teorēmas vienā no Rasela un Vaitheda grāmatas Principia Matemática nodaļām.. Pat vienā no gadījumiem (un bez konkrētiem norādījumiem to darīt) viņš atrada veidu, kā to pārbaudīt daudz "elegantāk" nekā grāmatas autori.
Pirmā mākslīgā intelekta programmēšanas valoda
Fakts, ka Saimons un viņa komanda aizņēma tik ilgu laiku, lai uzrakstītu savu programmu, ir tāpēc viņiem bija nepieciešama īpaša programmēšanas valoda, kurai bija pietiekami daudz jaudas un elastības viņu mērķiem. Šo valodu sauca par IPL (informācijas apstrādes valodu), un tā vispirms ieviesa sarakstu apstrādes paņēmienu programmēšanai.
IPL ar to atšķīrās no tā laika augsta līmeņa valodām tai nebija nepieciešams iepriekš definēt simbolus, un tam bija iespēja saistīt un modificēt simbolu struktūras.
Tā sauktā sarakstu apstrādes tehnika sastāv no katras informācijas glabāšana kopā ar norādījumiem, kā atrast ar to saistīto informāciju. Mainot indikācijas, var veidot jaunas asociācijas.
"Vispārējs problēmu risinātājs"
Lai izveidotu savu nākamo programmatūru, Saimons un Nevels nolēma izmēģināt citu pieeju. Toreiz cirkulēja psiholoģiska izmeklēšana, kurā dalībnieki tika aicināti skaļi izskaidrot veidu, kādā viņi risina loģiskās problēmas. Duets atklāja, ka šīs veidlapas pilnībā atšķiras no tām, kuras izmanto viņu programmatūra, tāpēc viņi nolēma veikt savu izmeklēšanas versiju un izveidot programmatūru, pamatojoties uz dalībnieku aprakstītajām metodēm. Programma (pazīstama kā GPS vispārīgajam problēmu risinātājam) tika kodēta, pamatojoties uz informācijas un heiristikas organizāciju neatkarīgi no uzdevumiem, kas tai bija jāveic.
Šī jaunā metodoloģija saņēma nosaukumu "Līdzekļi līdz galam analīzei", un tā sastāv no salīdziniet pašreizējo situāciju ar ideālo un veiciet darbības, kas samazina atšķirību starp tām, un pēc tam pārvērtējiet, līdz atšķirība tiek samazināta līdz nullei. Šī metodoloģija ļauj programmai reaģēt uz izmaiņām problēmas mainīgajos. Programmētājs norāda problēmu un tā saukto atšķirību tabulu, kurā norādīti iespējamie rīcības virzieni un kādos apstākļos tie ir.
GPS spēja sadalīt problēmu apakšproblēmās un izmantot atpakaļsekošanas pieeju, tas ir, ja viens ceļš nedarbotos, viņš atgrieztos un sekotu citam.
11 darbības gadu laikā, GPS risināja mīklas, veica simbolisku integrāciju un lauza slepenos kodus.
Kamēr Saimons un Ņūls ar to izklaidējās, students Roberts K. Lindsijs izstrādāja programmu, kas pazīstama kā SAD SAM. mīkstais spēja iegūt informāciju no teikumiem, kuru veids bija "Huans ir Pepas dēls" un "Huans ir Alberto brālis" un izveidot ciltskokuizglītojot, ka Alberto ir arī Pepas dēls (man nav ne jausmas, kā viņš tiktu galā ar mūsdienu pasaules pabērnu ģimenēm.
Protams, tā laika datorindustrijas gigants IBM nevarēja palikt malā no mākslīgā intelekta pētījumiem — joma, kas jau aukstā kara vidū atklāja milzīgu militāro pielietojumu potenciālu, un nākamajā rakstā mēs runās par saviem pirmajiem ieguldījumiem šajā jomā.