Искусственный интеллект

соответствующих утверждениям. Подэтап интеграции выполняется параллельно двум упомянутым и требует тщательного обдумывания, каким образом вновь создаваемая онтология будет интегрироваться с уже существующими. 3. Формирование вопросов. На этом этапе осуществляется обдумывание и формальное описание вопросов, на которые онтология должна давать ответы, выбирается программная среда для реализации онтологии. В следующем разделе на примере конкретной среды достаточно подробно рассмотрим процесс разработки и использования онтологии. Еще раз заметим, что принципиальным для создания онтологии является не процедурный, а декларативный подход. Теоретической основой большинства языков, используемых для кодирования онтологии, являются различные исчисления, в основе которых, как правило, лежит логика предикатов первого порядка с равенством. Используются и другие логики в качестве теоретической основы для онтологии.