1.54k likes | 1.74k Vues
ОГРАНИЧЕНИЯ ИЗВЕСТНЫХ ПОДХОДОВ. построение СППР рассматривается в основном в вычислительном аспекте, с позиций управления параллельными процессами для решения объемных вычислительных задач;
E N D
ОГРАНИЧЕНИЯ ИЗВЕСТНЫХ ПОДХОДОВ • построение СППР рассматривается в основном в вычислительном аспекте, с позиций управления параллельными процессами для решения объемных вычислительных задач; • предполагается осуществление централизованного управления распределением задач в вычислительной сети, что трудно применимо в КС, для которых характерна автономная активность территориально-разобщенных источников информации; • не рассматривается содержание процессов формирования и обработки знаний в корпоративных СППР; • не подвергается исследованию логико-семантический аспект создания КСППР; • методология разработки СППР отстает от современной объектно-ориентированной парадигмы разработки приложений в области информационных систем; • отсутствуют инструментальные средства, поддерживающие полный жизненный цикл разработки КСППР.
НАУЧНАЯ ПРОБЛЕМА • противоречие между необходимостью интеллектуальной интеграции в корпоративных системах поддержки принятия решений, и недостаточностью методов построения интегрированных интеллектуальных систем, неполнотой исследования вопросов создания прикладных корпоративных систем поддержки принятия решений • проблему построения корпоративных систем поддержки принятия решений, обладающих необходимыми интегративными и интеллектуальными свойствами для принятия эффективных решений в условиях изменяющейся гетерогенной информационной среды.
СПОСОБ РЕШЕНИЯ ПРОБЛЕМЫ - применение трех базовых принципов построения корпоративных систем поддержки принятия решений: - агентной ориентации; - иерархической интеллектуальной организации; - мультипликативности интеллектуальных агентов; - локальная концентрация знаний в базах знаний интеллектуальных компонентов; - разделение знаний по уровням интеллектуальной иерархии во взаимосвязи с иерархией управления в корпоративной системы; динамическая модифицируемая связь интеллектуальных агентов с информационной средой; - использование продукционного формализма, обеспечивающего модифицируемость и монотонность систем правил.
ОСНОВНЫЕ ОГРАНИЧЕНИЯ • знания ограничены символьной формой представления и логикой первого порядка: • языки информационного обмена считаются контекстно-свободными языками; • число уровней иерархии предметной области не более 5-7; • степень связности концептов предметной области не более 10.
ВОСХОДЯЩЕЕ ФОРМИРОВАНИЕ СООБЩЕНИЙ ЗНАНИЙ
ЭТАПЫ ФОРМИРОВАНИЯ СООБЩЕНИЙ ЗНАНИЙ
КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ПРЕДМЕТНОЙ ОБЛАСТИ
КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ПРЕДМЕТНОЙ ОБЛАСТИ
ТРАНСЛЯЦИЯ КОНЦЕПТУАЛЬНОЙ МОДЕЛИ ПРЕДМЕТНОЙ ОБЛАСТИ В СТРУКТУРНО-ЛОГИЧЕСКУЮ МОДЕЛЬ РСППР Процесс трансляции КМПО в структурно-логическую модель КИНС ППР состоит из пяти основных этапов: • решение задачи выделения интеллектуальных компонентов (задача ВИК); • построение дерева интеллектуальных компонентов; • построение дерева фрейм-концептов (декомпозиция FK-проекции по ДИК); • трансляция дерева фрейм-концептов в структурно-логическую модель КИНС ППР; • построение баз знаний интеллектуальных компонентов.
БАЗА ЗНАНИЙ ИНТЕЛЛЕКТУАЛЬНОГО КОМПОНЕНТА
АРХИТЕКТУРА ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА DISIT Транслятор логической модели Менеджер ИО Конструктор фрейм-концептов Логический конструктор Менеджер ФОС Конструктор баз знаний Менеджер логического вывода Конструктор моделей поведения Механизм обмена сообщениями Подсистема технического проектирования Подсистема концептуального проектирования Подсистема времени исполнения
АРХИТЕКТУРА КОНСТРУКТОРА ФРЕЙМ-КОНЦЕПТОВ
АРХИТЕКТУРА КОНСТРУКТОРА ЛОГИЧЕСКОЙ МОДЕЛИ
Модуль редактирования Модуль выполнения Создание и редактирование ИА Запуск и транспортирование ИА Создание и редактирование моделей поведения Частичное управление и мониторинг свойств ИА Модуль обмена сообщениями Управление обменом сообщениями Управление подключенными клиентами КОНСТРУКТОР МОДЕЛЕЙ ПОВЕДЕНИЯ
Редактор моделей поведения Создание и редактирование файлов моделей поведения ИА и ИО. Импорт моделей поведения из TLM файлов Интеллектуальный редактор с универсальным синтаксисом Компиляция и проверка сценариев поведения ИА и ИО Объектно-ориентированный интерфейс
Синтаксис сценариев поведения Создание своих термов языка сценариев. Создание своих правил разбора сценариев. Создание своих схем подсветки сценариев в редакторе.
Интеллектуальный редактор Использование различных схем подсветки текста. Вывод списка атрибутов родительских объектов. Удобная навигация и помощь при написании сценария
АРХИТЕКТУРА ТРАНСЛЯТОРА ЛОГИЧЕСКОЙ МОДЕЛИ
Распределенные базы знаний ИК Инженер по знаниям Запрос на вывод Файл транслятора логической модели *.TLM Файл БЗ ИК №N *.DBK Ответ на запрос … Конструктор баз знаний Менеджер логического вывода … Инженер по знаниям Обозначения: БЗ – база знаний ИК – интеллектуальный компонент БФ – база фактов ПС – предикатные символы ЛА – локальные аксиомы ГА – глобальные аксиомы РА – распространяемые вниз аксиомы Новые ГА и РА Менеджер формальной объектной системы Изменения в БФ, ПС, ЛА, ГА, РА УПРАВЛЕНИЕ ЗНАНИЯМИ