1 / 17

Развитие элементов языка описаний и технологии построения цифровых пространств знаний

Развитие элементов языка описаний и технологии построения цифровых пространств знаний. Пространства знаний. Пространства знаний – общие и специальные модели, представляющие представления о многообразиях знаний в предметных областях и средствах работы со знаниями.

mannix-duke
Download Presentation

Развитие элементов языка описаний и технологии построения цифровых пространств знаний

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Развитие элементов языка описаний и технологии построения цифровых пространств знаний

  2. Пространства знаний Пространства знаний– общие и специальные модели, представляющие представления о многообразиях знаний в предметных областях и средствах работы со знаниями. Абстрактные пространства знаний– формальные модели, позволяющие изучать свойства многообразий идеальных знаний с помощью математических инструментов. Цифровые пространства знаний - информационные системы, содержащие в структурированном и связном виде знания предметных областей, поддерживающие процессы их приобретения и практического использования.

  3. Множество данных Формальная модель Множество морфизмов Множество предикатов Формальная модель На множествах T, F и P определены вычислимые семейства классов CT, CF и CP, содержащих все элементы данных множеств. Такие семейства структурированы разрешимымиотношениями вложения и агрегирования классов, обозначаемыми в виде и.

  4. Операции конструирования и трансформации пространств знаний 1. Интеграция – расщепление 2. Гомоморфное расширение – гомоморфное вложение  1  3  1  2  2

  5. Диаграмма преобразований моделей интеллектуальных систем и их программных реализаций Программно реализуемые модели Теоретические модели

  6. Язык моделирования пространств знаний KML

  7. Модели апробации, расширения и уточнения языка Формальная модель ( PS ) Абстрактное пространство знаний Формальная модель ( WSV ) Формальная модель ( PR )

  8. Унифицированная структура определений элементов абстрактного пространства знаний DF-section 1. Диаграмма классов 2. Описания классов DP-section Описание класса: DT-section ) ( ; ; ; имя форматы свойства алгоритмы

  9. Диаграммы классов объектов абстрактного пространства знаний 1 2 3

  10. Общая структура описаний Section <имяраздела> begin Subsection Basic begin Subsection Basic end Subsection Special begin Subsection Special end Subsection Universal begin Subsection Universal end Section <имяраздела > end Разделы описаний: Section DT – классы данных Section DF – классы морфизмов Section DP – классы предикатов

  11. Примеры описаний классов • {Класс конфигураций} • (M; {zi | i  N};   M; G(M), D(M)). • 2. {Семантическое пространство} • (R;{ri| i  N & ri (M  M)* };E  R, T  R; G(R), D(R)). • 3. {Семейство параметризованных классов вершин ПСП конфигураций} • (D(z); { | z M &  =   = &  I &{0,1} & ((z))  (, ) }; • G(D(z)), D(D(z))). • 4. {Каноническое разложение конфигураций} • ({}; : MM  M; ()= (, ); G({}). • 5. {Каноническое семантическое связывание} • ( {};: MR; z M ((z)= (z1, z2) &z1  z2 ) (z)  (z)), •  r R z1, z2 M! z M((z)= (z1, z2) & (z)  (z)) ;G({}). • 6. {Вложение двоичных наборов} • ({Incl}= {};(I, I);  ,  I(     I(=   )); G({Incl}). • 7. {Трассируемость конфигураций} • ({Tr};Tr(M, M); Tr(z1, z2)   F Tr(  D(z1) \ O(z1) ([z1]   1[z2]  () )& • &   O(z1)((z1) )  0[z2]  () ); G({Tr}).

  12. Элементы языка описания компонентов цифрового пространства знаний <Раздел> = "section" <Имя раздела> "begin" { <Определение класса> | <Подраздел> } "section" <Имя раздела> "end" . <Подраздел> = "subsection" <Имя подраздела> "begin" { <Определение класса> | <Подраздел> } "subsection" <Имя подраздела> "end" . <Определение класса> = <Идентификатор класса> "{" <Описание класса> "}" "(" <Ns> [";" <Fs> ] [";" <Ps> ] [";" <As> ] ")." .

  13. Область имен формального определения класса <Ns> = <Имя класса> { "=" <Имя класса> } . <Имя класса> = ( <Имя> { "" <Имя> } ) | <Имя с параметром> | <Имя одноэлементного класса> . < Имя > = <Слово> [ < Слово > | "*" | <Число> ] [ < Слово > | <Число> ] . <Имя с параметром> = <Имя> "(" < Имя переменной> { "," < Имя переменной> } ")" . <Имя одноэлементного класса> = "{" <Имя> "}" | "{" <Специальное имя> "}" .

  14. Область форматов <Формат множества> = <Формат множества_Перечисление> | <Формат множества_Характеристический предикат> . <Формат множества_Перечисление> = "{" <Имя переменной> { (","<Имя переменной> ) | ",…" } "}" . <Формат множества_Характеристический предикат> = "{" <Имя переменной> ( ":" | "|" ) <Формула> "}". <Формат морфизма> = <Имя морфизма> ":" <Имя класса> { "" <Имя класса> } " " <Имя класса> { "" <Имя класса> } . <Формат предиката> = <Имя предиката > "(" <Имя класса> { "," <Имя класса> } ")" .

  15. XML – описание структуры пространства знаний

  16. XML – описание структуры пространства знаний

  17. Развитие элементов языка описаний и технологии построения цифровых пространств знаний Вологдина Н. Н. Еремчук А. П. Костенко К. И. Сальков А. А. Сеченев С. Л. Кубанский государственный университет E-mail: kostenko@kubsu.rua.eremchuk@mail.ru Спасибо за внимание !

More Related