Семинар ММИТ: "Субэкспоненциальные модальности в линейной логике"

В среду, 6 мая 2020 года в 16.40 состоится очередное заседание семинара "Математические модели информационных технологий" департамента анализа данных и искусственного интеллекта и МЛ "Интеллектуальные системы и структурный анализ" под руководством С.О. Кузнецова.

Докладчик: С.Л. Кузнецов, доцент, старший научный сотрудник МЛ ИССА

Тема: Субэкспоненциальные модальности в линейной логике
(по совместным работам с М.И. Кановичем, В. Нигамом и А.О. Щедровым)

Аннотация: Линейная логика (Жирар, 1987) - это неклассическая логическая система, формулы которой рассматриваются как обозначения ресурсов. В связи с этим в линейной логике не допускаются правило сокращения ("А и А" не равносильно "А": где нужно две единицы ресурса, не всегда хватит одной) и правило ослабления (если "А", то не обязательно "B -> A": ресурсы нельзя выбрасывать, экономика должна быть экономной). Тем не менее, в линейной логике имеется так называемая экспоненциальная модальность, под знаком которой эти правила разрешены. Оказывается, имеет смысл рассматривать также полимодальные логики с несколькими такими модальностями, которые называются субэкспоненциальными (Нигам и Миллер, 2009). В докладе будет рассказано о применениях линейной логики с субэкспоненциалами в задачах спецификации вычислительных систем. Также будет рассказано о недавних работах М.И. Кановича, В. Нигама, А.О. Щедрова и докладчика о субэкспоненциалах в некоммутативном случае, их применениях (в том числе в математической лингвистике) и вопросах алгоритмической (не)разрешимости и сложности получающихся логических систем.

Семинар будет проходить на платформе Zoom. Для получения доступа к конференции перейдите перед началом мероприятия по ссылке:
https://zoom.us/j/91057590190?pwd=N3hHcllKdU5TUVRlNnBFajE5ZXhSUT09 
или введите 
Идентификатор: 910-5759-0190
Пароль: 133273