Исследование методов представления и обработки знаний средствами дескриптивной логики

Исследование методов представления и обработки знаний средствами дескриптивной логики

Автор: Шушакова, Анна Геннадьевна

Год защиты: 2002

Место защиты: Переславль-Залесский

Количество страниц: 96 с.

Артикул: 2328414

Автор: Шушакова, Анна Геннадьевна

Шифр специальности: 05.13.17

Научная степень: Кандидатская

Стоимость: 250 руб.

Исследование методов представления и обработки знаний средствами дескриптивной логики  Исследование методов представления и обработки знаний средствами дескриптивной логики 

1.1. Основные понятия
1.2. Рассуждения в неоднородной семантической сети
1.2.1. Признаки.
1.2.2. Процедуры пополнения и редукции множества гипотез.
ГЛАВА 2. ДЕСКРИПТИВНАЯ ЛОГИКА
2.1. Основные понятия
2.2. База знаний.
2.3. Рассуждения в дескриптивной логике
2.4. Семейство языков дескриптивных логик, их классификация и
вычислимость
2.5. Способы отображения дескриптивной логики во
фрагменты логики первого порядка
2.6. Дескриптивная логика с конкретным доменом.
2.5.1. Правила вывода.
ГЛАВА 3. ЯЗЫК СЕМЕЙСТВА ЯЗЫКОВ ДЕСКРИПТИВНЫХ ЛОГИК НЗМАЬСЕЫ
3.1. Синтаксис и семантика НЗИАСЕ.
3.2. Алгоритм вычисления предикатной зависимости по структуре
концептов
3.3. Правила вывода.
3.4. Алгоритмы поиска вывода.
ГЛАВА 4. ИНТЕРПРЕТАЦИЯ.
4.1. Сложность алгоритмов поиска вывода
4.2. Вычислимость и выразительность НЗкАЬСЕМ.
4.3. Корректность и полнота Л
4.4. Пример
ГЛАВА 5. ПЛАНИРОВАНИЕ В НЯКАЬСЕМ
5.1. Функциональные отношения на событиях в неоднородной семантической сети.
5.2. Планирование в дескриптивной логике.
5.3. Функциональные символы в
5.4. Предикатные символы, порожденные функциями на конкретном домене
5.5. Алгоритмы планирования в
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


В третьей главе диссертации описан новый метод рассуждений на основе неоднородных семантических сетей и дескриптивной логики с конкретным доменом. Построен алгоритм вычисления предикатной зависимости между концептами, приведена оценка его сложности. Выделена новая группа правил вывода в дескриптивной логике с конкретным доменом. Описаны полиномиальные алгоритмы поиска вывода в дескриптивной логике НБИАЬСЕИ. В четвертой главе построена интерпретация описанного в предыдущей главе языка из семейства языков дескриптивных логик. Приведены основные результаты исследования этого языка. Вычислена сложность алгоритмов поиска вывода в дескриптивной логике НЕИАЕСЕМ, предложенных в предыдущей главе. Исследована сложность вычислений вШСЖ Доказана полнота и корректность ПБМАЕСЕМ в классе неоднородных семантических сетей. Приведен пример рассуждений на основе прикладной задачи. В пятой главе диссертации рассмотрены варианты решения задачи планирования в дескриптивной логике , . Предложено решение задачи планирования в дескриптивной логике НЕАЕСЕЫ. Для этого в алфавит введено множество функциональных символов О на конкретном домене. Далее новые функциональные символы используются для определения и исследования функциональных отношений между
концептами, моделирующих каузальную и потенсивную свяли на событиях в неоднородных семантических сетях . Описанные построения задают функциональное расширение языка Н8АЬСЕЬГ. Предложен полиномиальный алгоритм поиска плана в Н8АЬСЕМ. В заключении перечислены основные результаты, полученные в рамках диссертационной работы.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.267, запросов: 244