Удк 004. 8 И. Л. Артемьева



Скачать 251.89 Kb.
Дата08.10.2012
Размер251.89 Kb.
ТипДокументы
УДК 004.8

И.Л. Артемьева

Институт автоматики и процессов управления, г. Владивосток, Россия

artemeva@iacp.dvo.ru

Многоуровневые математические модели предметных областей*

В работе определен класс математических моделей для представления многоуровневых моделей предметных областей. Описывается состав такой модели. Рассматриваются примеры предметных областей и их многоуровневых моделей. Описываются методы разработки таких моделей.

Введение

При разработке системы, основанной на знаниях, обычно используется онто­логия предметной области (ПО), которая представляет собой набор определений понятий ПО и их взаимосвязей. Онтология ПО определяет структуру знаний этой области, термины онтологии также используются при решении задач. Системы, основанные на знаниях, позволяют изменять знания, но не позволяют изменять онтологию, поскольку онтология фиксируется при создании программной системы. Однако существуют предметные области, в которых может изменяться (расши­ряться) как система знаний, так и используемая система понятий (онтология). Кроме того, существуют сложно структурированные предметные области, где разделы онто­ло­гии имеют сходную структуру, для определения которой может использоваться онтология более высокого уровня общности (онтология онтологии). Также существует сходство между онтологиями и более высоких уровней общности, которое может быть описано в терминах онтологий еще более высокого уровня.

Наличие многоуровневых онтологий было обнаружено при разработке моделей онтологии некоторых разделов химии [1-7], а также модели онтологии оптимизи­рую­щих преобразований программ. Структура многоуровневой модели для органической химии описана в работе [8].

Целью данной работы является определение класса математических моделей для представления многоуровневых моделей предметных областей.

Предпосылки создания многоуровневых моделей

В настоящее время разработаны онтологии и их модели для различных предметных областей. В качестве примеров можно привести модели онтологии физии­ческой [1], [2] и органической химии [2-6], некоторых разделов аналитической химии [7], оптимизи­рующих преобразований программ [9], [10], медицинской диагностики [11]. Онтология определяет систему понятий предметной области, т.е. определяет мно­жество терминов для обозначения понятий и связи между значениями терминов (онто­ло­гические соглашения предметной области). Для каждого термина онтология задает объем обозначенного им понятия. Среди множества терминов онтологии существуют термины, которые используются при формализации знаний (онтология знаний) и термины, которые используются при задании входных и выходных данных задач (онтология действительности) [12].
Существуют также онтологии, в которых присутствуют только термины онтологии знаний, а также онтологии, в которых присутствуют только термины онтологии действительности.

Содержание онтологий более высоких уровней продемонстрируем на примере. В онтологии знаний физической химии можно выделить термины, которые представляют собой названия свойств химических элементов. Каждый такой термин обозначает функцию, аргументом которой является химический элемент, а результатом – значение свойства, т.е. объем данного понятия – это отображение, областью определения которого является множество химических элементов, а область значений своя для каждого свойства. Такие же термины можно найти и в онтологии органической химии и онтологиях других разделов. Кроме терминов, которые определяют названия свойств элементов, существуют также термины, которые представляют собой названия свойств химических соединений, реакций, радикалов и т.д.

Анализ упомянутых онтологий также показал, что существуют и другие множества терминов, которые обладают некоторыми общими свойствами. Такими терминами являются термины, которые позволяют определить состав химических элементов или химических веществ. Каждый такой термин представляет собой функцию, аргументом которой является химический элемент или вещество, а результатом является множество компонент элемента или вещества. Существуют также термины, которые позволяют определить различные свойства элемента в составе вещества, вещества как участника реакции и т.д.

