Знания, время и действия
В большинстве реальных ситуаций любому агенту приходится иметь дело с убеждениями (своими собственными или других агентов), которые изменяются во времени. Агенту также приходится составлять планы, касающиеся изменения своих собственных убеждений, такие как план покупки карты для определения способа попасть в Бухарест. Как и в случае других предикатов, мы можем овеществить предикат Believes и вести речь об убеждениях, которые имели место в течение определенного периода. Например, чтобы сформулировать высказывание "Лойс сегодня уверена в том, что Супермен может летать", мы будем записывать следующее:
T(Believes(Lois, "Flies(Superman)"),Today)
Если объектом убеждения является высказывание, которое может изменяться во времени, и это можно описать, используя оператор Т внутри строки. Например, Лойс может сегодня быть убеждена в том, что Супермен мог летать вчера:
T{Believes (Lois, " Т(Flies (Superman) , Yesterday) ", Today)
После получения способа описания того, как убеждения меняются со временем, мы приобретаем возможность использовать всю механику исчисления событий для составления планов, касающихся убеждений. Действия могут включать предусловия знаний и результаты знаний. Например, предусловием действия по набору номера телефона некоторого лица является знание этого номера, а результатом действия по поиску номера становится знание этого номера. Например, последнее действие можно описать с использованием средств исчисления событий следующим образом:
Ini tiates (Lookup (а, 11 PhoneNumber (b) 11) KnowsWhat {a, 11 PhoneNumber (b) 11, DigitStrings) , t)
Планы сбора и использования информации часто представляют с помощью сокращенных обозначений, известных под названием переменных этапа прогона (runtime variable), соглашения по использованию которых тесно связаны с соглашениями о применении переменных, взятых без кавычек, которые были описаны выше. Например, план поиска номера Боба, а затем набора этого номера может быть записан следующим образом:
[Lookup {Agent, 11 PhoneNumber {Bob) 11, n) ,Dial{n)]
Здесь n — это переменная этапа прогона, с которой будет связано значение путем выполнения действия Lookup, поэтому данная переменная может затем использоваться в действии Dial. Планы такого рода часто встречаются в частично наблюдаемых проблемных областях. Примеры таких планов рассматриваются в следующем разделе и в главе 12.
В данном разделе показано, как можно представить некоторые знания, касающиеся осуществления покупок в Internet. Мы создадим агента по исследованию возможности осуществления покупок (торгового агента), который помогает покупателю найти в Internet предложения по интересующим его товарам. Торговый агент получает описание товара от покупателя и выполняет задачу по подготовке списка Web-страниц, на которых данный товар предлагается на продажу. В некоторых случаях описание покупателем товара будет точным, таким как "Цифровая камера Coolpix 995", и тогда задача заключается в поиске магазина (магазинов) с наилучшим предложением. В других случаях описание может быть определено лишь частично, как, например, "Цифровая камера не дороже 300 долларов", и агенту придется сравнивать различные товары.
Средой существования торгового агента является вся система World Wide Web — не игрушечная моделированная среда, а та сложная, постоянно развивающаяся среда, которая используется каждый день миллионами людей. Результатами восприятиями агента являются Web-страницы, но в отличие от человека — пользователя Web, который рассматривает страницы, отображенные в виде массива пикселов на экране, торговый агент воспринимает страницу в виде символьной строки, состоящей из обычных слов, чередующихся с командами форматирования на языке разметки HTML. В листинге 10.1 показаны Web-страница и соответствующая символьная строка HTML. Проблема восприятия для торгового агента состоит в извлечении полезной информации из восприятий такого рода.
Безусловно, что решить задачу восприятия Web-страниц проще по сравнению, скажем, с восприятием дорожной ситуации во время вождения такси в Каире. Тем не менее задача восприятия в Internet усложняется многими факторами. Web-страница, показанная в листинге 10.1, является очень простой по сравнению с реальными торговыми узлами, которые включают cookie-файлы, код Java, Javascript,