Подводя итог, в подходе, основанном на логике в построении агентов, принятие решение рассматривается как дедукция. «Программа» агента т.е. его стратегия принятие решения закодирована как логическая теория и процесс выбора действия сводиться к проблеме доказательства. Логический подход элегантен и построен на чистой (логической) семантике, где заключено много из ее долгоживущих привлекательностей. Но логический подход имеет много неудобств. В частности, унаследованная вычислительная сложность доказательства теорем ставит под вопрос сможет ли агент, доказывающий теоремы, эффективно действовать во временно ограниченном окружении. Процесс принятия решения у таких агентов основан на предположении вычислительно рациональности – предположении, что окружающий мир значительно не меняется пока агент решает что делать, и что действие, рациональное на момент начала процесса принятия решения, будет рациональным на момент, когда решение будет принято. Проблемы, связанные с представлением и заключениями о сложности, динамичности возможных физических окружений, в сущности не решены.
1.4.2 Реактивные архитектуры.
Эти, по-видимому, непреодолимые проблемы с символьным/логическим подходами в построении агентов, привело к некотором исследованиям этого вопроса и, в конце концов, к признанию непригодными тех допущений, на которых они основаны. Эти исследования доказали, что незначительные изменения в символьном подходе, такие как ослабление языка логического представления, не будут достаточными для построения агента, который сможет действовать окружении в условиях ограниченного времени; и что требуется новый подход. В середине конце 1980 эти исследователи начали изучать альтернативы символьной парадигмы AI. Трудно четко охарактеризовать эти новые подходы так как их общие свойства в большинстве основаны на отрицании символьного AI, а не на их общности. Однако некоторые темы повторяются:
- отказ от символьного представления и принятия решения основанного на символьном манипулировании над таким представлением;
- идея того, что интеллектуальное рациональное поведение непосредственно связано с окружением, в котором находится агент – интеллектуальное поведение не является чем-то отвлеченным, а является результатом взаимодействия поддерживаемым агентом с его средой;
- идея того, что интеллектуальное поведение образуется в результате взаимодействия различных более простых поведений.
Альтернативные подходы к организации иногда называются поведенческими (так как общая тема заключается в построении и комбинировании индивидуальных поведений), находящимися в определенных условиях (т.е. общая тема в том, что агенты реально располагаются в некотором окружении, а не отдалены от него) и наконец термин использованный в этой главе – реактивными (т.к. такие системы часто являются просто реагирующими на окружение и на его осмысление). Этот раздел представляет обзор subsumption (категоризационной?) архитектуры, которая возможно является наиболее известной архитектурой реактивных агентов. Она была разработана Родни Брукс - одним из самых известных и влиятельных критиков символического подхода в организации, появившемся за последние годы.
Существуют две определяющие характеристики категоризационной архитектуры. Первый заключается в том, что принятие решения агентов представляется как набор поведений завершения задания и каждое поведение можем рассматриваться как отдельная функция действия, как мы определили ее выше, которое воспринимает чувственную информацию и отображает ее на то действие, которое необходимо выполнить. Каждый из этих поведенческих модулей предназначен для выполнения некоторой конкретной задачи. В реализации Брукс поведенческие модули являются машинами с ограниченным количеством состояний. Важно заметить, что предполагается, что модули выполнения задания не включают никаких символических представлений и, предполагается, не выполняющими никаких символических заключений. Во многих реализациях эти поведения реализованы, как правила, следующего вида:
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.