Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

Исходя из вышеизложенного, процедура инкрементного ситуационного моделирования с применением представленного контекстного подхода будет состоять из перечисленных ниже этапов. 1. Мониторинг ситуации на моделируемой системе по обобщенному критерию качества [2] объекта, на котором находится ЛПР. 2. Детектирование изменений с учетом прикладного контекста в целях выявления подобъекта, являющего первопричиной проблемы. 3. Классификация ситуации на проблемном объекте. 4. Выявление класса желательных ситуаций на этом объекте с точки зрения ЛПР. 5. Анализ чувствительности с целью поиска точек воздействия. 6 . Выработка управляющих решений (с учетом контекстов). 7. Корректировка прикладных контекстов для поддержания их релевантности по отношению к текущей ситуации. При невозможности выбора единственной структуры на этапе выработки управляющих решений, имеющиеся альтернативы могут исследоваться в имитационном режиме согласно сценариям , представляющим собой последовательность достаточных ситуаций и определяющим конкретный вариант расчета. Для автоматизации работы с логическими формулами на всех этапах моделирования используется аппарат алгебры условных кортежей [12]. Представленные исследования ведутся совместно со СПИИ РАН с применением методологии полимодельных комплексов [7]. Второе направление исследований. При создании семантического интерфейса авторы столкнулись с тем, что интеллектуализация БД сильно осложнена отсутствием единого математического аппарата, который бы обеспечивал унификацию обработки данных и знаний, а также позволял единообразно моделировать различные механизмы рассуждений, как дедуктивных, так и недедуктивных. Применяемая в управлении данными реляционная алгебра не приспособлена для решения задач логического анализа. С другой стороны, используемый при обработке знаний аксиоматический метод доказал свою несостоятельность в управлении данными. В результате совместно с Б.А. Куликом (ИПМаш РАН) была разработана алгебра кортежей (АК) [12]. Доказано, что основные структуры данных и знаний, применяемые при моделировании рассуждений, представимы в терминах этой алгебраической системы. Кроме того, созданы алгебраические методы решения таких задач дедукции, как проверка правильности следствия, порождение возможных следствий. Были решены также некоторые задачи недедуктивного анализа, в частности, получение абдуктивных заключений, анализ гипотез с применением коллизий. Таким образом, АК предоставляет аппарат, позволяющий унифицировать дедуктивный и абдуктивный анализ. В дальнейшем планируется разработать алгебраические методы моделирования таких форм рассуждений, как индукция и аналогия. Заключение По мнению авторов, совместное использование контекстно­ ориентированного подхода, представленного в настоящей работе, методов ситуационного моделирования промышленно-природных объектов [2], а также 125