Архитектуры, основанные на знаниях

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

Рассмотрим эту модель более подробно, поскольку она является наиболее популярной. В этой модели агенты рассматриваются как посредники, делегаты, искусственные представители интересов людей в некоторой виртуальной (или реальной) среде, и только потом это понятие распространяется на другие субъекты, например, животных. Поэтому, когда говорят о поведении агентов и характеризуют их состояние, то употребляют чаще всего такие термины, как убеждения (Beliefs); желания (Desires); намерения (Intention)^х.

Иногда к этому списку добавляют «надежды», «опасения» и другие чисто человеческие характеристики. BDI-мовелыо называется модель агента, построенная с использованием перечисленных выше понятий. Может показаться, что перенесение подобных терминов на искусственные сущности надуманно. Однако этому приему есть рациональное объяснение.

Во-первых, когда мы описываем поведение людей, мы естественным образом используем эти термины, а поскольку агенты должны заменять людей в некоторой деятельности, следовательно, они должны иметь модели наших убеждений, желаний и прочего, закладываемые в них разработчиками. Тогда зачем, спрашивается, между естественно-языковым описанием поведения и его программной моделью вносить лишний терминологический барьер вроде переменных, процедур, методов, модулей и т. д. Этот барьер заставляет разработчика терять время и силы на то, чтобы решить, каким образом лучше всего отразить моделируемое понятие в терминах используемого языка программирования. Поэтому многие агентные языки программирования ориентированы именно на построение программы в терминах BDI-модели.

Во-вторых, устранение терминологического барьера — не самая главная задача BDZ-модели. Главное заключается в том, что программирование в BDI-понятиях обязывает среду разработки обрабатывать их в соответствии с тем содержанием, которое в них вкладывает человек. Иначе говоря, в среде должен быть механизм логического вывода, который моделирует принятие решений человеком на основе его убеждений, желаний и т. д. Рассмотрим более подробно основные понятия BDI-модели.

Убеждения представляют собой декларативные знания, которые считаются истинными с точки зрения данного агента.

В связи с этим разные агенты могут иметь разные убеждения относительно одних и тех же вещей. Кроме того, могут быть убеждения относи-^[1]

тельно убеждений и прочих ЯО/-элементов. Убеждения, оказавшиеся ложными, должны быть отвергнуты. Таким образом, агент должен действовать исходя из текущих убеждений, но допускать, что они могут быть ложными.

Следующие фразы содержат примеры убеждений:

• • «Она думала, что на улице холодно» — убеждение в состоянии объекта;
• • «Она была убеждена, что он сделает ей предложение» — убеждение в намерениях другого;
• • «Она была уверена, что он знает ее подругу» — убеждение в убеждении другого;
• • «Он думал, что она хочет в Париж» — убеждение в желаниях другого.

Желания — цели существования агента, т. е. его целевые состояния.

Желания можно понимать и как убеждения, которые нужно сформировать. Деятельность агента обычно ориентирована на достижение собственных целей (удовлетворение желаний), что, однако, не исключает участия агента в достижении целей других агентов.

Намерения — планы достижения целей, принятые к исполнению.

Они могут и не согласовываться с собственными желаниями агента, а строиться на основе чужих желаний и объективных необходимостей. У агента может быть множество намерений, среди которых он должен постоянно выбирать, чем заняться в настоящий момент времени.

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

• [1] Смирнов С. С., Смольянинова В. Л. Указ. соч.