En наша доставка Ранее мы рассказывали, как Саймон, теоретик политологии, вместе с физиком по имени Ньюэлл и актуарием, ставшим программистом по имени Шоу, начали создание первой программы искусственного интеллекта, известной как Logical Theorist. Это потребовало изобретения первого конкретного языка программирования для искусственного интеллекта
Мы оставили эту историю с тем, чтобы трио вместе с сотрудниками и семьей моделировало поведение различных частей программы, используя людей и рукописные карточки.
После нескольких подобных симуляций программа была реализована на реальном компьютере. Испытание прошло успешно, т. программе удалось доказать тридцать восемь теорем одной из глав книги Principia Matemática Рассела и Уайтхеда.. Даже в одном из случаев (и не имея на это конкретных указаний) он нашел способ проверить это куда более «изящный», чем авторы книги.
Первый язык программирования для искусственного интеллекта
Тот факт, что Саймон и его команда так долго писали свою программу, объясняется тем, что им нужен был определенный язык программирования, обладающий достаточной мощностью и гибкостью для их целей. Этот язык назывался IPL (язык обработки информации), и он впервые представил технику обработки списков для программирования.
IPL отличался от языков высокого уровня того времени тем, что он не требовал, чтобы символы определялись заранее, и имел возможность связывать и изменять структуры символов.
Так называемый метод обработки списка состоит из хранение каждой части информации вместе с указаниями о том, как найти части информации, связанные с ними. Изменяя показания, можно строить новые ассоциации.
«Общее решение проблем»
Чтобы создать свое следующее программное обеспечение, Саймон и Ньюэлл решили попробовать другой подход. В то время было распространено психологическое исследование, в котором участникам предлагалось объяснить вслух, как они решают логические задачи. Дуэт обнаружил, что эти формы полностью отличались от тех, которые использовались их программным обеспечением, поэтому они решили провести собственную версию расследования и создавать программное обеспечение на основе методов, описанных участниками. Программа (известная как GPS для общего решения проблем) была написана на основе организации информации и эвристики, независимой от задач, которые им было предложено выполнить.
Эта новая методология получила название «Анализ средств для достижения цели» и состоит из сравните текущую ситуацию с идеальной и предпримите действия, которые уменьшат разницу между ними, а затем переоцените, пока разница не сведется к нулю. Эта методология позволяет программе реагировать на изменения переменных задачи. Программист указывает проблему и так называемую таблицу различий, в которой указаны возможные варианты действий и при каких обстоятельствах они бывают.
GPS смогла разбить проблему на подзадачи и применить метод поиска с возвратом. то есть, если один путь не работает, он вернется и пойдет по другому.
За 11 лет эксплуатации, GPS решал головоломки, выполнял символьную интеграцию и взламывал секретные коды.
Пока Саймон и Ньюэлл развлекались этим, студент по имени Роберт К. Линдсей разработал программу, известную как SAD SAM. мягкий смог извлечь информацию из предложений типа «Хуан — сын Пепы» и «Хуан — брат Альберто» и построить генеалогическое древовыясняя, что Альберто также является сыном Пепы (я понятия не имею, как бы он справился с приемными семьями в современном мире.
Конечно, тогдашний гигант компьютерной индустрии IBM не мог оставаться в стороне от исследований в области искусственного интеллекта, области, которая в разгар холодной войны уже открывала огромный потенциал для военных приложений, и в следующей статье мы расскажет о своем первом вкладе в эту область.