Поэтому правомерным является вывод о существовании онтологии второго уровня, которая есть результат анализа онтологии первого уровня. Эта онтология, по сути, является онтологией онтологии первого уровня. Ее термины определяют множества и свойства элементов этих множеств. Например, для рассмотренных примеров онтология второго уровня будет содержать термины «собственные свойства элементов» (множество функций, областью определения которых является множество химических элементов, а область значений зависит от термина, задающего название свойства), «собственные свойства веществ» (множество функций, областью определения которых является множество химических веществ, а область значений зависит от термина, задающего название свойства), «компоненты вещества» (множество функций, областью определения которых является множество химических веществ, а область значений зависит от типа компонента; это может быть, например, множество химических элементов) и т.д.

Переход к следующему уровню происходит тем же способом: если в онтологии второго уровня существуют термины, обладающие некоторым общим свойством, то можно ввести термин, обозначающий множество, которому будут эти термины принадлежать. Термины онтологии более высокого уровня будут задавать имена более общих множеств понятий. Для рассмотренного примера такими терминами могут быть термины «собственные свойства сущностей» (множество функций, областью опреде­ления которых является множество сущностей некоторого типа, а область значений зависит от термина, задающего название свойства). В этом случае также появляются термины, обозначающие вспомогательные понятия. В рассмотренном примере таким термином является термин «типы сущностей», который обозначает множество названий типов сущностей (его значением могут быть термины «химические элементы», «химические вещества» и т.д.).

Переход к онтологии более высокого уровня позволяет описать более общие свойства предметной области. Переход от онтологии более высокого уровня к онтологии более низкого уровня происходит посредством задания терминов, принадле­жащих множествам, обозначенным терминами онтологии более высокого уровня.

Для пояснения других свойств многоуровневых онтологий рассмотрим пример. На рис. 1 представлена структура предметной области «Химия» (много­точие на этом и следующем рисунках обозначает, что приведен лишь некоторый фрагмент). Эта область состоит из различных разделов, каждый из которых изучает различные свойства элементов, веществ и реакций, состав веществ и элементов, условия существования веществ и прохождения химико-физических процессов.


Для этой предметной области была разработана трехуровневая онтологии. Ее структура приведена на рис. 2. Примерами терминов онтологии третьего уровня являются следующие термины: типы сущностей, сущности, собственные свойства сущностей, совместные свойства сущностей. Каждый тип сущностей представляет собой некоторое множество сущностей; каждая сущность может иметь имя, быть представлена числом, быть логическим значением либо кортежем значений. Множества сущностей различных типов не пересекаются. Характеристикой каждой сущности является ее тип. Каждая сущность может иметь свой набор собственных свойств.

Онтология второго уровня представляет собой множество онтологий разделов, т.е. представляет собой совокупность модулей, соответствующих разделам. Термины онтологии раздела – это представители множеств терминов онтологии химии. Например, для органической химии сущности бывают химическими элементами, веществами, органическими соединениями, реакциями и т.д.

Онтология первого уровня для каждого раздела представляет собой множество онтологий подразделов – модулей онтологии первого уровня. Каждый модуль онтологии первого уровня содержит определение связанных множеств терминов. Например, в онтологии первого уровня для физической химии [1] выделены следующие модули: «Элементы», «Вещества», «Реакции», «Основы термодинамики», «Термодинамика. Химические свойства», «Термодинамика. Физические свойства», «Термодинамика. Связь физических и химических свойств», «Химическая кинетика». В первых трех модулях определяются термины, описывающие свойства сущностей соответствующего типа. В модуле «Основы термодинамики» определены термины, используемые при описании общих свойств термодинамических систем и их компонентов. Состояния термо­динамической системы могут изменяться в ходе физико-химического процесса. Состояния процесса задаются в дискретные моменты наблюдения. В разделе «Термодинамика. Физические свойства» определены термины, используемые при описании фазовых превращений веществ в ходе процесса, без учета химических превращений. В разделе «Термодинамика. Химические свойства» определены термины, используемые при описании химических превращений веществ в ходе процесса, без учета фазовых превращений. И, наконец, в разделе «Термодинамика. Связь физических и химических свойств» определены термины, используемые при описании физико-химических процессов. В разделе «Химическая кинетика» определены термины, описывающие динамику прохождения процессов.

