Логический вывод и обработка знаний в информационных средах

• Автор: Липовченко, Владимир Андреевич
• Шифр специальности: 01.01.09
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Иркутск
• Количество страниц: 111 с. : ил.

1 Дескриптивные логики и табличный алгоритм вывода

1.1 Современные подходы к обработке знаний

1.2 Структура дескриптивных языков

1.3 Блок терминологии

1.4 Блок утверждений

1.5 Табличный алгоритм

2 Исчисление именующих ограничений

2.1 Общая схема

2.2 Основные определения

2.3 Система логического вывода

2.4 Корреляция с дескриптивной логикой

2.5 Корректность и полнота исчисления
2.6 Расширение исчисления
2.7 Революционный вывод в дескриптивной логике
3 Язык СБР и обобщенный подход к логическому программированию
3.1 Язык СЬР(К)
3.2 Дескриптивные термы, как обобщение эрбрановых термов

3.3 Амальгама, как обобщение унификации
3.4 Корректность обобщенного подхода
Заключение
Литература

Актуальность проблемы
В настоящее время ведется большое количество исследований, связанных с представлением и обработкой знаний, основную потребность в которых диктует развитие глобальной информационной среды Интернет. С развитием Интернета стало очевидно, что данная распределенная среда является мощным независимо-наполняемым банком знаний человечества. Проблемой сегодняшнего Интернета является неэффективная система поиска и обработки информации, которая функционирует на основе контекстного поиска данных. В сегодняшнем Интернете компьютер играет роль хранителя и передатчика информации, который предоставляет лишь достаточно примитивные средства поиска, оставляя интеллектуальную, системную и классификационную работу пользователю-человеку. При том объеме данных, которые сегодня накопились в мировой информационной среде, эта проблема становится ключевой. Для ее решения во главе с создателем мировой информационной паутины Т. Бернерсом Ли развивается концепция Интернета нового поколения — Semantic Web [19], где представление знаний должно реализоваться на основе логического формализма. На роль такого рода формализмов выбраны дескриптивные логики [17][32], обеспечивающие компромисс между выразительностью и эффективностью работы. Это означает, что с

именующих ограничений. Основным назначением данного правила является формирование именующих ограничений, к которым на следующем шаге применяются правила Res или Any.
Рассмотрим, например, правило Res. В посылке данного правила ix :: (с; П), (~ с; t?),t в общем случае может находиться некоторая дополнительная информация о ix, содержащаяся в терме t, но этот терм не фигурирует в логическом заключении, хотя правило Res, где логическое заключение есть ix :: t',t2,t, также является корректным. Правило сформировано таким образом, чтобы не образовывались длинные описания с повторяющейся информацией. Если в выводе необходимо использовать именующее ограничение ix :: t, ti, t, его можно получить предварительно с помощью правила Aina из ix :: (с; ti), (~ с;^), t и іх :: П; h- Заметим, что результат применения Ата будет ix :: (с;П)> (~ с; f 2), Ml 5^2 и он не соответствует точно ix:: ti;t2,t. Однако все правила преобразования настроены таким образом, что используют необходимые данные в дескриптивных термах, и поэтому нет необходимости вводить в систему правило, обратное Ата.
Правило Ех применяется для вынесения значения атрибутов на внешний уровень с целью выполнения дальнейших манипуляций с ними. Логическое заключение данного правила может быть, неформально, описано как «предположим что существует dx, такое что dx :: t».
Правило Subst обрабатывает ситуацию, когда некоторый объект іх і не существует. Тогда вхождения этого объекта в других ограничениях могут быть заменены на _L.
Правило False обрабатывает противоречие в дескриптивных термах.