МПЗиО_6_17_Онтологии (1185825), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

б. истинно в одной и ложно в другой unknown default false monotonic false Направление обработки (direction) Обоснование (support) – откуда получено26CYC: ИНТЕРПРЕТАТОРНаправление обработки утверждения: forward – доказательство в момент добавленияв БЗ – как правило, для утверждений без переменных backward – доказательство только если требуетсяпри ответе на запрос пользователя code – необходим для эвристических модулейДоказательство утверждений:метод резолюций+ для эффективности (в большой БЗ) –узкоспециализированные модули (HL)HL (~ 500 модулей) – эвристики доказательства, например: модули для работы с транзитивными предикатами модули обработки коллекций(проверка пересечения/вложения коллекций) и др.Возможно вести доказательство в рамках отдельноймикротеории (контекстно-зависимый вывод), но сиспользованием фактов более общих микротеорий27CYC: ИНТЕРФЕЙСЫИнтерфейсы пользователя :Cyc Browser (в OpenCyc только он) – web-интерфейсдля опытных пользователей: работа на CycLFast Editor – добавление и редактирование (только) фактовQuery Library – шаблоны стандартных запросовИнтерфейсы прикладных программ: SubL – упрощенный диалект Common Lisp,на нем написано ядро системы Java API – надстройка над SubAPIОсобенности интерпретатора: Многопоточность: одновременное доказательство несколькихутверждений Возможность возобновления доказательства (например, послепрерываний по нехватке ресурсов) Возможность объяснить ответ28CYC: АРХИТЕКТУРА СИСТЕМЫCYC: ПРИМЕНЕНИЕ И СРАВНЕНИЕCyc Secure – коммерческое приложение,система слежения за безопасностью вкомпьютерных сетях, поиск уязвимостей Основная задача – построение планов атак на сетьСравнение CYC с системами классического логическоговывода: VAMPIRE, SPASS, E Theorem Prover: Потребовался перевод некоторых утверждений CYCв предикаты первого порядка: переведено лишь 90% Первые две системы смогли загрузить лишь 20% базыCYC (~1 млн.

утверждений) Доказательство 8 утверждений:CYC – 5 секунд, другие системы – 20 минут и болееCYC: работа с БЗ большого объема за приемлемое время30ПРИМЕНЕНИЕ ОНТОЛОГИЙСферы и масштабы применения расширяются: Информационный поиск: концептуальноеиндексирование, поиск согласно концептам-понятиям Создание Semantic Web (с 2001 г.) Интеграция разнородных источников данных (БД)на базе единой онтологии ПО; цель – избавиться отнеобходимости поиска и отбора данных из разных БД Интероперабельность данных Управление знаниями компаний: задачи хранения,формирования, поиска, анализа, обмена, групповогоиспользования документов, данных и знаний Электронный бизнес и коммерция Обучение (дистанционное) Научные исследования (обмен знаниями)31ИНСТРУМЕНТЫДЛЯ РАБОТЫ С ОНТОЛОГИЯМИИнструменты разработки онтологий: Редакторы онтологий (в том числе графические) Трансляторы онтологий Управление библиотекой Оценка Документация онтологий Инструменты слияния (интеграции) онтологий Средства обработки запросов к онтологии и машины вывода APIs для применения онтологий Инструменты аннотирования на основе онтологийРедакторы: Protégé и Protégé-OWLhttp://protege.stanford.edu OntoEdithttp://ontoserver .aifb.uni- karlsruhe.de/ontoedit / Ontolinguahttp://www-ksl-svc.stanford.edu:5915/ OntoSaurushttp://www.isi.edu/isd/ontosaurus.html32ОНТОЛОГИЧЕСКИЙ ИНЖИНИРИНГ:УПРОЩЕННАЯ МЕТОДИКАОнтологический инжиниринг – методологияпроектирования, разработки и использованияонтологий для структурирования и тиражированиязнаний в различных ПО.Упрощенная схема:1.

Глоссарий: сбор релевантной информации, отбори вербализация существенных концептов2. Иерархическая категоризация: выявлениеиерархии понятий, визуализация дерева3. Детализация: конкретизация понятий стратегиейсверху-вниз4. Обобщение: создание над-понятий стратегиейснизу-вверх5. Редактирование: исключение повторов, синонимов,противоречийЗАКЛЮЧЕНИЕОнтологии многообразны,применяются разные подходы к их построениюСлабости обоих подходов/методологий построенияонтологий: от понятий или от слов-терминов:Гипотеза Сепира-Уорфа: « … то, что не описываетсясловами, не может быть отражено в онтологии…»Проблемы с зависимостью вводимых концептов отконкретного ЕЯ (сложная связь понятия и значенияобозначающего его языкового выражения)Необходимо сближение подходов: формальнологического и лингвистическогоВажной тенденцией является установление связеймежду онтологиями верхнего уровня и WordNetНемаловажно: цель/назначение онтологииПостроение онтологии – наука и искусство34СПАСИБО ЗА ВНИМАНИЕ!ДОМАШНЕЕ ЗАДАНИЕ № 6Составить онтологию понятий ПО, выбраннойсамостоятельно (15-25 понятий).

Указать основныехарактеристики построенной онтологии и ее назначение.Использовать любой текстовый редактор или др. средствоСрок выполнения – 2 недели (до 31 марта).( 3-4 балла)Сдавать в распечатанном виде или высылать на почтуnadezda.v.gruzdeva@gmail.comПримеры онтологий (список не ограничен !):Городские транспортные средстваМорские или военные кораблиВоинские званияЭлектробытовые приборыСистемы линейных алгебраических уравненийСтроение велосипеда (партономия)Кондитерские изделияЭволюция социологической мысли (генеалогия)Словари36.

Характеристики

Список файлов лекций