En нашата доставка По-рано разказахме как Саймън, теоретик на политическите науки, заедно с физик на име Нюел и актюер, станал програмист на име Шоу, започнаха изграждането на първата програма за изкуствен интелект, известна като Logical Theorist. Това изискваше изобретението на първия специфичен език за програмиране за изкуствен интелект
Бяхме оставили тази история с триото заедно със сътрудници и семейство, симулиращи поведението на различните части на програмата, използвайки хора и ръкописни карти.
След няколко симулации като тези, програмата беше внедрена на реален компютър. Тестът беше успешен като софтуерът успя да докаже тридесет и осем теореми от една от главите на книгата Principia Matemática от Ръсел и Уайтхед. Дори в един от случаите (и без да има конкретни инструкции за това) той намери начин да го тества много по-„елегантно“ от авторите на книгата.
Първият език за програмиране за изкуствен интелект
Фактът, че на Саймън и неговия екип им отне толкова време да напишат програмата си, е защото те се нуждаеха от специфичен език за програмиране, който имаше достатъчно мощност и гъвкавост за техните цели. Този език се нарича IPL (Език за обработка на информация) и за първи път въвежда техниката за обработка на списъци за програмиране.
IPL се различава от езиците на високо ниво на времето по това не изискваше символите да бъдат дефинирани предварително и имаше способността да асоциира и модифицира символни структури.
Така наречената техника за обработка на списък се състои от съхраняване на всяка част от информацията заедно с указания как да намерите части от информация, свързани с тях. Чрез промяна на показанията могат да се изградят нови асоциации.
„Решаване на общи проблеми“
За да създадат следващия си софтуер, Саймън и Нюел решават да опитат различен подход. По това време циркулира психологическо разследване, което приканва участниците да обяснят на глас начина, по който решават логически проблеми. Дуото откри, че тези формуляри са напълно различни от тези, използвани от техния софтуер, така че решиха да направят своя собствена версия на разследването и създаване на софтуер въз основа на описаните от участниците методи. Програмата (известна като GPS за решаване на общи проблеми) беше кодирана въз основа на организация на информация и евристика, независимо от задачите, които трябваше да изпълняват.
Тази нова методология получи името "Анализ на средствата към целта" и се състои от сравнете настоящата ситуация с идеалната и предприемете действия, които намаляват разликата между тях и след това преоценете, докато разликата се намали до нула. Тази методология позволява на програмата да реагира на промени в променливите на проблема. Програмистът посочва проблема и така наречената таблица на разликите, в която са посочени възможните начини на действие и при какви обстоятелства са те.
GPS успя да раздели проблема на подпроблеми и да приложи подхода за обратно проследяване, което означава, че ако един път не проработи, той ще се върне и ще следва друг.
През 11-те години на експлоатация, GPS решаваше пъзели, извършваше символна интеграция и разбиваше секретни кодове.
Докато Саймън и Нюел се забавляваха с това, студент на име Робърт К. Линдзи разработи програма, известна като SAD SAM. мекото успя да извлече информация от изречения от типа „Хуан е синът на Пепа“ и „Хуан е братът на Алберто“ и да изгради родословно дърво наразкривайки, че Алберто също е син на Пепа (нямам представа как ще се справи с доведените семейства в днешния свят.
Разбира се, гигантът на компютърната индустрия по онова време, IBM, не можеше да остане встрани от изследванията върху изкуствения интелект, област, която в средата на Студената война вече разкриваше огромен потенциал за военни приложения и в следващата статия ние ще говори за първите си приноси в областта.