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

•    Для крупномасштабного представления знаний требуется онтология общего назначения, позволяющая организовать и связать воедино различные специализированные области знаний.

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

•    В главе описана верхняя онтология, основанная на категориях и исчислении событий. Здесь рассматривались структурированные объекты, время и пространство, изменения, процессы, вещества и убеждения.

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

•    Мыслительные состояния агентов могут быть представлены строками, которые описывают их убеждения.

•    В главе представлен подробный анализ проблемной области совершения покупок в Internet, исследована общая онтология и показано, как знания проблемной области могут использоваться торговым агентом.

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

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

•    В целом для предоставления возможности осуществлять формирование рассуждений по умолчанию предназначены немонотонные логики, такие как логика косвенного описания и логика умолчания. Применение программирования множества ответов позволяет ускорить немонотонный логический вывод, во многом аналогично тому, как использование алгоритма WalkSAT ускоряет пропозициональный логический вывод.

•    Системы поддержки истинности позволяют эффективно осуществлять обновления и пересмотры баз знаний.