Cтраница 4
Логическая модель представляет собой формальную систему - некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. [46]
Эти знания обычно собираются заранее путем опроса специалиста в данной предметной области и составляют ядро базы знаний. Они используются также в блоке рассуждения системы, позволяя выводить следствия. Таким образом фактические и процедурные знания тесно переплетаются. Кроме того, в ходе работы системы приходится принимать решения, какие из таких правил следует использовать. [47]
Общая структура фрейма. [48] |
В качестве декларативной составляющей БЗ используются фреймы двух типов: объекта и процесса, отображающие оборудование ТОУ и процессы, протекающие в нем. Отношения состоит - из и является - частью определяют иерархию объектов и процессов, что позволяет описывать структуру ТОУ практически с любой степенью детализации. Содержимое терминалов ( значения характеристик) определяет значение фрейма. Значения характеристик устанавливаются либо на основании технологической информации, поступающей от ЭВМ АСУ ТП, либо в результате использования процедурных знаний. Процедурные знания связывают значения различных характеристик и представлены в БЗ продукционными правилами и вычислительными процедурами. [49]
Предметные знания содержат данные о предметной области и способах преобразования этих данных при решении поставленных задач. Отметим, что по отношению к предметным знаниям знания о представлении и знания об управлении являются метазнаниями. Собственно предметные знания разбиваются на факты и исполняемые утверждения. Факты определяют возможные значения сущностей и характеристик предметной области. Однако мы избегаем использовать термин процедурные знания, так как хотим подчеркнуть, что эти знания могут быть заданы не только в процедурной, но и в декларативной форме. [50]