Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары






Коллоквиум Факультета компьютерных наук НИУ ВШЭ
20 сентября 2016 г. 18:10–19:30, г. Москва, Покровский бульвар, д. 11
 


Строго позитивные фрагменты модальных и дескрипционных логик

Л. Д. Беклемишевab

a Национальный исследовательский университет "Высшая школа экономики", г. Москва
b Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Количество просмотров:
Эта страница:166

Аннотация: В докладе будут рассматриваться слабые фрагменты модальной логики, называемые строго позитивными. Формулы строго позитивного модального языка представляют собой импликации вида A → B, где A и B построены из переменных и константы T (истина) с использованием лишь & и экзистенциальных модальностей (типа «ромб»). Интерес к таким фрагментам возник около 2010 года независимо в двух различных областях: в дескрипционной логике и в области приложений модальной логики в теории доказательств.
С точки зрения дескрипционной логики строго позитивные фрагменты соответствуют профилю OWL 2 EL известного языка онтологий OWL, в котором различные свойства онтологий распознаваемы за полиномиальное время. В области теоретико-доказательственных приложений такие фрагменты называются «исчисления рефлексий» и представляют собой удобное средство исследования независимых утверждений, так называемых схем рефлексии в формальной арифметике, и вычисления характеристических ординалов формальных теорий.
Таким образом, в обеих областях строго позитивные языки и логики соединяют простоту и эффективность с достаточными выразительными возможностями. В докладе мы расскажем о проблемах общего характера, связанных со строго позитивными логиками, и опишем некоторые их приложения.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021