Модель SOAR

Построения Аристотеля во многом отражают наиболее передовые на сегодняшний день модели искусственного интеллекта. В частности, они поразительно сходны с моделью SOAR — общей моделью решения задач и самообучающейся системой, разработанной Аденом Невелом, Гербертом Саймоном и Клиффордом Шоу в пятидесятых годах нашего века. Она была впервые использована для создания компьютерных шахматных программ. Составленные с ее помощью шахматные программы гроссмейстерского уровня и по сей день остаются наиболее ярким примером практического применения искусственного интеллекта.

SOAR является сокращением от "State-Operator-And-Result" ("Состояние-Оператор-и-Результат"). Данная модель определяет существеннейшие этапы переходных процессов в любой системе. "Состояние" определяется по взаимоотношениям с более крупным "проблемным пространством". "Операторы" стимулируют новое состояние путем изменения некоторых параметров прежнего. Желаемое состояние достигается рядом последовательных "переходных состояний", приводящих в итоге к цели.

"В соответствии с моделью, вся умственная деятельность, направленная на решение поставленной задачи, происходит в пределах познавательной области, называемой проблемным пространством. Проблемное пространство, в свою очередь, состоит из ряда состояний, описывающих положение вещей в любой момент времени, и из ряда операторов, описывающих, как решающий задачу может изменить положение вещей переходом из одного состояния в другое. В шахматах, например, проблемным пространством будет являться [набор параметров, определяющих] "партию в шахматы" [т.е. противники, шахматная доска и т.д.], состояние будет включать в себя конкретные положения на шахматной доске, а оператором будет являться сделанный по правилам ход, к примеру "пешка Е—2, Е—4". Решающий задачу должен найти такую последовательность операций, которая приведет его из данного начального состояния (фигуры расставлены перед началом партии) и до состояния выполнения задачи (мат королю противника)". (Уолдроп, 1988)

Проблемное пространство Важнейшие элементы модели SOAR

После определения необходимых параметров решающий задачу должен выработать стратегию поиска последовательности операций, способную привести из начального состояния в желаемое. Это выполняется на основе иерархии правил "состояние-действие", формулируемых в виде: "ЕСЛИ наблюдается такое-то состояние, ТО необходимо применить такую-то последовательность операций". В случае тупиковой ситуации, когда продвижение к цели невозможно, задача "расчленяется" на ряд субцелей и субоператоров, пока не будет найден новый путь к цели. Эти новые "членения" заносятся в память наряду с остальными правилами "состояние-действие". Следуя данному пути, решающий задачу переходит от руководящей стратегии "проб-и-ошибок" (новичок) через стратегию "восхождения к вершине" (выполнение кажущегося наилучшим на данный момент) к стратегии на базе анализа "средства-цели" (эксперт).

Построения, принятые в SOAR, лежат в основе процесса моделирования НЛП. Принципы SOAR дают нам метастратегию или метамодель, опираясь на которую можно определить и разработать эффективные макро- и микростратегии. SOAR предоставляет самую основательную базу для моделирования эффективной деятельности в совершенно различных областях. Если в качестве иллюстрации взять компьютер, то проблемным пространством будет процессор и периферия, способные порождать множество различных состояний, а команды программного обеспечения будут операторами, которые, осуществляя изменения в этих состояниях, приходят к определенным результатам.

Если вновь обратиться к началу Книги "Бытия", небо и земля будут представлять собой проблемное пространство, на котором Бог осуществляет ряд операций, чтобы получить ряд все более облагороженных состояний, завершающийся сотворением "мужчины и женщины".

Аристотелев подход к познанию очень напоминает модель SOAR. Физика, логика, риторика, политика и т.д. — являются "проблемными пространствами". Аристотель приступает к определению данных проблемных пространств с выявления "начал, причин и элементов", из которых они образованы. Явления, образующие каждую из данных областей, представляют собой различные состояния в пределах данного проблемного пространства. Далее Аристотель производит "разукрупнение" от "общего к частному", с каждым разом выявляя все больше деталей. Искомые Аристотелем "средние термины" и "причины", по сути — не что иное, как операторы, определяющие и влияющие на состояния в пределах проблемного пространства. Аристотелевы силлогизмы являются правилами "состояние-действие", определяющими процесс познания в схеме модели SOAR.

Таким образом, при моделировании метастратегий гениев необходимо учитывать и то, как эти люди выявляли и определяли проблемное пространство, ставшее предметом их деятельности, и выделяли и раскладывали на составляющие соответствующие желаемые и переходные состояния в пределах этого пространства. И самое главное — нам предстоит обнаружить операторы, с помощью которых они прокладывали себе путь в проблемном пространстве, двигаясь к желаемым состояниям.