Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 126
Текст из файла (страница 126)
Например, следующее правило утверждает, что если логический агент в чем-то уверен, то он уверен, что он в этом уверен: Ьсддса1АдепС (а) л Ве11есея (а, р) => Ве11есея (а, "Ве11есея(пате(а), р) ") Теперь, согласно нашим аксиомам, любой агент может безошибочно вывести любое следствие из своих убеждений. Такое свойство агента называется ск логическим всеведением (!оя!са1 оспп!яс!епсе), Было сделано много попыток определить спецификации ограниченных рациональных агентов, которые способны выполнять ограниченное количество логических выводов за ограниченное время.
Ни одна из этих попыток не оказалась полностью успешной, но описанные выше формулировки позволяют получить в высшей степени обоснованный ряд предсказаний о возможностях ограниченных агентов. Знания и убе)ндения Соотношение между знаниями и убеждениями широко исследовалось в философии. Общепризнано, что знания — это убеждения, истинность которых подтвердилась. Таким образом, если вы в чем-то уверены по неоспоримо надежным причинам и если то, в чем вы уверены, действительно истинно, то вы это знаете. Условие, согласно которому причина должна быть "неоспоримо надежной", необходимо для предотвращения такой ситуации, что вы будете угверждатгя "Я знаю, что эта монета всегда будет падать орлом вверх", и окажетесь правы лишь применительно к половине бросков монеты.
Допустим, что предикат Кпоыя(а, р) означает следующее: агент а знает, что высказывание р является истинным. Возможно также определить другие формы знаний. Например, ниже приведено определение "знаний о погоде". 470 Часть 1П. Знания и рассуждения Кпотяидеелея(а, р) ая Кппья(а,р) и Клите(а," р" ) Продолжая приведенный выше пример, отметим: Лойс знает, может ли Кларк летать, если она либо знает, что Кларк может летать, либо знает, что он этого не может. Понятие "знаний о чем-то" является более сложным. Например, может возникнуть соблазн утверждать, что агент знает номер телефона Боба, если есть какой-то объект х, в отношении которого агент знает, что РЬопеиитЬек(ВоЬ) =х. Но этого недостаточно, поскольку агент может знать, что Алиса и Боб имеют один и тот же номер (например, Рьопеиитьек(Воь) =Рьопеиитьек(А1зее)), но если номер Алисы неизвестен, то эти знания не могут ему помочь.
Лучшее определение понятия "знаний о чем-то" состоит в том, что агент должен знать о некотором х, что это— строка цифр и что это — номер Боба: КпптяЮЬае(а,"РЬилеИитЬеп(Ь)") яя Зх Клите(а,"х = РлппеИитЬея(Ь)") А х Е ПддЗСВШпдя Безусловно, применительно к другим вопросам необходимо иметь другие критерии определения того, какой ответ является приемлемым. Например, подходящим ответом на вопрос: "Какой город является столицей штата НьюУЙорк", является имя собственное, "Олбани", а не нечто подобное высказыванию: "Город, в котором находится резиденция губернатора штата". Для обеспечения этого необходимо оформить предикат КпотяИЬае в виде трехместного отношения: он принимает в качестве параметра обозначение агента, строку, представляюшую некоторый терм, и категорию, к которой должен принадлежать ответ. Например, для определения упомянутых выше знаний могут использоваться следующие формулировки: Кпитяина Е (Адеп Е, д Сару Еа1 (Иетуиг)г) ", РгореяИатея) КпиеяИЬаг (Адепг, "РлопеИитЬея (ВоЬ) ", Шд1 еВШлдя) Знания, время и действия В большинстве реальных ситуаций любому агенту приходится иметь дело с убеждениями (своими собственными или других агентов), которые изменяются во времени.
Агенту также приходится составлять планы, касающиеся изменения своих собственных убеждений, такие как план покупки карты для определения способа попасть в Бухарест. Как и в случае других предикатов, мы можем ове(цествить предикат Ве1зес ея и вести речь об убеждениях, которые имели место в течение определенного периода. Например, чтобы сформулировать высказывание иЛойс сегодня уверена в том, что Супермен может летать", мы будем записывать следуюшее: Т(ве11еиея(Водя,"Р11ея(Вирегтап)"), Тоеау) Если объектом убеждения является высказывание, которое может изменяться во времени, и это можно описать, используя оператор т внутри строки. Например, Лойе может сегодня быть убеждена в том, что Супермен мог летать вчера: Т(Ве11еиея (Ьохя, "Т(Р11ея (Вирегтап), Уеяеепс)ау) ", Тог)ау) После получения способа описания того, как убеждения меняются со временем, мы приобретаем возможность использовать всю механику исчисления событий для составления планов, касаюшихся убеждений.
Действия могут включать Ъ. предусловия знаний и 'ж результаты знаний. Например, предусловием действия по набору номера телефона неко-орого лица является знание этого номера, а результатом действия по Глава 1О. Представление знаний 471 поиску номера становится знание этого номера. Например, последнее действие можно описать с использованием средств исчисления событий следующим образом: Гпд Еуа Еее (Ьоохир (а, "Рлопе)яитпег (Вр ") кпоиаяца е ( а, "Рйопе)читьег (ь) ", оддТ еяетьпде), е) Планы сбора и использования информации часто представляют с помощью сокрашенных обозначений, известных под названием 'Ъ. переменных этапа прогона (гип(ппе чапаЫе), соглашения по использованию которых тесно связаны с соглашениями о применении переменных, взятых без кавычек, которые были описаны выше.
Например, план поиска номера Боба, а затем набора этого номера может быть записан следующим образом: [Ьоохир (Лдепс, "рлопеГГит)пег (ВоЫ ", и), ода д (и) ] Здесь и — это переменная этапа прогона, с которой будет связано значение путем выполнения действия Ьоо]гир, поэтому данная переменная может затем использоваться в действии ь)за2. Планы такого рода часто встречаются в частично наблюдаемых проблемных областях. Примеры таких планов рассматриваются в следующем разделе и в главе 12. ! 0.5. МИР ПОКУПОК В 1]х[ТЕКХЕТ В ланном разделе показано, как можно представить некоторые знания, касаю)циеся осуществления покупок в! п(егпе(.
Мы создадим агента по исследованию возможности осу)цествления покупок (торгового агента), который помогает покупателю найти в !п(егпе[ предложения по интересующим его товарам. Торговый агент получает описание товара от покупателя и выполняет задачу по подготовке списка %еЬ-страниц, на которых данный товар преллагается на продажу. В некоторых случаях описание покупателем товара будет точным, таким как "Цифровая камера Соо1р[х 995", и тогда задача заключается в поиске магазина (магазинов) с наилучшим предложением. В других случаях описание может быть определено лишь частично, как, например, "Цифровая камера не дороже 300 долларов", и агенту придется сравнивать различные товары.
Средой существования торгового агента является вся система %от]г[%[г[е %еЬ— не игрушечная моделированная среда, а та сложная, постоянно развивающаяся среда, которая используется каждый день миллионами людей. Результатами восприятиями агента являются %еЬ-страницы, но в отличие от человека — пользователя %еЬ, который рассматривает страницы, отображенные в виде массива пикселов на экране, торговый агент воспринимает страницу в виде символьной строки, состоящей из обычных слов, чередующихся с командами форматирования на языке разметки НТМЦ В листинге 10.1 показаны %еЬ-страница и соответствующая символьная строка НТМЕ.
Проблема восприятия для торгового агента состоит в извлечении полезной информации из восприятий такого рода. Безусловно, что решить задачу восприятия %еЬ-страниц проще по сравнению, скажем, с восприятием дорожной ситуации во время вождения такси в Каире. Тем не менее задача восприятия в [п[егпег усложняется многими факторами. %еЬ- страница, показанная в листинге 10.1, является очень простой по сравнению с реальными торговыми узлами, которые включают соо]г[е-файлы, код )ача, )ачазсг[р(, 472 Часть Н1. Знания и рассуждения Е)азЬ, протоколы зашиты от роботов, плохо сформированный код НТМ), звуковые файлы, фильмы и текст, который появляется только в составе графического изображения, например в формате )РЕб.
Агент, способный действовать в пределах всей 1п(егпе(, должен быть поч~и таким же сложным, как и робот, способный двигаться в реальном мире. Поэтому мы сосредоточимся на описании простого агента, в котором не учитывается большая часть этих осложнений. Листинг 1О.1. %еЬ-страница типичного оперативною магазина в форме, воспринимаемой человеком— пользователем браузера (вверху), н соответствующая сгрока НТМ1., принимаемая браузером нлн воспринимаемая торговым агентом (вннзу). В языке НТМЬ символы межпу знаками < н > представляют собой директивы разметки, которые указывают, как должна отображаться страница.
Например, строка <1>ве1еос</1> означает, что нужно переключиться на курснвный шрифт, отобразить слово яезесс, а затем отменить использование курснвного шрифта. Идентификатор страницы, такой как Ьеер: //деп-ясоге. саш/ьоо)<в, называется унифицированным локатором ресурсов, нлн 1)КЬ (Ншуопп Кея>пгсе 1есагог). Разметка <а Ьгег="иг1" >впсЬог</н> означает, что должна быть создана гипертекстовая ссылка на локатор иг1 с текстом анкера нионог йепегзо Оп11пе Япоге Яе1есс ягою оиг Гьие 1зпе ог рго<(исса: Саюегая Воокя ° и1<(еоя ° Миягс Я"иге</Ь1> оиг Йзае 1зпе ог рго<(исса: В первую очередь задача агента состоит в том, чтобы найти соответствующие товарные предложения (ниже будет показано, как выбрать наилучшие из искомых предложений). Допустим, что г/иегу — описание товара, которое вводит пользователь (напримср, "1ар(орз" — портативные компьютеры); в таком случае некоторая страница представляет собой предложение, соответствующее запросу с/иегу, если страница действительно ему соответствует и содержит подходящее предложение.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
