Компьютерная система
Комп'ютерна система "КАРКАС"
    







Регистрация »         Забыл пароль »

07 Февраль 2019
МОДЕЛЬ ІЄРАРХІЧНОЇ ФУНКЦІОНАЛЬНОЇ СИСТЕМИ ДЛЯ КЛАСТЕРНОГО АНАЛІЗУ Збірник наукових праць ХНУПС 2(56). Харків,  2018, с. 82 - 88. Розглядається модель ієрархічної функціональної системи предметної...

29 Апрель 2016
Сложность динамических систем Практика показывает, что главной в теории сложных систем становится проблема принятия решений при наличии многих целей. Динамической следует...

28 Апрель 2016
Формирование компетентностей и их оценка с помощью интеллектуальных тестов Рассматривается модель функциональной системы динамической предметной области, на основе понятия расслоения баз знаний для создания...

Модель формирования фактов онтологии

Пусть  A = {a1, a2,..., an }  — множество атрибутов предметной области,  Vj — множество возможных значений aj Î A и V = Ua Î A Va. Атрибуты могут быть измерены в разных шкалах (количественной, порядковой, качественной, смешанной).
Между атрибутом  aj  и его значением vj  определим следующие операции:
1) aj =   vj ,  = — знак операции означивания;
2) aj <   vj ,  < —  знак  операции  отношения  ( >, >=, <= );
3) aj Π [vj1 ,..., vjm ], Î знак — операции принадлежности ( [ ), ( ), ( ] ).
Атрибут, его значение и операция между ними определяют высказывание. Пусть  Q = {q: A -> V} множество высказываний.
На множестве Q определим две функции:
1. Функция  m : Q  ->  [0,…,1],  позволяет интерпретировать высказывание  q  с точки зрения его истинности.
2. Функция  q : Q  ->  [0,…,1], позволяет интерпретировать высказывание  q  с точки зрения его значимости.
Тогда триплет f = (q, m(q), q(q)), где q Î Q, назовем фактом  предметной области.
Пусть λ отображение из прямого произведения Q x [0,…,1] x [0,…,1] в Q x [0,…,1] x [0,…,1]. Через Г = { λ } множество всех возможных отображений таких, что λ(f) Î Q x [0,…,1] x [0,…,1].
Определим ситуацию   s   как  набор  фактов,  связанных  между собой знаками конъюнкции, дизъюнкции или отрицанием. Например,
s = f1   &  f2   U   (Ø f3)                                                             (3)
Обозначим через  S = {s}  множество всех ситуаций предметной области и p: S ->  S некотрое преобразование множества S  на себя. Рассмотрим итерации этого отображения, то есть результаты его многократного применения к точкам фазового пространства. Они задают динамическую систему с фазовым пространством S и множеством моментов времени N. Действительно, будем считать, что произвольная точка s0 Î S за время t = 1 переходит в точку s1 = p(s0) Î S. Тогда за время t = 2 эта точка перейдет в точку s2 = p(s1) = p( p(s0)) и т. д.
Пусть  R = {r: S  ->  S}  множество преобрахований (правил) следующего вида:
r :  ЕСЛИ  <АНТЕЦЕДЕНТ>  ТО  <КОНСЕКВЕНТ>
где <АНТЕЦЕДЕНТ> (условие – ситуация s1),  <КОНСЕКВЕНТ> (вывод, следствие – ситуация s2). Если ситуация s1 в правиле принимает значение истина, тогда ситуация s2  получает значение истина и добавляется к S. Другими словами, если ситуация s1Î S  в правиле принимает значение истина, тогда существует отображения qj: A -> V формирующее ситуацию s2  
s2 = q1 * q2      * qn  и * знак операций & , U ,Ø.
Если ситуация s1 в правиле принимает значение ложь, тогда ситуация s2  не добавляется к S. Например, ЕСЛИ  s  ТО  q4, Здесь s - ситуация (3), q4  -  некоторое  высказывание. Результатом выполнения  правила будет создан новый факт:
f4   = (q4 , m(q4 ), q(q4)),
m(q4 ) = k * max [min(m (q1 ), m (q2 )), (1— m (q3 ))].                                       
q(q4 ) = k * max [min(q(q1 ), q(q2 )), (1— q(q3 ))]                                            
Алгоритм построения онтологии:
составление полного и непротиворечивого логического описания ПрО;
формирование множества высказываний Q = {q: A -> V}
формирование объектов на основе правил из множества R = {r: S  ->  S}
установка иерархии объектов (построение дерева логического принятия решения, таксономии объектов)
Системы правил и фреймов являются основным способом синтеза и представления множеств (планов) отношения на множестве объектов. Фактор, который упорядочивает объекты (частичный порядок) и превращая ее в целенаправленную систему – это отображения r.
Классы составляют самоорганизующую совокупность для работы функциональной системы.
Замечание 1. Частичный порядок объектов осуществляется в результате, когда консеквент одного правила, например,  p1 содержится в антецеденте правила p2, тогда, объект 2 старше объекта 1.
Машина вывода состоит из  двух  частей: первая часть — анализатор правил, а вторая - механизм,  позволяющий наделить множество  S  определенной структурой.  Например, самая простая  структура — это линейная, позволяющая для определения некоторого факта или ситуации  установить  цепочку применений преобразований из S:
r0 -> r1  -> r2    -> ...  rn—1   -> rn .
Здесь r0  - начальное правило , а  rn  - результирующее правило, определяющее результат функционирования функциональной системы, а сама цепочка правил – траектория функциональной системы.
Для того чтобы машина вывода смогла выполнить самый элементарный шаг, она должна вначале активизировать анализатор правил, на вход которого подается текущее правило. Если правило применимо (значение антецедента истинно), то анализатор правил конструирует новый факт или новую ситуацию. В противном случае правило не рассматривается. В функции анализатора  правил входит:
1. Выполнить синтаксический анализ антецедента правила.
2. Вычислить булевское значение антецедента правила.
3. Если значение антецедента истинно, то  сформировать факт или ситуацию в зависимости от консеквентна правила.
Заметим, что консеквент правила обычно представляет собой одно высказывание. В случае если консеквент имеет несколько высказываний, то формула (3) применяется к каждому высказыванию и в результате получается простейшая ситуация — конъюнкция фактов.
Анализатор правил используется для проверки синтаксиса написания правил как в редакторе БЗ, так и в логической машине  вывода системы "КАРКАС" для вычисления коэффициентов уверенности фактов.
Важная роль атрибутов заключается в том, что они задают отношение между объектами онтологии, например, значением атрибута  является другой объект. Таким образом, порождается связь, вложенность объектов друг в друга.


 
2012 г. it-karkas.com.ua
Володимир Бурдаєв

 
Контакты
Статьи
Новости
Инфо для пользователей
Ссылки
Карта сайта

 
Рейтинг@Mail.ru

Copyright 2018 - it-karkas.com.ua
Разработка сайта - alphastudio.com.ua