The model ontology subject domain in system "KARKAS" , consists of hierar-chy of classes of subject domain, communications between them (conclusion rules) which operate within the limits of this model. In system the interpretation mechanism ontology in the conditions of dynamic change of its parametres (a base class, communications between classes and interactions of objects of classes) is offered. The system is constructed by a modular principle and for this reason has possibility of connection of other additional modules. In architecture of system it is possi-ble to allocate following basic modules: the loader; the module for working out knowledge base; the consultation module; the module cluster analysis the data.
The subject domain model is considered as functional system in which the result makes organising impact on all stages of formation онтологии. Classes and communications be-tween it can be considered as a logic design of functional system.
In system "KARKAS" the functional system is the formalized reflexion of subject do-main in the form of hierarchical structure of a set of managing directors a component which co-operate among themselves for overall objective achievement.
Предложенная концепция построения нейронной сети на базе иерархической функциональной системы показала свою эффективность при разработке онтологий в различных информационных динамических предметных областях: медицина, экономика, мобильная связь и кластерный анализ многомерных данных. Вертикальные возмущения ФС позволяют эксперту найти когнитивные ситуации, которые не были им обнаружены при проектировании базы знаний.
"Социально-сетевой анализ форумов при помощи пакета UCINet"Witology
Докладчик: Алексей Друца,
аспирант Мех-Мата МГУ, м.н.с. Лаборатории Компьютерного Моделирования Мех-мата МГУ.
Доклад посвящен демонстрации функциональных возможностей программного пакета UCINet с точки зрения проведения социально-сетевого анализа обсуждений интернет-форума.
Программный пакет UCINet представляет собой интегрированную среду по форматированию и обработке входных и выходных данных о графе, которым является ветка обсуждения интернет-форума.
В рамках семинара будут представлены краткое описание основных характеристик графов, полученных результатов, а также подробно рассмотрены отдельные функциональные блоки пакета.
Видео: http://vimeo.com/user7862600
Предложенная концепция построения нейронной сети на базе иерархической функциональной системы показала свою эффективность при разработке онтологий в различных информационных динамических предметных областях: медицина, экономика, мобильная связь и кластерный анализ многомерных данных. Вертикальные возмущения ФС позволяют эксперту найти когнитивные ситуации, которые не были им обнаружены при проектировании базы знаний.
"Социально-сетевой анализ форумов при помощи пакета UCINet"Witology
Докладчик: Алексей Друца,
аспирант Мех-Мата МГУ, м.н.с. Лаборатории Компьютерного Моделирования Мех-мата МГУ.
Доклад посвящен демонстрации функциональных возможностей программного пакета UCINet с точки зрения проведения социально-сетевого анализа обсуждений интернет-форума.
Программный пакет UCINet представляет собой интегрированную среду по форматированию и обработке входных и выходных данных о графе, которым является ветка обсуждения интернет-форума.
В рамках семинара будут представлены краткое описание основных характеристик графов, полученных результатов, а также подробно рассмотрены отдельные функциональные блоки пакета.
Видео: http://vimeo.com/user7862600
С.Ковалёв -- теория категорий как математическое основание MBSEAnatoly Levenchuk
Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии" на 96 заседании Русского отделения INCOSE, 12 ноября 2014г.
From Gaussian world to Pareto-Mandelbrot world: How nonlinearity, fractals, objects look like when they are social.
Observations, data, ideas, hypotheses.
В поисках математики. Михаил Денисенко, Нигмаyaevents
Михаил Денисенко, Нигма
Закончил факультет вычислительной математики и кибернетики МГУ. Завершает работу над диссертацией, посвященной математическим аспектам информационной безопасности. Занимался исследованиями в области обработки видеопоследовательностей и компьютерной безопасности в компании Intel. С 2009 года является старшим разработчиком математического сервиса в компании Nigma.ru. С 2011 года — системный архитектор поисковой системы ITim.vn.
Тема доклада
В поисках математики.
Тезисы
Nigma-Математика – это сервис, с помощью которого пользователи могут решать различные математические задачи (упрощать выражения, решать уравнения, системы уравнений и т. д.), вводя их прямо в строку поиска в виде обычного текста. Система распознает более тысячи физических, математических констант и единиц измерения, что позволяет пользователям производить операции с различными величинами (в том числе решать уравнения) и получать ответ в указанных единицах измерения. Помимо уравнений система решает все задачи, характерные для калькуляторов поисковых систем и конвертеров валют. В докладе будет описана общая схема функционирования сервиса, базовые и новые алгоритмы системы символьных вычислений (алгоритмы решения уравнений и неравенств, алгоритм учета области допустимых значений, алгоритм исследования функций и т.п.). Также будет рассказано об ускорении работы сервиса, распределении нагрузки на систему, распознавании математичности запроса, преобразовании валют и метрических величинах.
С.Ковалёв -- теория категорий как математическое основание MBSEAnatoly Levenchuk
Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии" на 96 заседании Русского отделения INCOSE, 12 ноября 2014г.
From Gaussian world to Pareto-Mandelbrot world: How nonlinearity, fractals, objects look like when they are social.
Observations, data, ideas, hypotheses.
В поисках математики. Михаил Денисенко, Нигмаyaevents
Михаил Денисенко, Нигма
Закончил факультет вычислительной математики и кибернетики МГУ. Завершает работу над диссертацией, посвященной математическим аспектам информационной безопасности. Занимался исследованиями в области обработки видеопоследовательностей и компьютерной безопасности в компании Intel. С 2009 года является старшим разработчиком математического сервиса в компании Nigma.ru. С 2011 года — системный архитектор поисковой системы ITim.vn.
Тема доклада
В поисках математики.
Тезисы
Nigma-Математика – это сервис, с помощью которого пользователи могут решать различные математические задачи (упрощать выражения, решать уравнения, системы уравнений и т. д.), вводя их прямо в строку поиска в виде обычного текста. Система распознает более тысячи физических, математических констант и единиц измерения, что позволяет пользователям производить операции с различными величинами (в том числе решать уравнения) и получать ответ в указанных единицах измерения. Помимо уравнений система решает все задачи, характерные для калькуляторов поисковых систем и конвертеров валют. В докладе будет описана общая схема функционирования сервиса, базовые и новые алгоритмы системы символьных вычислений (алгоритмы решения уравнений и неравенств, алгоритм учета области допустимых значений, алгоритм исследования функций и т.п.). Также будет рассказано об ускорении работы сервиса, распределении нагрузки на систему, распознавании математичности запроса, преобразовании валют и метрических величинах.
интелектуальный анализ экономических данных в системе каркасVladimir Burdaev
Модель базы знаний для интеллектуальной кластеризации многомерных данных в системе КАРКАС
Model knowledge base for intelligent clustering of multidimensional data in the system KARKAS
Модель базы знаний выбора источника финансирования инновационной деятельности Система Каркас
Model Knowledge Base selecting the source of funding innovation system KARKAS
Модель базы знаний для определения риска ишемической болезни сердца Система КАРКАС
Model Knowledge Base to determine the risk of coronary heart disease System KARKAS
1. Модель иерархической
функциональной системы
динамической предметной области
моделирование функциональных систем
динамические базы знаний предметной области
Бурдаев Владимир Петрович
Харьковский национальный экономический университет
к.ф.- м.н., с.н.с., доцент кафедры информатики и
компьютерной техники
агентный подбор адаптивной стратегии
принятия решения
burdaevVP@mail.ru http://www.it-karkas.com.ua
2. • Функциональная система (ФС) по П.К.Анохину
─ это система, сформированная для достижения
заданного полезного результата (целевой
функции) в процессе своего функционирования
• Системообразующим фактором
функционирования системы является конкретный
результат.
Проблема
Построение математической и компьютерной
модели (ФС) и ее техническая реализация.
Функциональная система
burdaevVP@mail.ru http://www.it-karkas.com.ua
3. • Отличительной особенностью ФС – в их открытости, не
автономности, не изолированности от внешней среды
• Математической моделью описывающей эволюцию таких
систем служат неавтономные дифференциальные
уравнения
• Для изучения топологических свойств неавтономных
уравнений применяются математический аппарат
расширений динамических систем основанный на понятии
расслоения (глобальный анализ)
Модели открытых (“живых”)
систем
burdaevVP@mail.ru http://www.it-karkas.com.ua
4. • Представление динамической предметной области в виде
иерархической ФС, в которой база знаний ассоциируется с цепочкой
расслоений для эволюции главной ее цели
• На каждом уровне иерархии ФС слои цепочки расслоения баз знаний
содержат знания для управления ее с целью достижения конкретного
результата
• В предметной области выделяются классы и отношения между ними,
которые формируют структуру иерархической ФС
• Для функционирования иерархической ФС в автоматическом режиме
отключается интерактивный блок связи с пользователем
• ФС позволяет генерировать в дискретные моменты времени
изменения объектов предметной области
Собственный оригинальный
подход
burdaevVP@mail.ru http://www.it-karkas.com.ua
5. • Представление предметной области в динамике с
помощью иерархической модели ФС в виде цепочки
расслоений баз знаний
• Математическая модель иерархической ФС представляет
собой сечение цепочки расслоений баз знаний
• Компьютерная модель иерархической ФС является
формализованным отражением предметной области в виде
иерархической структуры набора управляющих
компонент (агентов), которые взаимодействуют между
собой для достижения конкретной цели
Новые принципы
burdaevVP@mail.ru http://www.it-karkas.com.ua
6. • Не вполне строгое определение расширения
динамических систем представлена моделью (1)
dx/dt = f(x,y)
(1)
dy/dt = g(y)
• Приведем описание модели (1) в терминах глобального
анализа. Тройка объектов (M, p, B) образует расслоение,
где p: M → B непрерывное отображение (проекция), B –
база расслоения, Mb ≡ p-1 (b) – слой расслоения.
• Кроме двухуровневых существуют и более сложные
многоуровневые системы
Математическая модель ФС
burdaevVP@mail.ru http://www.it-karkas.com.ua
7. • Пусть (M, p, B) – гладкое расслоение и X: M → TM и Y : B
→ TB - два векторных поля, причем Tp(X(m)) = Y(p(m))
(m ∈ M). В локальных координатах поле X задается
системой вида (1), поле Y – вторым уравнением этой
системы
• Пусть (M, R, π) и (B, R, ρ) – фазовые потоки векторных
полей X и Y соответственно. Тогда отображение p: M →
B является гомоморфизмом потока (M, R, π) на (B, R, ρ),
т.е.
p(πt(m)) = ρt(p(m)) (m ∈ M, t ∈ R )
• В таком случае говорят, что поток (M, R, π) является
расширением потока (B, R, ρ)
Математическая модель ФС
burdaevVP@mail.ru http://www.it-karkas.com.ua
8. • Часто само отображение p:(M, R, π) → (B, R, ρ) называют
расширением динамических систем
• При этом база B интерпретируется как фазовое
пространство среды, а фазовые состояния изучаемого
объекта при фиксированном состоянии b ∈ B внешней
среды изображаются точками слоя Mb ≡ p-1 (b)
• Пусть задано гладкое расширение p:(M, R, π) → (B, R, ρ)
разлагающееся в цепочку расширений pi:(Xi, R, πi) →
(Xi+1, R, πi+1) (i=0,1,...,n-1) т.е. (X0, R, π0)=(M, R, π), (Xn,
R, πn)= (B, R, ρ) и pn-1 o…o p1 o p0=p
• Задание этой цепочки можно интерпретировать как
выделение в системе (M, R, π) иерархии уровней (Xi, R,
πi) (i=0,1,...,n-1)
Математическая модель ФС
burdaevVP@mail.ru http://www.it-karkas.com.ua
9. Математическая модель иерархической ФС представлена
сечениями прообразов цепочки расслоений в следующей
коммутативной диаграмме pоπ = ρоp
Математическая модель ФС
X0 –уровень π
P0
.
.
.
Xn-1 уровень
Pn-1
Xn урівень ρ
burdaevVP@mail.ru http://www.it-karkas.com.ua
10. • Для компьютерного моделирования открытой системы строится
иерархическая ФС, которая во время своего функционирования
достигает заданного полезного результата
• На каждом уровни иерархии системы функционируют агенты,
имеющие свои локальные базы знаний с определенными подцелями,
которые предназначены для достижения основного результата
• Техническая реализация выполнена в виде инструментальной среды
для создания расслоений баз знаний – система "КАРКАС"
• Демонстрационная версия системы для OC WinXP (возможно
подключить MS agent) и Win7 доступна на электронном ресурсе:
http://it-karkas.com.ua
Компьютерная модель ФС
burdaevVP@mail.ru http://www.it-karkas.com.ua
11. • ФС в динамике. Изменение сечения прообразов цепочки расслоения базы
знаний (иерархической ФС) при обработки их агентом вывода
• t0 – зеленый цвет ФСt0 , t1 – желтый цвет ФСt1 , t2 – красный цвет ФСt3 и т.д.
Компьютерная модель ФС
2 уровень
0 уровень
1 уровень
burdaevVP@mail.ru http://www.it-karkas.com.ua
12. • Идея воплощена в виде инструментальной среды
"КАРКАС", которая, используя агентов для принятия
решения в цепочки расслоения базы знаний обеспечивает
функционирование ФС
• Система используется в ряде прототипов
интеллектуальных систем в следующих предметных
областях: медицина, экономика, мобильная связь и
кластерный анализ многомерных данных.
• Система "КАРКАС" может быть адаптирована для
создания интеллектуальной системы для управления
сложными объектами как, например, энергетический блок
при динамическом изменении параметров предметной
области.
Компьютерная модель ФС
burdaevVP@mail.ru http://www.it-karkas.com.ua
13. КАРКАС 2013
подготовка модели функциональной системы
визуальный редактор
атрибуты
правила
фреймы
иерархия ФС
сечения прообразов
14. КАРКАС 2013
режим консультации
модели баз знаний
агент вывода
диалог пользователя
объяснение КАК
объяснение ПОЧЕМУ
доска объявлений
burdaevVP@mail.ru http://www.it-karkas.com.ua
15. КАРКАС 2013
режим тестирования пользователя
выбор теста
динамическое
генерирование теста
диалог
лица “Чернова”
аргументация оценки
теста
настройка теста
17. • Проект “Мозг Анимата” (Анохин К.В.)
• Использование темпоральных знаний в интегрированных
экспертных системах (Рыбина Г.В.)
• Моделирование динамической интеллектуальной системы
(Осипов Г.С)
• Использование нечеткого темпорального графа (Берштейн
Л.С.)
• Открытые многоагентные системы с самоорганизацией
(Городецкий В.И.)
Другие подходы к моделированию
ФС и динамических знаний
burdaevVP@mail.ru http://www.it-karkas.com.ua
18. СИСТЕМА КАРКАС 2013
БЛАГОДАРЮ ЗА ВНИМАНИЕ
Модель иерархической функциональной системы динамической
предметной области основанная на понятии цепочки расслоений
баз знаний
Построение онтологии предметной области: классов, их
экземпляров (объектов), атрибутов
Частично-упорядочивание классов и их визуализация в виде
сечения прообразов цепочки расслоении баз знаний
Генерирование уровней иерархии ФС и обработка баз знаний на
этих уровнях
Использование технологии Microsoft Agent для сопровождения
пользователя во время диалога с ним
Бурдаев Владимир Петрович
к.ф.- м.н., с.н.с., доцент кафедры ИКТ ХНЭУ
E-mail: burdaevvp@mail.ru
http://www.it-karkas.com.ua