Миварные логические сети развивают продукционный подход и используются для создания различных экспертных систем и Многомерных эволюционных прикладных автоматизированных информационных систем (МЭПАИС) поддержки принятия решений. Для расширения возможностей по применению этих формализмов проведен анализ существующих подходов и предложены новые пути развития миварных логических сетей на основе многомерных бинарных матриц для реализации одновременной эволюционной обработки более десяти тысяч правил в реальном времени.
Введение
Математические модели и методы создания интеллектуальных систем нашли широкое практическое применение в современных автоматизированных системах. Важную роль играет моделирование рассуждений, применение методов дискретной математики, миварных баз данных и правил, формирование пространства знаний в сети Интернет и Semantic Web. Известная многомерная эволюционная прикладная автоматизированная информационная система (МЭПАИС) поддержки принятия решений применятся в различных предметных областях и основана на миварных логических сетях и использовании линейного матричного метода определения маршрута логического вывода на адаптивной сети правил. Например, она используется для управления инновационными ресурсами (УИР) химической и нефтехимической промышленности (ХНП) России. Фактически, МЭПАИС УИР ХНП – это экспертная система реального времени для управления инновациями в ХНП России. Миварные логические сети могут реализовываться на многопроцессорных вычислительных системах или на сервисно-ориентированных архитектурах. В работе приведено описание применения многопроцессорного вычислительного кластера НИИР для распараллеливания алгоритмов в научно-технических и вычислительных задачах с использованием миварных технологий.
Отметим, что существуют различные программно-аппаратные реализации миварных логических сетей, например: программный комплекс «УДАВ» реализует логический вывод и конструирование алгоритмов решения вычислительных задач на миварной сети правил. В настоящее время выявляются новые возможности миварного подхода и развиваются технологии решения различных логико-вычислительных задач. Выполнено описание нескольких предметных областей в формализме миварных логических сетей в целях создания универсальной активной миварной Интернет-энциклопедии, где будут содержаться не только разрозненные факты, но и будут предоставляться сервисы по активному решению требуемых задач в различных областях.
Проведенный анализ возможностей и практического применения миварных логических сетей и продукционного подхода показал, что существуют определенные ограничения для их применения в современных информационных системах. Например, существовало ограничение, что нельзя было использовать правила выбора вида: «если..., то ..., иначе...», когда только часть выходных переменных получает значения. Это ограничение было снято путем применения многодольных графов.
Следующим ограничением является размерность матрицы линейного матричного метода определения маршрута логического вывода на адаптивной сети правил. При проведении экспериментов на многопроцессорных вычислительных комплексах ФГУП НИИР определено, что превышение размера квадратной матрицы свыше десяти тысяч правил/переменных становится критичным, требует развития и разработки новых решений. Таким образом, развитие миварного подхода является актуальной и практически важной задачей.
Внимание! Это всего лишь часть статьи Варламова О.О., Санду Р.А., Владимирова А.Н. и предназначена лишь для ознакомления с содержанием работы. Полная версия документа доступна по этому адресу.
