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

Возможным путем хотя бы частичного преодоления указанных препятствий является логический подход к решению задачи оптимального автоматизированного проектирования систем теплоснабжения жилых зданий, в основе которого лежит комплексная онтология, которую назовем онтологией теплоснабжения, включающая в себя весь багаж накопленных знаний. 307 13. Онтологии и их применение В настоящей главе не ставится задача рассмотрения всех аспектов онтологии теплоснабжения как формальной теории. Для этого понадобилась бы отдельная книга. Рассмотрим лишь некоторые свойства онтологии теплоснабжения и результаты ее применения. Вопросы, на которые предполагается получать ответ с помощью онтологии, обычно называют компетентными. Их формулируют как теоремы, в результате логического доказательства которых и получают ответ на поставленные вопросы. Как всегда выделяют два типа вопросов: прямые вопросы (анализа) и обратные вопросы (синтеза). Пример вопроса прямого типа: «Каковы будут эксплуатационные характеристики здания (комфортность и стоимость) при заданных значениях переменных здания и системы теплоснабжения (конструкции, применяемых материалах, ценах)?» Пример вопроса обратного типа: «Каковы должны быть значения переменных конструкции, чтобы обеспечить требуемые или наилучшее (оптимальные) эксплуатационные характеристики здания при заданных условиях, определяемых некоторыми константами (климатическими, стоимостными и т.п.)?»