Модель онтологии третьего уровня для химии

Таким образом, модули онтологии первого уровня определяют свойства сущностей каждого типа. Схема определения свойства фиксируется в онтологии третьего уровня.

Конкретный набор сущностей каждого типа, а также значения их свойств задаются в знаниях раздела. Знания также имеют модульную структуру. Деление знаний на модули совпадает с делением на модули онтологии первого уровня.

Определение многоуровневых моделей

Математическая модель предметной области содержит модель онтологии, модель знаний и модель действительности ПО [12]. Если онтология ПО имеет n уровней, то число уровней модели предметной области будет равно n + 2.

Многоуровневая математическая модель ПО есть последовательность On, {n, On-1>}, …, {n, On-1, …, O1>}, {n, On-1, …, O1, S>}, {n, On-1, …, O1, S, A(S)>}. Здесь On – модель онтологии уровня n, {n, On-1>} – модель онтологии уровня (n – 1), …, {n, On-1, …, O1>} – модель онтологии первого уровня; {n, On-1, …, O1, S>} – модель знаний ПО; {n, On-1, …, O1, S, A(S)>} – модель действительности ПО. Данное определение является обобщением определения математических моделей предметных областей, введенных в работах [12], [13].

Последовательность On, {n, On-1>}, …, {n, On-1, …, O1>} назовем много­уровневой необогащенной системой логических соотношений (НСЛС), On – НСЛС уровня n, n,On-1> – НСЛС уровня n – 1, …, n, On-1, …, O1> – НСЛС первого уровня. Как следует из определения, модели онтологии уровней с номерами от (n – 1) до 1 (т.е. {n, On-1>},…, {n, On-1, …, O1>}) представляют собой множество моделей модулей этой онтологии. Модель модуля онтологии – это НСЛС соовет­ствующего уровня.

Множество {n, On-1, …, O1, S>} назовем обогащенной системой логи­ческих соотношений (СЛС). Это множество является модульной моделью знаний предметной области.

Каждая НСЛС уровня k – 1 получается из НСЛС уровня k в результате задания обогащения НСЛС уровня k. Обогащенная СЛС представляет собой множество НСЛС уровня 0, причем каждый элемент этого множества получается из НСЛС первого уровня заданием обогащения. Множество {n, On-1, …, O1, S, A(S)>} назовем множеством решений обогащенной СЛС {< On, On-1, …, O1, S>}.

Необогащенная система логических соотношений уровня m Om есть пара <m, Pm>, где m = namem consm sortm, причем namem – множество определений терминов m-го уровня, consm – множество ограничений на значения терминов m-го уровня, sortm – множество определений конструкторов множеств m-го уровня, Pm – множество параметров m-го уровня. Множества sortm и Pm могут быть пустыми, но sortm Pm . ПЛТ m должна быть семантически корректной ПЛТ [13].

