Лекция французского учёного в области компьютерных наук Амедео Наполи «Дескриптивная логика»

Дескриптивная логика (англ. Description Logic) является математической базой для обработки неструктурированной информации (прежде всего текстов) посредством онтологий. Рассмотрим, например, словосочетание "яблочный сок". Все люди знают, что его можно пить, что он жидкий и что это фруктовый напиток, но как объяснить это компьютеру? Именно для этого нам и помогут онтологии. В них мы можем описать, что яблочный сок является соком, который в свою очередь является напитком. Также мы можем описать, что сок сделан на основе фруктов, а напиток "жидкий" и его "можно пить". При этом для уменьшения размера выборки и трудозатрат по построению онтологии, мы не будем указывать, что "яблочный сок" можно пить, это система должна иметь возможность вывести. Именно для такого вывода нам и поможет дескриптивная логика.

Амедео Наполи – старший научный сотрудник Лаборатории Лотарингии по исследованиям в области информатики и её приложений – LORIA (CNRS Inria Université de Lorraine), Франция. Специалист по обнаружению знаний и технике машинного представления знаний. Работает над символическими и числовыми методами обнаружения знаний. В частности, в сферу его интересов попадает анализ формальных понятий и расширений, таких как узорные структуры и анализ относительных понятий, поиск закономерностей и правил, а также интеллектуальный анализ текстов. Кроме этого, Амедео преподаёт во Франции и за рубежом и является научным руководителем студентов. Амедео также является шефом лаборатории Орпайёр (Orpailleur) Сотрудничает с учёными из Канады, Бразилии, Чили, Уругвая, России и европейских стран.

Место проведения: бульвар Гагарина, 37а, аудитория 102.

Дата: 29 ноября, 13:00 - 14:20