Авторитетность издания
Добавить в закладки
Следующий номер на сайте
Разработка экспертных систем на основе трансформации информационных моделей предметной области
Аннотация:Описан программный комплекс для создания продукционных экспертных систем, ориентированный на непрограммирующего специалиста. Комплекс реализует методологию MDA, позволяющую создавать программные приложения на основе последовательной (пошаговой) трансформации информационных моделей предметной области. Особенностью предлагаемой реализации методологии MDA является использование онтологии в качестве вычислительно-независимой модели, авторской нотации RVML (Rule Visual Modeling Language) для создания платформенно-независимой модели, языка представления знаний JESS в качестве платформенно-зависимой модели. Приведены описания архитектуры, основных модулей программного комплекса, функций и универсальной логической модели базы данных, позволяющей хранить онтологию и продукционные модели, а также обеспечивать их взаимодействие. В статье также описывается авторская нотация RVML, специально разработанная для описания продукций с помощью графических примитивов, повышающая эффективность разработки продукционных БЗ и обладающая большей наглядностью по сравнению с UML при отображении причинно-следственных зависимостей.
Abstract: The paper describes the software to design rule-based expert systems. The software includes MDA methodolo-gy (Model Driven Architecture) and is intended for non-programmers. MDA is based on the stepwise transformation of do-main models. The proposed methodology feature is using ontology as a computation independent model (CIM); RVML (Rule Visual Modeling Language) as a platform independent model (PIM); JESS as a platform specific model (PSM). The architecture, main modules, functions and the universal logic data model for storing and interacting ontology and rules are presented. The RVML (designed to describe the rules with theaid of graphical primitives) is described. RVML increases the efficiency of rule-bases development by improving the clarity and comprehensibility of visualization of cause-effect relations (as compared with UML).
Авторы: Грищенко М.А. (makcmg@icc.ru) - Институт динамики систем и теории управления СО РАН, Иркутск (аспирант ), г. Иркутск, Россия, Юрин А.Ю. (iskander@irk.ru) - Институт динамики систем и теории управления СО РАН, г. Иркутск (доцент, зав. лабораторией), г. Иркутск, Россия, кандидат технических наук, Павлов А.И. (asd@icc.ru) - Институт динамики систем и теории управления СО РАН, г. Иркутск (старший научный сотрудник), Иркутск, Россия, кандидат технических наук | |
Ключевые слова: онтология., web-приложения, трансформация моделей, продукции, бз, экспертные системы, mda |
|
Keywords: ontology, web-application, transformation of models, rules, knowledge base, expert systems, mda |
|
Количество просмотров: 12354 |
Версия для печати Выпуск в формате PDF (13.63Мб) Скачать обложку в формате PDF (1.39Мб) |
Одним из самых трудоемких этапов создания экспертных систем (ЭС) является этап разработки БЗ, на котором решаются задачи концептуализации и формализации предметных знаний [1] с последующей реализацией их на определенном языке представления знаний (ЯПЗ). При этом в большинстве случаев разработчик ЭС должен иметь навыки программирования и знать какой-либо определенный ЯПЗ, что не всегда возможно. Решением данной проблемы является создание и использование программных средств, позволяющих абстрагироваться от конкретных ЯПЗ и сосредоточиться на моделировании предметной области. Пример таких систем – Protege [2]. Однако Protege не обеспечивает визуальное моделирование продукций и тестирование (исполнение и проверку) сгенерированных БЗ. В связи с этим требуется разработать программное средство, обеспечивающее моделирование предметной области и последующее автоматизированное создание БЗ и ЭС на основе разработанных моделей предметной области. В качестве методологической основы предлагается использовать MDA (Model Driven Architecture – архитектура, управляемая моделью) – перспективное направление в области программной инженерии, предполагающее разработку систем на основе трансформации и интерпретации информационных моделей [3]. Трансформация моделей при создании БЗ Согласно MDA [3], логика работы програм- мной системы, включая описание основных по- нятий, отношений между ними и способов их обработки, описывается в виде моделей, определяющих состав, структуру и поведение будущего программного продукта. При этом выделяют несколько моделей: вычислительно-независимую – CIM (Computation Independent Model), платформенно-независимую – PIM (Platform Independent Model), платформенно-зависимую – PSM (Platform Specific Model) и модели платформы – PM (Platform Model). CIM и PIM не привязаны к конкретным языкам или средам программирования и по сути являются моделями предметной области, PSM и PM зависят от платформ разработки и выполняют функции адаптеров или трансляторов, преобразующих или интерпретирующих модели предметной области в программный код или программные среды. Процесс разработки представляет собой последовательный переход и трансформацию моделей (рис. 1). В настоящей работе данный подход применяется для создания БЗ и ЭС продукционного типа: – CIM реализована в виде онтологии, описывающей основные понятия и отношения предметной области; – PIM представляет собой описание продукций, полученных путем автоматизированной трансформации CIM и уточнения полученных результатов; – PSM представляет продукции на ЯПЗ JESS (в результате трансформации PIM), интерпретирует их и объясняет вывод в специальной среде; – PM – синтаксические правила ЯПЗ JESS. Важным аспектом применения MDA является визуальное моделирование. При этом методология предписывает использовать UML для построения моделей предметной области. Полагая, что UML не позволяет наглядно и однозначно представить причинно-следственные зависимости, предлагается при описании PIM использовать дополнительно к UML авторскую нотацию для представления продукций – RVML (Rule Visual Modeling Language). Нотация для представления продукций – Rule Visual Modeling Language Предлагаемая нотация обладает большей выразительностью при описании причинно-следственных зависимостей по сравнению с UML, в частности, RVML позволяет (см. рис. 2) – использовать отдельные графические примитивы для отображения всех элементов продукций (а не стереотипы или типизированные классы, как в UML); – присваивать отдельным фактам субъективные вероятности в виде коэффициентов уверенности; – – Нотация RVML позволяет в простой и наглядной форме спроектировать продукционное правило, задать условие и действие. Она также дает возможность устанавливать коэффициенты уверенности, настраивать вывод сообщений, добавлять и удалять факты. В процессе решения практических задач реализации и апробации предлагаемого подхода был разработан исследовательский прототип программного комплекса. Функции программного комплекса Разработанный программный комплекс, являясь CASE-средством для создания БЗ и экспертных систем продукционного типа на основе ЯПЗ JESS, реализует следующие основные функции. · Создание вычислительно-независимой модели на основе онтологического моделирования: – в интерактивном режиме, – в процессе реинжиниринга существующих моделей. · Создание платформенно-независимых моделей БД и БЗ на основе трансформации модели онтологии: – описание БЗ продукционного типа, – создание логических моделей БД и их редактирование. · Создание и редактирование продукционных БЗ непрограммирующим пользователем в контексте управления БЗ. · Генерация БЗ и БД на основе трансформации платформенно-зависимых моделей: – преобразование моделей в БД в postgreSQL, – преобразование продукций на различные ЯПЗ (например CLIPS, JESS); обеспечивается возможность дальнейшей работы с продукциями в машине вывода CLIPS, JESS. · Тестирование и исполнение сгенерированных БЗ. Архитектура комплекса
Серверная часть: – модуль управления БЗ: загрузка и сохранение БЗ, а также слияние и разделение существующих БЗ; – модуль управления БД: взаимодействие системы с БД, загрузка и сохранение БД; – модуль управления онтологиями: интеграция понятия предметной области в БЗ с созданием на их основе продукций; – модуль генерации БЗ и БД на основе платформенно-зависимых моделей: преобразование продукции БЗ в выбранный ЯПЗ (например CLIPS, JESS) и логических моделей БД в БД. Клиентская часть: – модуль создания вычислительно-независимой модели (взаимодействия с онтологией): создание и редактирование модели предметной области (онтологии) непрограммирующими пользователями; – модуль создания платформенно-независимых моделей: создание непрограммирующим пользователем платформенно-независимых моделей (БЗ) в графическом виде; – редактор БЗ продукционного типа [4]. Структура хранения данных Ядром программного комплекса является универсальная модель для хранения понятий предметной области и их свойств, эти понятия могут также служить шаблонами продукций, для хранения которых модель также предназначена. При этом модель хранения продукций является модификацией предложенной ранее модели [4, 5]. Представленная модель включает понятия БЗ, правила, действия правил, постусловия правил, условия правил, предусловия правил, набор условий, шаблоны фактов, новые факты, новые факты на основании шаблонов, параметры новых фактов, атрибуты фактов, типы атрибутов фактов, возможные значения атрибутов, определения атрибутов фактов, условия на значения фактов (рис. 4). Программная реализация Для реализации клиент-серверной архитектуры используются сервер Apache2 с поддержкой PHP5, а также сервер PostgreSQL. Клиентская часть выполнена с помощью языка JavaScript и библиотек jQuery, jQueryUI, jsPlumb. Применение комплекса Программный комплекс для создания продукционных ЭС на основе трансформации информационных моделей применялся при разработке ЭС определения причин деградационных процессов, приводящих к повреждению, разрушению и отказу изделий химической и нефтехимической промышленности.
В заключение следует отметить, что с целью повышения эффективности создания БЗ и ЭС продукционного типа непрограммирующим пользователем было предложено использовать подход, основанный на трансформации моделей предметной области: CIM, PIM, PSM, PM. Для более эффективного построения платформенно-независимых моделей было предложено использовать авторскую нотацию Rule Visual Modeling Language, обеспечившую более наглядное (по сравнению с UML) отображение продукций. Реализация и апробация предлагаемого подхода при решении практических задач позволили разработать исследовательский прототип программного комплекса. Комплекс реализует методологию MDA для создания программных приложений на основе последовательной (пошаговой) трансформации моделей предметной области. Литература 1. Jess, the Rule Engine for the Java TM Platform. URL: http://www.jessrules.com/ (дата обращения: 28.03.2013). 2. The Protégé project. URL: http://protege.stanford.edu/ (дата обращения: 28.03.2013). 3. Грибачев К.Г. Delphi и Model Driven Architecture. Разработка приложений баз данных. СПб: Питер, 2004. 348 с. 4. Николайчук О.А., Павлов А.И., Юрин А.Ю. Компонентный подход: модуль продукционной экспертной системы // Программные продукты и системы. 2010. № 3. С. 41–44. 5. Юрин А.Ю., Грищенко М.А. Редактор баз знаний в формате CLIPS // Программные продукты и системы. 2012. № 4. С. 83–87. References 1. Jess, the Rule Engine for the Java TM Platform, available at: http://www.jessrules.com/ (accessed 28 March 2013). 2. The Protégé project, available at: http://protege.stanford.edu/ (accessed 28 March 2013). 3. Gribachev K.G., Delphi i Model Driven Architecture. Razrabotka prilozheniy baz dannykh [Delphi i Model Driven Architecture. Data bases applications development], Piter, 2004. 4. Nikolaychuk O.A., Pavlov A.I., Yurin A.Yu., Pro- grammnye produkty i sistemy [Software & systems], 2010, no. 3, pp. 41–44. 5. Yurin A.Yu., Grishchenko M.A., Programmnye produkty i sistemy [Software & systems], 2012, no. 4, pp. 83–87. |
Постоянный адрес статьи: http://swsys.ru/index.php?id=3575&page=article |
Версия для печати Выпуск в формате PDF (13.63Мб) Скачать обложку в формате PDF (1.39Мб) |
Статья опубликована в выпуске журнала № 3 за 2013 год. [ на стр. 143-147 ] |
Возможно, Вас заинтересуют следующие статьи схожих тематик:
- Редактор баз знаний в формате CLIPS
- Применение многоагентных технологий при разработке встроенных в портал экспертных систем
- Интегрированная система для разработки изделий из полимерных композиционных материалов на основе методологии PLM
- Проектирование интерпретатора языка QVT Operational Mappings для программного средства UML Refactoring в рамках модельно-ориентированного подхода
- Интеллектуальная поддержка принятия решений в экспертных системах при диагностике заболеваний полости рта
Назад, к списку статей