Архив ‘ Онтологии ’ Категория

40 градусная жара не стимулирует желание пойти на свежий воздух. В связи с этим появляется желание добавить ряд полезных материалов на Semantic Future. Как я и обещал, на Semantic Future будут опубликованы ряд докладов с конференции "интеллектуальный анализ информации", которая проходила совсем недавно в Киеве.
Читать продолжение »

Интеллектуальный анализ информации – 2010

В Киеве (Украина) с 18 по 21 мая 2010 года проходила 10 юбилейная международная научная конференция имени Т. А. Таран.

Кстати говоря, эта конференция носит имя своего создателя и организатора доктора технических наук, профессора Татьяны Архиповны Таран. Конференция проводится с 2001 года как российско-украинский научный семинар. С 2005 года проводится в формате международной конференции. Основные научные темы, которые были представлены на ИАИ-2010: интеллектуальный анализ данных и машинное обучение; интеллектуальные обучающие системы; интеллектуальные методы классификации; интеллектуальный поиск и анализ информации в локальных и глобальных сетях; прикладные системы анализа данных; методы искусственного интеллекта; интеллектуальный анализ данных в социальной сфере и гуманитарных исследованиях; моделирование в интеллектуальных системах; инструментальные средства интеллектуального поиска и анализа информации; прикладная математика в информационно-коммуникационных системах; интеллектуальные компьютерные средства.

Что хотелось сказать об этой конференции:

1) было много докладов по инженерии знаний, в частности по онтологиям, интеллектуальным агентам, особенно мне понравились доклады про реализации приложений на основе агентной платформе .
2) было много интересных представителей с МГУ, БГУИР, КПИ, ХНУРЕ, ИПС НАНУ, Российской академии искусственного интеллекта.
3) формат конференции меня просто завораживает: длинные доклады, ограничение в 15 минут на докладчика при необходимости игнорировалось, что позволило даже особо не разбираясь в сути вопроса понять о чем доклад, какие проблемы рассматривались и какие способы решения были предложены.
4) "живая дисскусия", обсуждения докладов иногда переростали в интереснейшие дисскусии.
5) Кофе-брейки, красивые девочки на раздаче (радуют глаз)...

Мне понравились следующие доклады:

Валькман Ю.Р. О структуре образа: доформальное исследование.
Валькман Ю.Р., Валькман Р.Ю. Бизнес-интеллект и управление знаниями: понятия и технологии.
Гаврилова Т.А., Голенков В.В., Гулякина Н.А. Унифицированный способ абстрактного кодирования семантических сетей
Глоба Л.С., Новогрудская Р.Л. Подход к построению портала инженерных знаний
Гришанова И.Ю., Рогушина Ю.В. Использование методов онтологического анализа для управления компетенциями персонала как составной части планирования научных исследований
Жилякова Л.Ю. Процессы изменения проводимостей в ассоциативной ресурсной сети
Кузнецов О.П, Жилякова Л.Ю. Исследование эргодичности ресурсных сетей с произвольной проводимостью.
Стефанюк В.Л. Использование семиотической интроспекции при поиске представления комбинаторных задач. (о творческом подходе к решению различных задач !!!)
Серебровский А.Н. Вьюн В.И., Пилипенко В.Г. Об автоматизированной технологии формирования и обновления базы знаний экспертной системы.
Титенко С.В., Гагарин О.О. Автоматізація побудови дидактічної онтології на основі понятійно-тезісної моделі.
Шибут М.С. Концептуальное моделирование предметной области в системе информационного обеспечения процесса обучения
Калуцкая А.П. Тарасов В.Б. Информационные гранулы и методы их построения: применение при разработке интеллектуальных агентов
Муцаковкая Е.В. Использование мультиагентных технологий для имитационного моделирования розничных продаж.
Тарасов В.Б. Методы и модели алгебраической логики в анализе взаимоотношений и переговоров агентов в многоагентных системах.
Вороной С.М. Егошина А.А. Метод поиска базового узла лерева словообразовательного синтеза для экспертной обучающей системы.
Мачурський Є.А. Плахутіна Л.Л. Мовні унівесалії. Окреслення семантики морфем T-К, S-T та STR у науково-технічних європеїзмах.

