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

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





Для просмотра файлов Вам могут потребоваться








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


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

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

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

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

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

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