Каждое определение термина m-го уровня задает имя термина и его сорт. Каждое определение конструктора задает имя конструктора. Определение конструктора имеет вид t ((v1: M111) … (v1q1: M1q1) ((v21: M21(v1,…vq1)) … (v2q2: M2q2(v1,…vq1)) … ((vs1: Ms1(v1,…vqs-1)) … (vsqs: Msqs(v1,…vqs-1)) M(v11,…vsqs)). Определение хотя бы одного из множеств M11, …, M1q1,…, Msqs, M(v11,…vsqs) зависит от параметров уровня, на котором дано определение данного конструктора. Конструктор имеет порядок s. Значение s не может превышать m, т.е. на уровне с номером m могут быть определены конструкторы, имеющие порядок от 1 до m – 1.

Обогащение необогащенной системы логических соотношений Om имеет вид km= <mP, SNm, Rm, m, DPm>, где mP – множество определений значений имен параметров m-го уровня, SNm – множество определений сортов имен, Rm – множество предложений – ограничений на интерпретацию имен, m – множество определений имен конструкторов множеств, DPm – множество параметров (m – 1)-го уровня (может быть пустым).

Для обогащения должны выполняться следующие условия: если на уровне m определены параметры, то обогащение должно задавать их значения, при задании обогащения для уровня выше первого либо определяются термины следующего уровня, либо имена конструкторов множеств. Множество параметров может быть пустым. Обогащение для первого уровня содержит только либо множество значений параметров первого уровня, либо множество связей между значениями терминов нулевого уровня, которые уже были определены на предыдущих уровнях. Таким образом, при m > 1, если Pm , то mP  , множество Rm может быть пустым, SNm  m , DPm может быть пустым, а при m = 1 1P R1  , 1 = , DP= .

Определение сорта имени (m – 1)-го уровня из множества SNm имеет вид сорт p: t(c1, c2,…cq1), где p – имя параметра, t(c1, c2,…cq1) – применение конструктора первого порядка, определенного на одном из предыдущих уровней. Таким образом, определение термина следующего уровня производится с использованием определенного на предыдущих уровнях конструктора первого порядка.

Определение конструктора множества имеет вид t1 t(c1, c2,…cq1)
либо t1 ((v11: M11) … (v1q1: M1q1) ((v21: M21(v1,…vq1)) … (v2q2: M2q2(v1,…vq2)) … ((vs1: Ms1(v1, …vqs-1)) … (vsqs: Msqs(v1, …, vqs-1)) M(v11, …vsqs)), где t1 – имя конструктора, t(c1, c2, …cq1) – применение конструктора m-го уровня t, имеющего порядок, больший 1. Во втором случае определение хотя бы одного из множеств M11, …, M1q1, …, Msqs, M(v11, …vsqs) зависит от параметров (m – 1)-го уровня. Таким образом, определение имени конструктора производится с использованием определен­ного на предыдущем уровне конструктора порядка выше первого.

Приведем правила построения НСЛС уровня m – 1 по НСЛС уровня m. НСЛС (m – 1)-го уровня Om – 1 = <m-1 = 'm-1 "m-1, Pm-1> получается из НСЛС m-го уровня посредством обогащения km = <mP, SNm, Rm, m, DPm> следующим образом: ПЛТ 'm-1 = 'm SNm mP Rm, "m-1 = m, Pm-1 = DPm. Неоднозначно интерпретируемые имена, входящие во множество Pm, являются однозначно интер­претируемыми именами теории m-1. Таким образом, НСЛС уровня m – 1 содержит предложения исходной системы и заданного обогащения. Если на некотором уровне онтология состоит из нескольких разделов, тогда для каждого раздела задается свое обогащение в модели онтологии, при помощи которого получается модель онтологии раздела.

Модель знаний – это обогащенная система логических соотношений или необогащенная система логических соотношений уровня 0, называемая обогащенной системой логических соотношений. Обогащенная система логических соотношений (ОСЛС) S есть пара 1, k1>, где O1 – НСЛС первого уровня, k1 – ее обогащение. Модель знаний предметной области есть множество обогащений НСЛС первого уровня из множества n, On-1, …, O1>. Таким образом, задание модели знаний состоит в определении значений параметров первого уровня и/или задании множества ограничений на значения терминов нулевого уровня. Термины нулевого уровня – это термины для описания ситуаций предметной области.

Решением ОСЛС S будем называть такую интерпретацию неизвестных X, что существует модель теории 0, такая, что сужение на Pm совпадает с mP, сужение на Pm-1 совпадает с m-1P, …, сужение на P1 совпадает с 1P, а сужение на X совпадает с X.

Заметим, что онтология предметной области может не содержать терминов нулевого уровня. Тогда все ее термины определяют структуру представления знаний предметной области, т.е. такая онтология будет онтологией знаний. Если онтология не содержит параметров первого уровня, то все ее термины определяют структуру представления действительности предметной области. Многоуровневость и в том, и в другом случае предполагает, что предметная область сложно структурирована.

Пример многоуровневой модели онтологии

Теперь рассмотрим фрагмент модели многоуровневой онтологии химии. Вначале приведем фрагмент модели онтологии третьего уровня, записанный с использованием языка прикладной логики [13].

1. (Типы сущностей) = {}N \

Термин «Типы сущностей» обозначает не пустое множество названий типов сущностей. Данное утверждение задает параметр третьего уровня.

2. (Тип: Типы сущностей) (Тип) = {}(R I N L)

Каждый тип сущностей представляет собой некоторое множество сущностей; каждая сущность может иметь имя, быть представлена числом, быть логическим значением.

3. (Типы компонент сущности) = (Типы сущностей {}Типы сущностей)

Термин «Типы компонент сущности» обозначает функцию, которая сопоставляет типу сущности t не пустое множество названий типов сущностей, которые могут быть компонентами сущностей типа t. Данное утверждение задает параметр третьего уровня.

4. Собственные свойства сущностей ((Тип сущности: Типы сущностей) ((Область возможных значений: {}(Множества значений {}Кортежи значений)) (j(Тип сущности) Область возможных значений))

Термин «Собственные свойства сущностей» обозначает функцию, аргументом которой является тип сущности t, а результатом – множество функций, у каждой из которых аргумент есть множество значений или множество кортежей m, а результат – множество функций, аргументом каждой из которых является сущность типа t, а результатом – элемент множества m. Данное утверждение определяет конструктор множества второго порядка.

5. Свойства компонентов указанного типа ((Тип 1: Типы сущностей) (Тип 2: Типы компонент сущности(Тип 1)) ((Область возможных значений: {}(Множества зна­че­ний {}Кортежи значений)) (Сущность типа 1 j(Тип 1), Сущность типа 2 Ком­по­ненты сущности(Тип 1, Тип 2)(Сущность типа 1)) Область возможных значений))

Термин «Свойства компонентов указанного типа» обозначает функцию, аргументами которой являются два типа сущностей t1 и t2, а результатом – множество функций, аргументом каждой из которых является множество значений или кортежей значений m, а результатом – множество функций, аргументами каждой из которой являются сущность типа t1 и сущность типа t2, являющаяся компонентом сущности типа t1, а результатом – элемент множества m. Данное утверждение задает конструктор множества второго порядка.

6. (Число шагов процесса) = I[0,)

Термин «Число шагов процесса» обозначает количество шагов, из которых состоит физико-химический процесс.

7. (Типы сущностей процесса) = {} Типы сущностей \

Термин «Типы сущностей процесса» обозначает множество типов сущностей, которые рассматриваются как компоненты физико-химического процесса. Данное утверждение задает параметр третьего уровня.

8. Компоненты процесса ((Тип: Типы сущностей процесса) (I[1, Число моментов] {} {(v: Сущности) Тип сущности(v) = Тип} \ )

Термин «Компоненты процесса» обозначает функцию, аргументом которой является тип сущностей t, а результатом – множество функций, аргументом каждой из которых являя­ет­ся номер шага процесса, а результатом – множество компонент процесса – не пустое под­мно­жество сущностей типа t. Данное утверждение задает конструктор первого порядка.

9. Свойства компонентов процесса ((Тип: Типы сущностей процесса) ((Область возможных значений: {}(Множества значений {}Кортежи значений)) (Номер шага I[1, Число моментов], Компонента процесса Компоненты процесса (Тип)(Номер шага)) Область возможных значений))

Термин «Свойства компонентов процесса» обозначает функцию, аргументом которой явля­ется тип сущностей t, а результатом – функция, аргументом которой является множество значений или кортежей значений m, а результатом – функция, аргументами которой являются номер шага процесса и компонента этого шага (сущность типа t), а результатом – элемент множества m. Данное утверждение задает конструктор второго порядка.

Теперь рассмотрим пример использования модели онтологии третьего уровня при определении модели онтологии второго уровня для рентгенофлуоресецнтного анализа [7]. Определим вначале значения параметров третьего уровня.

1. Типы сущностей {Оболочки, Радиационные переходы орбитальных электронов, Химические элементы}

В модели определены сущности перечисленных типов.

2. Типы компонент сущности ((Тип: {Оболочки, Радиационные переходы орбитальных электронов, Химические элементы}) (Тип = Химические элементы {Радиационные переходы орбитальных электронов), (Тип Химические элементы }

Для химических элементов определяются энергетические уровни и радиационные переходы орбитальных электронов, для оболочек – энергетические уровни. Сущности остальных типов компонент не имеют.

3. Типы сущностей процесса {Химические элементы, Энергии излучения}

Сущностями процесса являются химические элементы и энергии излучения.

Теперь определим ограничения онтологии второго уровня.

1. Оболочки {}N \

2. Химические элементы {}N \

3. Радиационные переходы орбитальных электронов {}N \

Теперь определим имена конструкторов с использованием конструкторов, определенных на третьем уровне.

1. Собственные свойства оболочек Собственные свойства сущностей (Оболочки)

Термин «Собственные свойства оболочек» обозначает функцию, у которой аргументом является множество значений или множество кортежей значений m, а результатом – функция, аргументом которой является оболочка, а результатом – элемент множества m.

2. Собственные свойства переходов Собственные свойства сущностей (Радиационные переходы орбитальных электронов)

Термин «Собственные свойства переходов» обозначает функцию, аргументом которой является множество значений или множество кортежей значений m, а результатом – функция, аргументом которой является радиационный переход, а результатом – элемент множества m.

3. Свойства переходов элемента Свойства компонентов указанного типа (Химические элементы, Радиационные переходы орбитальных электронов)

Термин «Свойства переходов элемента» обозначает функцию, аргументом которой является множество значений или кортежей значений m, а результатом – функция, аргументами которой являются химический элемент и его радиационный переход, а результатом – элемент множества m.

4. Свойства элементов пробы ≡ Свойства компонентов процесса (Химические элементы)

Термин «Свойства элементов пробы» обозначает функцию, аргументом которой является множество значений или кортежей значений m, а результатом – функция, аргументами которой являются номер шага процесса и химический элемент этого шага, а результатом – элемент множества m.

Теперь определим термины онтологии первого уровня с использованием конструкторов.

1. (Энергия связи электронов на энергетическом уровне элемента) = Свойства уровней элемента(R(0, ∞))

2. (Частота характеристического излучения) = Свойства переходов эле­мента (R(0, ∞))

3. (Длина волны характеристического излучения) = Свойства переходов эле­мента (R(0, ∞))

4. (Энергия характеристического излучения) = Свойства переходов эле­мента (R(0, ∞))

Другим примером многоуровневой онтологии является онтология медицинской диагностики [11], которая имеет два уровня. Онтология второго уровня содержит термины «заболевания», «признаки» и т.д. При задании множества заболеваний и признаков происходит переход к онтологии раздела медицины: терапевтические заболевания, лор-заболевания и т.д. Онтология раздела является онтологией первого уровня. Ее термины используются при описании законов протекания конкретных заболеваний.

Онтология любого языка является онтологией первого уровня. Онтология класса языков, обладающих некоторым общим свойством, является онтологией второго уровня. Пример описания такой онтологии и ее модели для предметной области «Оптимизация программ» можно найти в работах [9], [10].

Если онтология более высокого уровня уже построена для предметной области, то построение онтологии более низкого уровня состоит в определении терминов, принадлежащих множествам, имена которых заданы онтологией высокого уровня. Например, для предметной области «Химия» вначале был выполнен анализ физической химии и для него разработаны модели трех уровней: вначале первого уровня, потом как результат анализа этого уровня появилась модель второго уровня, а затем как результат анализа второго уровня появилась модель третьего уровня. При построении онтологии органической химии и рентгенофлуоресцентного анализа использовалась разработанная онтология третьего уровня.

Использование многоуровневых моделей при разработке интеллектуальных систем

Теперь рассмотрим, какими новыми свойствами обладают интеллектуальные про­грам­мные системы, разрабатываемые на основе многоуровневых онтологий и их моделей.

Как следует из определения, многоуровневая онтология предметной области является модульной. Модуль онтологии определяет связанные между собой термины, которые могут относиться к одному разделу данной ПО, либо образовывать связанную систему понятий данной ПО, которая может использоваться при определении других систем понятий этой же ПО. Деление онтологии на модули позволяет получить структурированное описание онтологии сложной ПО. Модульность онтологии делает ее описание легко модифицируемым: при изменении связанных понятий достаточно изменить их определение только в одном модуле. Кроме того, добавление новых понятий происходит посредством добавления новых модулей. Добавление новых разделов также сводится к добавлению новых модулей в соответству­ющую онтологию. Модульность онтологии ПО влечет за собой модульность знаний ПО. Причем одному модулю онтологии ПО может соответствовать один модуль знаний ПО.

Такое свойство онтологии позволяет создавать интеллектуальные системы, в которых могут изменяться как знания, так и онтологии. Редакторы онтологий следу­ющего уровня могут строиться по онтологии предшествующего уровня. В настоящее время методы создания таких редакторов существуют [14].

Онтология высокого уровня определяет все множества терминов, которые существуют в предметной области, и задает свойства терминов из этих множеств.
С использованием имен множеств могут быть даны формулировки всех классов задач, решаемых в предметной области и разработаны методы решения этих задач. Тогда и решатель задач интеллектуальной системы будет настраиваемым на изменения онтологии и знаний предметной области. Пример такого решателя, разработка которого основана на многоуровневой онтологии физической химии, описан в работе [15].

Литература

  1. Артемьева И.Л., Цветников В.А. Фрагмент онтологии физической химии и его модель // Исследовано в России [Электронный ресурс]: многопредметн. научн. журн. – 2002. – № 5. – С. 454-474. // http://zhurnal.ape.relarn.ru/articles/2002/042.pdf

  2. Артемьева И.Л., Рештаненко Н.В., Цветников В.А. Описание свойств реакций в модели онтологии химии // Информатика и системы управления. – 2006. – № 1. – С. 132-143.

  3. Артемьева И.Л., Высоцкий В.И., Рештаненко Н.В. Модель онтологии предметной области (на примере органической химии) // Научно-техническая информация. – 2005. – № 8. – С. 19-27.

  4. Артемьева И.Л., Высоцкий В.И., Рештаненко Н.В. Описание структурного строения органических соединений в модели онтологии органической химии // Научно-техническая информация: Серия 2. – 2006. – № 2. – С. 11-19.

  5. Артемьева И.Л., Рештаненко Н.В. Модульная модель онтологии органической химии // Информатика и системы управления. – 2004. – № 2. – С. 98-108.

  6. Артемьева И.Л., Высоцкий В.И., Рештаненко Н.В. Модульная модель онтологии органической химии. Свойства органических соединений // Информатика и системы управления. – 2006. – № 1. – С. 121-132.

  7. Артемьева И.Л., Мирошниченко Н.Л. Модель онтологии рентгенофлуоресцентного анализа // Информатика и системы управления. – 2005. – № 2. – С. 78-88.

  8. Артемьева И.Л., Рештаненко Н.В. Многоуровневая онтология предметной области «Органическая химия» // Труды II Междунар. конф. по когнитивной науке. – Т. 2. – С.-Петербург. – 2006. – С. 563-565.

  9. Артемьева И.Л., Князева М.А., Купневич О.А. Модель онтологии предметной области «Оптимизация последовательных программ». Часть 1. Термины для описания объекта оптимизации // Научно-техническая информация: серия 2. – 2002. – № 12. – с. 23-28

  10. Артемьева И.Л., Князева М.А., Купневич О.А. Модель онтологии предметной области «Оптимизация последовательных программ». Ч. 2. Термины для описания процесса оптимизации // Научно-техническая информация: Серия 2. – 2003. – № 1. – С. 22-29.

  11. Клещёв А.С., Москаленко Ф.М., Черняховская М.Ю. Модель онтологии предметной области «Медицинская диагностика»: В 2 частях // НТИ. – Серия 2. – Часть 1: 2005. – № 12. – С. 1-7; Часть 2: 2006. – № 2. – С. 19-30.

  12. Клещев А.С., Артемьева И.Л. Математические модели онтологий предметных областей. Часть 2. Компоненты модели // Научно-техническая информация: Серия 2. – 2001. – № 3. – С. 19-29.

  13. Клещев А.С., Артемьева И.Л. Необогащенные системы логических соотношений. Часть 1 // Научно-техническая информация: Серия 2. – 2000. – № 7. – С. 18-28.

  14. Орлов В.А., Клещев А.С. Компьютерные банки знаний. Многоцелевой банк знаний // Информационные технологии. – 2006. – № 2. – С. 2-8.

  15. Артемьева И.Л., Цветников В.А. Методы реализации интеллектуальной обучающей программной системы физической химии: Препр. / Владивосток: ИАПУ ДВО РАН. – 2002. – 55 с.



* Работа выполнена в рамках программы № 14 Президиума РАН, проект «Интеллектуальные системы, основанные на многоуровневых моделях предметных областей».




Похожие:

Удк 004. 8 И. Л. Артемьева iconУдк 004. 8 Артемьева И. Л., Рештаненко Н. В
Специализированный трехуровневый редактор метаонтологий, онтологий и знаний для компьютерного банка знаний по химии1
Удк 004. 8 И. Л. Артемьева iconУдк 004. 8 И. Л. Артемьева, Н. В. Рештаненко
Описана архитектура банка знаний, структура базы знаний, разработанной на основе онтологии, лежащей в основе системы, а также методы...
Удк 004. 8 И. Л. Артемьева iconУдк 691. 175. 2, 004. 932. 2, 004. 434, 004. 422. 635. 3 Фрактальный анализ микрофотографий наполненного эпоксидного связующего
Предложена методика обработки изображений микроструктуры композита, основанная на выполнении двоичной декомпозиции растрового образа....
Удк 004. 8 И. Л. Артемьева iconУдк 004. 738. 52: 004. 822 А. Н. Кузнецов, Е. В. Пышкин
Применение онтологий для построения пользовательского интерфейса к системам web-поиска
Удк 004. 8 И. Л. Артемьева iconУдк 004. 89: 004. 93 К. В. Мурыгин
Предлагается итерационный метод, позволяющий получать разделяющие гиперповерхности с учетом особенностей расположения обучающих объектов...
Удк 004. 8 И. Л. Артемьева iconВ. А. Смирнов и др. Фрактальный анализ микроструктуры наномодифицированного композита удк 691. 175. 2, 004. 932. 2, 004. 434, 004. 422. 635. 3
В. А. Смирнов и др. Фрактальный анализ микроструктуры наномодифицированного композита
Удк 004. 8 И. Л. Артемьева iconУдк 551. 462. 32:(551. 243. 8+551. 33):(528 04+528. 87):(004. 6+004. 92)]
Изучение особенностей формирования, структуры и морфологии западного шельфа антарктического полуострова по результатам тектонических...
Удк 004. 8 И. Л. Артемьева iconАртемьева Т. В., Волков М. К., Сергеев Л. П
Чăваш букварě. Çыру тетрачĕ (Чувашский букварь. Рабочая пропись), №1, 2, 3, 4 Артемьева Т. В., Руссков С. П
Удк 004. 8 И. Л. Артемьева iconУдк: 004. 89: 616 метод перебора конъюнкций в проблеме структурного анализа многомерных данных

Удк 004. 8 И. Л. Артемьева iconУдк 004. 272. 26 И. А. Назарова
Экстраполяционные блочные одношаговые численные методы решения жестких задач Коши
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org