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

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