Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Липовченко, Владимир Андреевич
01.01.09
Кандидатская
2007
Иркутск
111 с. : ил.
Стоимость:
499 руб.
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 обрабатывает противоречие в дескриптивных термах.
Название работы | Автор | Дата защиты |
---|---|---|
Анализ сходимости итерационных процессов для некоторых задач построения равновесных систем | Тахонов, Иван Иванович | 2009 |
Нелокальные улучшения и методы возмущений в полиномиальных и других нелинейных задачах оптимального управления | Булдаев, Александр Сергеевич | 2005 |
О реализации функций алгебры логики схемами из некоторых классов, вложенными в гиперкубы | Седелев, Олег Борисович | 2008 |