Для понимания естественного языка требуется также выявление скрытых аспектов состояния, в частности намерений говорящего. Услышав фразу: "Джон увидел алмаз через окно и страстно пожелал его получить", мы знаем, что слово "его" относится к алмазу, а не к окну; мы рассуждаем, возможно даже подсознательно, с помощью имеющихся у нас знаний об относительной ценности этих предметов. Аналогичным образом, услышав фразу: "Джон бросил кирпич в окно и разбил его", мы понимаем, что слово "его" относится к окну. Рассуждения позволяют нам справиться практически с бесконечным количеством форм выражения мысли, используя конечный запас обыденных знаний. Сталкиваясь с неоднозначностью подобного рода, агенты, решающие задачи, испытывают затруднения, поскольку применяемый в них способ представления задач с непредвиденными ситуациями обусловливает экспоненциальный рост количества рассматриваемых вариантов.

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

Изложение темы, рассматриваемой в данной главе, начинается с описания общего проекта агента, приведенного в разделе 7.1. В разделе 7.2 представлена новая простая среда (мир вымышленных существ — вампусов) и показано, как функционирует агент, основанный на знаниях, без углубления в какие-либо технические подробности. После этого в разделе 7.3 представлены основные принципы логики. Логика будет служить основным средством представления знаний во всей части III данной книги. Знания логических агентов всегда являются определенными — каждое высказывание в этом мире является либо истинным, либо ложным, хотя агент может не знать о существовании некоторых высказываний.