Представление знаний и семантическое программирование

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

1 Концептуальные основы теории информационных ресурсов
1.1 Семантический Интернет
1.2 Ресурсы и их идентификация
1.3 Метаописания ресурсов
1.4 Представление знаний в Интернете
1.5 Интернет и логический вывод
1.6 Онтологии
2 Теория информационных ресурсов
2.1 Онтологии и семантическое программирование
2.2 Термальная надстройка над моделью: описание объектов
2.3 Иерархия и наследование информации
2.4 Аппроксимация и объединение информации
2.5 Классы
2.6 Ресурсы
2.7 Онтологии
2.8 Пример языка описания классов
3 Апробация методов

3.1 Приложения теории информационных ресурсов
3.2 Система «Мета»
3.3 Система «Мета-2»
3.4 Приложения системы «Мета-2»
Заключение
Литература

Цели и задачи исследования
Диссертационная работа посвящена развитию автоматизированных методов работы со знаниями в глобальном информационном пространстве. Цель работы — создание на основе диалекта семантического программирования [68][69] логической системы представления и обработки знаний, ориентированной на работу в распределенных информационных средах. Данная система должна совмещать использование продвинутых логических методов с возможностью эффективной реализации и устойчивостью к агрессивным условиям глобальной сети. С содержательной точки зрения система должна быть ориентирована на решение ключевых задач, накопившихся на сегодняшний день в Интернете, включая моделирование понятия информационного ресурса, имени ресурса, механизмов метаописаний ресурсов.
Для достижении этой цели решались задачи:
• разработка концептуальных основ системы обработки знаний в распределенных информационных средах на базе семантического программирования;
• разработка логического формализма (теории информационных ресурсов, ТИР), удовлетворяющего концептуальным положениям и условиям работы в глобальной информационной среде;

ливо потребляет тот или иной автомобиль. Таким образом, как минимум, онтология по транспортным средствам должна иметь доступ к словарю, содержащему названия разнообразных типов топлива. Пусть в Интернете имеется онтология с URI

описывающая бензины и их качества, причем эта онтология разработана профессионалами и достаточно подробно. Ясно, что в такой ситуации создавать самодельный словарь бензинов будет неправильно. Намного правильнее воспользоваться имеющейся онтологией и уже заложенными в ней знаниями. Но для того, чтобы появилась такая возможность, необходимы специальные средства, позволяющие связать две этих онтологии. Эта проблема решается достаточно эффективно с помощью двух средств. Во-первых, полезной является возможность объявле?шя эквивалентными элементов и классов двух онтологий. Например, если в нашей онтологии имеется элемент «высокооктановый бензин»:
HÜG =
BB=H0G
Вторая схема взаимодействия онтологий — это импорт онтологий, когда одна из онтологий объявляется частью другой. Пусть, например,