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

Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области 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, профессор кафедры физики, математики и информационных технологий Сибирской пожарно-спасательной академии ГПС МЧС России (г. Железногорск)
Кошелева Анна Владимировна, канд. физ.-мат.наук, доцент кафедры прикладной математики и компьютерной безопасности ИКИТ СФУ
Березина Полина Сергеевна, аспирант
Марковская Ирина Александровна, студент магистратуры
Зверева Татьяна Юрьевна, студент бакалавриата
Дураков Борис Евгеньевич, студент магистратуры

Семинар организуется при поддержке Молодежного центра ИМиФИ, а именно его руководителя Зверевой Татьяны Юрьевны и члена Дуракова Бориса Евгеньевича.

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

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

Заседание №35 (28 ноября 2018 г.): научный семинар

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

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

Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре доказана Лемма о сжатии ранга любой n-порожденной подалгебры алгебры, построенной на элементах n-характеристической модели конечнослойного расширения логики S4.

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

Заседание №34 (7 ноября 2018 г.): научный семинар

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

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

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

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

Заседание №33 (24 октября 2018 г.): научный / образовательный

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

Марковская И.А. (базовая кафедра вычислительных и информационных технологий) - «Об аксиоматизации некоторых табличных расширений логики Гёделя-Лёба малой размерности».

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

Основные понятия: логика Гёделя-Лёба, аксиоматизация, фрейм и модель Крипке, означивание

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

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

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

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

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

Заседание №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

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

RSS-материал