Проблемно-ориентированная информатика химико-технологических процессов. Кравцов А.В - 136 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

7.1.8. Базы знаний
База знаний – результат обработки и систематизации информации о
процессе в виде опыта технического персонала промышленной установ-
ки, сведений о неполадках и аварийных ситуациях, возникающих в про-
цессе эксплуатации, а также, данные технологического регламента про-
изводства.
Наличие баз знаний необходимо для оперативно проведения диагно-
стики отклонений в работе промышленных установок, выбора оптималь-
ного варианта технологической схемы переработки определенного сырья
и нахождения оптимальных режимных параметров. Гибкая структура базы
знаний должна быть функционально увязана с задачами, решаемыми тех-
нологами. Для использования знаний необходима формализация и органи-
зация всех знаний в некоторую систему для того, чтобы этими знаниями
можно было воспользоваться. Выбор модели из числа возможных полно-
стью определяется спецификой конкретной задачи.
Рассмотрим возможные варианты моделей.
Логическая модель
Данная модель отображает знания в предметной области в виде сово-
купности простых фактов, а также утверждений и суждений. Факты счи-
таются базовыми элементами логической модели. Утверждения и сужде-
ния составляются в виде формул. Формула записывается на основе базо-
вых элементов и специальных синтаксических и семантических правил.
Любая логическая модель задается совокупностью множеств:
,,,LTSAM=< >
;
где L – логическая модель, Т – множество базовых элементов, S – мно-
жество семантических и синтаксических правил, которые позволяют
строить из базовых элементов Т правильные синтаксические выражения
или формулы, А – множество аксиом или утверждений, не подлежащие
опровержению, М – множество семантических правил или правил вы-
вода, позволяющих расширить список аксиом новыми правилами и
формулами, которые после этого также становятся неопровержимыми
истинами или аксиомами.
Высказывания могут быть истинными и ложными. Например, такое
высказывание, как «колонна ректификации разделяет жидкости, имеющие
различную летучесть» всегда является истиной для азеотропных смесей.
Каждое простое высказывание в логической модели можно запи-
сать в символической форме. Например, А=’насос увеличивает давле-
ние в системе’ или В=’теплообменники используются для изменения
температуры потоков’.
136

Страницы