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

• Автор: Шушакова, Анна Геннадьевна
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2002
• Место защиты: Переславль-Залесский
• Количество страниц: 96 с.

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АЬСЕМ. В заключении перечислены основные результаты, полученные в рамках диссертационной работы.