Введение. 
Унифицированное универсальное моделирование формализмов продукционных знаний

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

Цель настоящей работы состоит в разработке и реализации универсальной схемы описания произвольных продукционных моделей, основанной на уточнении конструктов языка моделирования абстрактных и прикладных пространств знаний, адаптируемых к указанным моделям. Такой системой обеспечивается возможность интеграции специальных методов и алгоритмов обработки продукционных знаний, дедуктивного порождения новых моделей на основе общих абстрактных (концептуальных) моделей с использованием специальных алгебраических операций расширения и интеграции моделей. Система конструктов формализованного языка описаний классов данных, морфизмов и предикатов, использованных для построения описания систем классов, составляющих модель абстрактного пространства знаний, может быть апробирована при построении такой модели.