Страница 1 из 2 Логические агенты, описанные в частях III и IV, пользовались базами знаний, эпистемологический вклад которых состоял в том, что содержащиеся в них высказывания были истинными, ложными или неизвестными. Если агенту известно достаточно фактов о его среде, соответствующий логический подход позволяет ему формировать планы, которые гарантированно будут работать. Такая организация функционирования агента является очень удобной. К сожалению, агенты почти никогда не имеют доступа ко всем необходимым сведениям о своей среде. Поэтому агенты должны действовать в условиях неопределенности. Например, агент в мире вампу-са, описанный в главе 7, имеет датчики, которые сообщают ему только локальную информацию; основная часть мира не является для него непосредственно наблюдаемой. Агент в мире вампуса часто оказывается в такой ситуации, что не имеет возможности определить, какой из двух квадратов содержит яму. Если эти квадраты находятся на пути к золоту, то агенту может потребоваться испытать судьбу и войти наугад в один из этих двух квадратов. Реальный мир намного сложнее по сравнению с миром вампуса. Логический агент не всегда имеет возможность составить полное и правильное описание того, как будут осуществляться его действия. Предположим, например, что агент-водитель такси желает отвести пассажира в аэропорт, чтобы тот успел на самолет, и составляет план, в котором предусматривается выезд из дома за 90 минут до вылета самолета и вождение на приемлемой скорости. Но даже если аэропорт находится от дома на расстоянии примерно 15 миль, агент все равно не сможет со всей определенностью сделать вывод, что "планпозволит нам прибыть в аэропорт вовремя". Вместо этого он приходит к более слабому заключению: "Планпозволит нам прибыть в аэропорт вовремя, если только в моем автомобиле не возникнет неисправность или не закончится топливо, и я не попаду в аварию, и не будет аварий на мосту, и самолет не вылетит раньше времени, и...". Ни одно из этих условий нельзя довести до логического вывода, поэтому невозможно сформировать логическим путем заключение о том, что реализация плана будет успешной. Это — один из примеров проблемы спецификации, которая упоминалась в главе 10.
<< В начало < Предыдущая 1 2 Следующая > В конец >> |