Процедурные знания - Большая Энциклопедия Нефти и Газа, статья, страница 4
Еще один девиз Джонса: друзья приходят и уходят, а враги накапливаются. Законы Мерфи (еще...)

Процедурные знания

Cтраница 4


Логическая модель представляет собой формальную систему - некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое.  [46]

Эти знания обычно собираются заранее путем опроса специалиста в данной предметной области и составляют ядро базы знаний. Они используются также в блоке рассуждения системы, позволяя выводить следствия. Таким образом фактические и процедурные знания тесно переплетаются. Кроме того, в ходе работы системы приходится принимать решения, какие из таких правил следует использовать.  [47]

48 Общая структура фрейма. [48]

В качестве декларативной составляющей БЗ используются фреймы двух типов: объекта и процесса, отображающие оборудование ТОУ и процессы, протекающие в нем. Отношения состоит - из и является - частью определяют иерархию объектов и процессов, что позволяет описывать структуру ТОУ практически с любой степенью детализации. Содержимое терминалов ( значения характеристик) определяет значение фрейма. Значения характеристик устанавливаются либо на основании технологической информации, поступающей от ЭВМ АСУ ТП, либо в результате использования процедурных знаний. Процедурные знания связывают значения различных характеристик и представлены в БЗ продукционными правилами и вычислительными процедурами.  [49]

Предметные знания содержат данные о предметной области и способах преобразования этих данных при решении поставленных задач. Отметим, что по отношению к предметным знаниям знания о представлении и знания об управлении являются метазнаниями. Собственно предметные знания разбиваются на факты и исполняемые утверждения. Факты определяют возможные значения сущностей и характеристик предметной области. Однако мы избегаем использовать термин процедурные знания, так как хотим подчеркнуть, что эти знания могут быть заданы не только в процедурной, но и в декларативной форме.  [50]



Страницы:      1    2    3    4