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

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

В разделе 10.1 описывается идея общей онтологии, которая позволяет организовать все, что существует в мире, в виде иерархии категорий. В разделе 10.2 рассматриваются основные категории объектов, веществ и мер. В разделе 10.3 обсуждаются способы представления для действий, которые играют центральную роль в создании агентов, основанных на знаниях, а также раскрывается более общее понятие событий, или пространственно-временных фрагментов. В разделе 10.4 излагаются знания об убеждениях, а в разделе 10.5 все эти знания переводятся в контекст среды осуществления покупок в Internet. В разделах 10.6 и 10.7 рассматриваются специализированные системы формирования рассуждений для представления неопределенных и изменяющихся знаний.