RUS ENG

< Летняя школа SAT/SMT 2014 в Австрии
28.03.2014 10:00 Давность: 4 yrs
Категория: Семинар

Гибридная логика и ее приложения


В пятницу, 28 марта, в 14:00 в аудитории 106 состоится учебный семинар на тему "Гибридная логика и ее приложения".

Докладчик - Дмитрий Тимофеев.

Гибридная логика - это расширение мультимодальной логики, в которую добавляется возможность идентифицировать отдельные состояния структуры Крипке и ссылаться на них. Как и традиционные модальные логики, гибридная логика является разрешимым фрагментом логики первого порядка (проблема выполнимости формулы, как и для модальной логики, PSPACE-полна), и для нее реализованы алгоритмы проверки моделей.

В докладе приводятся основные сведения о гибридной логике и обсуждаются некоторые ее приложения, среди которых особое внимание уделяется задачам обработки естественного языка (вычислительной семантике).