En наша доставка Раніше ми розповідали, як Саймон, теоретик політології, разом із фізиком на ім’я Ньюелл і актуарієм, який став програмістом на ім’я Шоу, розпочали створення першої програми штучного інтелекту, відомої як Logical Theorist. Для цього знадобився винахід першої спеціальної мови програмування для штучного інтелекту
Ми залишили цю історію з тріо разом із співробітниками та родиною, які моделюють поведінку різних частин програми за допомогою людей і рукописних карток.
Після кількох подібних симуляцій програму було реалізовано на реальному комп’ютері. Випробування пройшло успішно, оскільки програмному забезпеченню вдалося довести тридцять вісім теорем одного з розділів книги Рассела та Уайтхеда Principia Matemática. Навіть в одному з випадків (і не маючи на це конкретних вказівок) він знайшов спосіб перевірити це набагато «елегантніше», ніж автори книги.
Перша мова програмування для штучного інтелекту
Той факт, що Саймону та його команді знадобилося так багато часу, щоб написати свою програму, тому що їм потрібна була конкретна мова програмування, яка мала б достатньо потужності та гнучкості для їхніх цілей. Цю мову назвали IPL (мова обробки інформації), і вона вперше представила техніку обробки списків для програмування.
Цим IPL відрізнявся від мов високого рівня того часу він не вимагав попереднього визначення символів і мав можливість асоціювати та змінювати структури символів.
Так звана техніка обробки списку складається з зберігання кожного фрагмента інформації разом із вказівками щодо того, як знайти фрагменти інформації, пов’язані з ними. Змінюючи показання, можна будувати нові асоціації.
"Загальний засіб вирішення проблем"
Щоб створити своє наступне програмне забезпечення, Саймон і Ньюелл вирішили спробувати інший підхід. У той час поширювалося психологічне дослідження, яке пропонувало учасникам пояснювати вголос спосіб, у який вони вирішували логічні задачі. Дует виявив, що ці форми абсолютно відрізняються від тих, що використовуються їхнім програмним забезпеченням, тому вони вирішили провести власну версію розслідування та створити програмне забезпечення на основі методів, описаних учасниками. Програма (відома як GPS for General Problem Solver) була закодована на основі організації інформації та евристик незалежно від завдань, які вони повинні були виконати.
Ця нова методологія отримала назву «Аналіз засобів і цілей» і складається з порівняти поточну ситуацію з ідеальною та вжити заходів, які зменшать різницю між ними, а потім переоцінити, поки різниця не зменшиться до нуля. Ця методологія дозволяє програмі реагувати на зміни в змінних проблеми. Програміст вказує на проблему і так звану таблицю відмінностей, у якій вказані можливі варіанти дій і в яких обставинах вони знаходяться.
GPS вдалося розбити проблему на підпроблеми та застосувати підхід зворотного відстеження, тобто якщо один шлях не спрацьовував, він повертався й йшов іншим.
Протягом 11 років експлуатації, GPS вирішував головоломки, виконував символічну інтеграцію та зламував секретні коди.
Поки Саймон і Ньюелл розважалися цим, студент на ім’я Роберт К. Ліндсей розробив програму, відому як SAD SAM. м'який зміг отримати інформацію з речень типу «Хуан — син Пепи» та «Хуан — брат Альберто» та побудувати генеалогічне деревопояснюючи, що Альберто також син Пепи (я не уявляю, як би він поводився з прийомними сім’ями в сучасному світі.
Звичайно, гігант комп’ютерної індустрії того часу, IBM, не міг залишитися осторонь досліджень штучного інтелекту, галузі, яка в середині холодної війни вже розкривала величезний потенціал для військових застосувань, і в наступній статті ми розповість про свої перші внески в цій галузі.