Красноярский городской рабочий семинар «Неклассические логики»

Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области AI и CS.

Наибольший интерес участников представляют проблемы унификации, аксиоматизации, разрешимости, допустимости, структурной полноты, логического вывода с операторами знания и времени. Исследуются алгоритмы выполнения расчетов и логического следования в многомодальных логиках.

Основным инструментом исследования логик для нас является реляционная семантика Крипке-Хинтикка, в том числе обобщенная для многомодальных и мульзиозначиваемых случаев. Применяются и развиваются теоретико-модельные подходы, а также алгебраическая семантика.

На заседаниях научного семинара «Неклассические логики» планируются доклады членов коллектива, а также приглашенных специалистов, реферирование научных статей, обсуждение задач. Приглашаются заинтересованные студенты всех курсов и специальностей, преподаватели.

Начиная с осеннего семестра 2018-2019 уч. г. заседания семинара будут разделены на 2 категории - по сложности и содержанию:
- Образовательный: не предполагает глубоких знаний в области и предназначается, в первую очередь, для заинтересованных студентов и аспирантов.
- Научный: предполагает изначальные знания теории области исследования и ее современного состояния. Предусматривает обсуждение текущих научных задач, стоящих перед коллективом.

В объявлении каждого заседания будет устанавливаться соответствующий тег.

Руководитель семинара:
Рыбаков Владимир Владимирович,
проф., д-р физ.-мат.наук, профессор кафедры алгебры и математической логики
контакты: (391) 206-20-76, e-mail: vrybakov@sfu-kras.ru

Секретарь семинара: Башмаков Степан Игоревич, доцент кафедры алгебры и математической логики
контакты: (391) 246-99-22, e-mail: sbashmakov@sfu-kras.ru

Регулярные участники семинара:
Голованов Михаил Иванович, доцент, канд. физ.-мат.наук, доцент базовой кафедры вычислительных и информационных технологий ИМиФИ СФУ
Римацкий Виталий Валентинович, доцент, канд. физ.-мат.наук, доцент базовой кафедры вычислительных и информационных технологий ИМиФИ СФУ
Кияткин Владимир Ростиславович, доцент, канд. физ.-мат.наук, доцент кафедры алгебры и математической логики ИМиФИ СФУ
Бабенышев Сергей Валерьевич, канд. физ.-мат.наук, PhD, профессор кафедры физики, математики и информационных технологий Сибирской пожарно-спасательной академии ГПС МЧС России (г. Железногорск)
Кошелева Анна Владимировна, канд. физ.-мат.наук, доцент кафедры прикладной математики и компьютерной безопасности ИКИТ СФУ
Лукьянчук Александра Николаевна, канд. физ.-мат.наук, старш. преп. кафедры алгебры и математической логики
Марковская Ирина Александровна, студентка магистратуры.

В новом семестре заседания семинара проводятся по четвергам в 16:20 по адресу: пр. Свободный, 79, Институт математики и фундаментальной информатики СФУ, ауд. 34-08.
Следите за обновлениями на сайте.

Расписание работы семинара

Заседание №31 (11 октября 2018 г.): научный семинар

Время: 
16:20
Место: 
пр. Свободный 79, ауд. 34-08

Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984.

Аннотация доклада:
На семинаре будет разобрана статья В.В. Рыбакова 1984 г., посвященная проблеме допустимости в модальных логиках конечных слоев. Будет обсуждаться возможность применения данных техник к проблеме унификации.

Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики

Заседание №30 (4 октября 2018 г.): научный семинар

Время: 
16:20
Место: 
пр. Свободный 79, ауд. 34-08

Докладчик: Рыбаков Владимир Владмирович (кафедра алгебры и математической логики ИМФИ СФУ) - «Многозначные многомодальные логики, проблема выполнимости».

Аннотация доклада:
В докладе рассматриваются многозначные мультиозначиваемые многомодальные логики. Предлагается подход, в котором каждый агент обладает собственным отношением достижимости и означиванием пропозициональных переменных. Описываются правила для исчисления истинностных значений формул, исследуется проблема выполнимости.

Основные понятия: многозначные мультиозначиваемые многомодальные логики; многоагетные логики; выполнимость, разрешимость.

Заседание №29 (22 марта 2018 г.): образовательный семинар

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Докладчик: Римацкий Виталий Валентинович (кафедра высшей и прикладной математики ИМФИ СФУ) - «Введение в нечеткий логический вывод».

Аннотация доклада:
Рассматриваются базовые понятия нечеткой логики. Как сфера её применения вводятся правила нечеткой продукции, которые реализуют нечеткий логический вывод.

Основные понятия: нечеткие множества и отношения; нечеткая логика; лингвистическая переменная; правила нечетких продукций.

Специальное заседание №28 (2 марта 2018 г.)

Время: 
15:00
Место: 
пр. Свободный 79, ауд. 34-17

Приглашенный докладчик: Одинцов Сергей Павлович (д-р физ.-мат. наук, ведущий научный сотрудник Института математики им. С.Л. Соболева, Новосибирск) - «О конструктивности теоретико-игровой семантики».

Аннотация доклада:
Будет показано, что семантика реализуемости по Нельсону, ограниченная на язык без импликации, является эффективной версией теоретико-игровой семантики для логики первого порядка. Далее, будут определены IF-логика Я. Хинтикки, получающаяся из логики первого порядка добавлением независимых кванторов, игровая семантика и трамп-семантика для данной логики. Будет установлено, что эффективизация трамп-семантики приводит к семантики реализуемости, которая является консервативным расширением (в специально определенном строгом смысле) реализуемости по Нельсону.

Доклад состоялся в рамках заседания "Красноярского алгебраического семинара".

Заседание №27 (28 декабря 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики. Часть II.»

Заседание №26 (21 декабря 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики».

Заседание №25 (14 декабря 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад Башмакова С. И. - «Унификация в предтабличных модальных логиках PM1-PM5».

Аннотация доклада:
Дается синтаксическое и семантическое описание рассматриваемых логик, анализ известных результатов Л. Максимовой, Л. Эсхакиа, А. Чагрова, В. Рыбакова. Известно, что модальные системы PM1 и PM5 соответствуют логикам S4.3 и S5. Рассматриваются известные результаты теории унификации для этих логик. Предлагаются перспективы исследований.

Заседание №24 (7 декабря 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Рыбаков В. В. реферирует статью
Е. Леммона - «Алгебраическая семантика для модальных логик».

Заседание №23 (16 ноября 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад Рыбакова В. В. - «Структурная полнота».

Заседание №22 (2 ноября 2017 г.)

Время: 
17:40
Место: 
пр. Свободный 79, ауд. 34-08

Доклад Рыбакова В. В. - «Подходы к аксиоматизации модальных логик. Канонические модели».

RSS-материал