В большинстве реальных ситуаций любому агенту приходится иметь дело с убеждениями (своими собственными или других агентов), которые изменяются во времени. Агенту также приходится составлять планы, касающиеся изменения своих собственных убеждений, такие как план покупки карты для определения способа попасть в Бухарест. Как и в случае других предикатов, мы можем овеществить предикат Believes и вести речь об убеждениях, которые имели место в течение определенного периода. Например, чтобы сформулировать высказывание "Лойс сегодня уверена в том, что Супермен может летать", мы будем записывать следующее: Если объектом убеждения является высказывание, которое может изменяться во времени, и это можно описать, используя оператор Τ внутри строки. Например, Лойс может сегодня быть убеждена в том, что Супермен мог летать вчера: После получения способа описания того, как убеждения меняются со временем, мы приобретаем возможность использовать всю механику исчисления событий для составления планов, касающихся убеждений. Действия могут включать предусловия знаний и результаты знаний. Например, предусловием действия по набору номера телефона некоторого лица является знание этого номера, а результатом действия по поиску номера становится знание этого номера. Например, последнее действие можно описать с использованием средств исчисления событий следующим образом: Планы сбора и использования информации часто представляют с помощью сокращенных обозначений, известных под названием переменных этапа прогона (runtime variable), соглашения по использованию которых тесно связаны с соглашениями о применении переменных, взятых без кавычек, которые были описаны выше. Например, план поиска номера Боба, а затем набора этого номера может быть записан следующим образом: Здесь— это переменная этапа прогона, с которой будет связано значение путем выполнения действия Lookup, поэтому данная переменная может затем использоваться в действии Dial. Планы такого рода часто встречаются в частично наблюдаемых проблемных областях. Примеры таких планов рассматриваются в следующем разделе и в главе 12.
|