Это небольшой перечень наиболее интересных на мой взгляд докладов... я умолчал правда о некоторых интересных работах, опубликованных в сборнике научных трудов, но об этом напишу позже.

Кстати на ИАИ-2010 я узнал о том, что известная читателям Shcherbak.net, Ирина Гришанова, открыла свой блог В поисках семантики. Молодец, надеюсь нас будет еще больше!

PS. Думаю все из наиболее интересных докладов будут опубликованы со временем на SemanticFuture.Net.

Введение

В предыдущих двух заметках я затронул тему неопределенности в онтологиях вообще, а затем, сузив область рассмотрения, перешел к вероятностным онтологиям, т.е. тем, в которых используется аппарат теории вероятности для придания семантики неопределенным утверждениям (или, следуя терминологии OWL - аксиомам). Теперь я могу кратко рассказать о своих попытках реализации вероятностного логического процессора, который (в какой-то степени) способен делать логические выводы над OWL-онтологиями, содержащими вероятностные аксиомы. Он называется Pronto (PRobabilistic ONTOlogies) и работает поверх известного OWL-процессора Pellet.
Читать продолжение »

Анонс: Уголок OWL

Привет всем любителям OWL, а также желающим с ним познакомиться или узнать поближе. Мы только что создали страничку под названием Уголок OWL, в котором будут собираться интересные примеры использования OWL для моделирования нетривиальных классов.

OWL занимает одно из центральных мест в , но при этом не так много людей имеют опыт создания реальных онтологий. Часто вроде бы простые определения (например, класс "Дядя") вызывают трудности. В этом разделе мы будем собирать такие примеры и рассказывать как они могут (или не могут) моделироваться на OWL.

Нам очень важно, чтобы вы (читатели) активно принимали участие в создании примеров. Это будет полезно как вам, в смысле получения практики, так и нам - в смысле популяризации раздела и сайта в целом.

Кроме того, как многие из вас знают, в настоящее время идет стандартизация OWL 2 и разработчики очень приветствуют создание тестовых примеров - фрагментов OWL 2-онтологий, на которых можно было бы проверить корректность работы логических процессоров. Примеры должны быть достаточно просты, чтобы люди могли их понимать, но в то же время нетривиальны, чтобы было интересно тестировать те же Pellet, FaCT++, HermiT и другие. Будет очень хорошо, если сообщество SHCHERBAK.NET внесет свой вклад в развитие OWL 2.

Мы начнем с простой странички, которая со временем может перерасти в наш собственной репозиторий OWL-примеров. Мы будем также благодарны за любые замечания/пожелания, а также проверку примеров и нахождение неизбежных ошибок!

Уголок OWL

Вероятностные онтологии

Аннотация

В предыдущей статье я постарался осветить самые общие вопросы, касающиеся представления неточных знаний в онтологиях. Была приведена классификация типов неточных знаний, основными из которых являются неопределенные и нечеткие знания. Далее мы несколько сузим область интересов и рассмотрим проблемы представления вероятностных аксиом в онтологиях OWL. Основной упор будет сделан на том, как можно придать формальную семантику вероятностным аксиомам, так чтобы из вероятностных онтологий можно было делать интересные логические выводы (подобно тому, как они делаются из обычных OWL-онтологий).
Читать продолжение »

Агенты и онтологии на примере AgentOWL

В прошлый раз я описывала использование AgentOWL. Сейчас  я предлагаю рассмотреть некоторые теоретические и практические аспекты поддержки и использования RDF/OWL моделей агентами. Целью будет выявления возможностей и ограничений подхода AgentOWL.

Читать продолжение »

О формальных основах OWL

Аннотация

2 недели назад я написал небольшую заметку о неопределенности в онтологиях и был весьма польщен, что она вызвала определенный интерес (в связи с чем выражаю глубокую признательность всем оставившим комментарии). Как и было обещано, я начал работу над продолжением, в котором я планировал более подробно остановиться на семантике вероятностной неопределенности в OWL. Однако в процессе написания я все больше склонялся к мысли, что стоит все же потратить время на классическую семантику OWL. В итоге я решил вынести это обсуждение в отдельную заметку, так как семантика OWL потребует некоторого знакомства с семантикой в логике вообще.
Читать продолжение »