Главная / Продукция / Литература / Онтологическая система

Глазунов В.Н.

Онтологическая система.

Книга готовится к изданию.

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

В книге представлена универсальная технология разработки онтологических систем.

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

В книге также исследуется состав онтологической системы S. Предлагается выделить в онтологической системе 4 компонента: общую онтологию (W^g), предметную онтологию (W^d), онтологию задач (W^р) и, как минимум, механизм логического (обычно дедуктивного) вывода, взаимосвязанный с этими онтологиями, (X).

S = < W^g, W^d, W^р, X >

Здесь:

S – онтологическая система,

W^g – общая онтология, оперирующая общими понятиям и отношениями, которые не зависят от предметной области,

W^d – предметная онтология, содержащая понятия, описывающие предметную область, значимые для неё онтологические отношения, а также определения этих понятий,

W^р – онтология задач, представляющая собой множество задач, решаемых в онтологической системе, с заданными отношениями перехода между задачами (в том числе, отношения декомпозиции задачи),

X – механизм логического вывода, содержащий формальные правила, позволяющие преобразовывать знания, собранные в предметной онтологии W^d, для решения задач из онтологии W^р.

Произведена детализация основных компонентов онтологической системы, позволившая получить ее развёрнутое определение.

S = < W^g, W^d, <Ф^d, S^d, А^d>, <W^р, <Ф^р, S^р, А^р>>>

где:

S – онтологическая система,

W^g – общая онтология,

W^d – предметная онтология,

<Ф^d, S^d, А^d> = X^d – механизм логического вывода для предметной онтологии W^d,

Ф^d – формальная теория предметной онтологии W^d,

S^d – формальная система, используемая в формальной теории Ф^d,

А^d – алгоритм решения задач онтологии W^р,

W^р – онтология задач,

<Ф^р, S^р, А^р> = X^р – механизм логического вывода для онтологии задач W^р,

Ф^р – формальная теория онтологии задач W^р,

S^р – формальная система, используемая в формальной теории Ф^р,

А^р – алгоритм вычисления переходов между задачами онтологии W^р,

<W^р, <Ф^р, S^р, А^р>> = S^р – онтологическая система задач.

Объединение некоторых частей онтологической системы S позволяет получить формальное определение её метода M, а также условия его применения.

M = < W^р, А^d, А^р>

Здесь:

M – метод,

W^р – онтология задач,

А^d – алгоритма решения задач,

А^р – алгоритм вычисления отношений перехода между задачами.

Объектом действия алгоритма решения задач А^d являются аксиомы формальной теории Ф^d, а для его запуска и остановки используются исходные данные решаемой задачи Р. Результат работы алгоритма А^d – это все решения задач онтологии W^р, которые являются доказанными теоремами формальной теории Ф^d.

Исходными данными алгоритма вычисления отношений перехода между задачами А^p являются условия задач онтологии W^р. В результате его работы между задачами устанавливаются отношения перехода, позволяющие изменять условия поставленной задачи при её решении.

В последней части книги представлена технология разработки общей онтологии W^g, а также результат применения этой технологии – тернарная онтология. Базовыми категориями этой онтологии являются понятия объекта, свойства и отношения. На их основе разработана аксиоматическая система определений всех остальных понятий тернарной онтологии и вычислены все элементарные формы знаний.

В качестве примера показан по стадиям процесс разработки онтологической системы комбинаторного метода вычисления принципов действия и онтологии задач для этого метода.

Разработка всех частей онтологической системы сопровождается конкретными примерами. Практическая состоятельность технологии разработки онтологических систем подтверждены программой «Новатор», при создании которой эта технология использовалась.

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

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

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

СОДЕРЖАНИЕ

Введение	4.4. Формы знаний тернарной онтологии

Глава 1. Интеллектуальные системы	Глава 5. Онтология задач
	5.1. Понятие задачи
Глава 2. Модели представления знаний в интеллектуальных системах	5.2. Типы задач
2.1. Формальные логические модели	5.3. Онтология переходов между целями задач
2.2. Продукционные модели
2.3. Семантические сети	Глава 6. Онтологическая система комбинаторного метода
2.4. Фреймы	6.1. Основы комбинаторного метода
2.5. Онтологии	6.2. Онтология эффектов
2.6. Сравнение и выбор модели представления знаний	6.3. Теория физических принципов действия
	6.4. Алгоритм вычисления физических принципов действия
Глава 3. Онтология и онтологическая система	6.5. Пример вычисления физических принципов действия
3.1. Определение онтологии
3.2. Понятие формальной системы	Глава 7. Онтология задач комбинаторного метода
3.3. Состав онтологии	7.1. Анализ проблемных ситуаций
3.4. Онтологическая система	7.2. Метод обходных целей 7.2.1. Основы метода обходных целей
Глава 4. Тернарная онтология	7.2.2. Онтология переходов
4.1. Состав тернарной онтологии	7.2.3. Теория переходов
4.2. Основы тернарной онтологии	7.2.4. Алгоритм вычисления переходов между целями задач
4.3. Система определений понятий тернарной онтологии
4.3.1. Исходные понятия	Глава 8. Онтологический искусственный интеллект
4.3.2. Разные и одинаковые сущности
4.3.3. Объект, свойство и отношение	Заключение
4.3.4. Онтологические объекты
4.3.5. Онтологические свойства объектов	Глоссарий
4.3.6. Онтологические свойства свойств и отношений
4.3.7. Полные онтологические отношения сущностей	Литература
4.3.8. Частные онтологические отношения объектов
4.3.9. Частные онтологические отношения свойств и отношений	Предметный указатель

Примерный объём книги – 160 страниц.

Примерная дата выхода книги – 2026 г.