Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области 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, профессор кафедры физики, математики и информационных технологий Сибирской пожарно-спасательной академии ГПС МЧС России (г. Железногорск)
Кошелева Анна Владимировна, канд. физ.-мат.наук, доцент кафедры прикладной математики и компьютерной безопасности ИКИТ СФУ
Марковская Ирина Александровна, студент магистратуры
Зверева Татьяна Юрьевна, студент бакалавриата
В настоящее время семинар работает не еженедельно, по предварительной договорености, по адресу: пр. Свободный, 79, Институт математики и фундаментальной информатики СФУ.
Следите за обновлениями на сайте.
Расписание работы семинара
Место:
пр. Свободный 79, ауд. 34-17
Леонтьев Владимир Маркович (кафедра алгебры и математической логики ИМиФИ СФУ) докладывает новые результаты исследований:
Леонтьев В.М. - «L-условия»
Аннотация доклада:
На семинаре докладчиком будут представлены новые результаты разработки собственного комбинаторного аппарата, связанного с функцией бинарного веса целого неотрицательного числа, который позволяет эффективно вычислять показатели степеней коммутаторов в собирательной формуле Холла. Разрабатывается подход к преобразованию существующих выражений к холловскому типу. Планируется применить методы семантики логических систем, аппарат теории групп и универсальной алгебры.
Основные понятия: показатели степеней коммутаторов, холловский тип, собирательная формула
Участники семинара:
- Башмаков С.И. (АиМЛ ИМиФИ СФУ),
- Колесников С.Г. (СибГУ),
- Бабенышев С.В. (Академия МЧС),
- Римацкий В.В. (ВиПМ ИМиФИ СФУ),
- Голованов М.И. (ВиИТ ИМиФИ СФУ).
В осеннем семестре семинар завершил свою работу.
Возобновление семинара в 2019 г. планируется во второй половине семестра.
Время и место работы будет определено позднее.
Поздравляем с наступающими праздниками!
Место:
пр. Свободный 79, ауд. 34-08
26 декабря состоится последнее заседание научного семинара в 2018 году.
Тематика семинара не предполагает глубоких знаний в математической логике, приглашаются все заинтересованные студенты.
Доклад Рыбакова Владимира Владимировича (кафедра алгебры и математической логики ИМФИ СФУ) - «Введение в модальные логики».
Аннотация доклада:
На семинаре будут рассмотрены начала модальных логик с момента зарождения раздела науки, основные определения, теоремы и стоящие перед исследователями задачи.
Основные понятия: модальная логика, правила вывода, допустимость, разрешимость, аксиоматизация, унификация
Место:
пр. Свободный 79, ауд. 34-08
Следующее заседание семинара планируется на 19 декабря.
По вопросам участия и выступления на одном из будущих семинаров, обращаться к руководителю В.В. Рыбакову или секретарю С.И. Башмакову.
Место:
пр. Свободный 79, ауд. 34-08
Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984. Часть 4.
Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре доказана Лемма о сжатии ранга любой n-порожденной подалгебры алгебры, построенной на элементах n-характеристической модели конечнослойного расширения логики S4.
Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики
Место:
пр. Свободный 79, ауд. 34-08
Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984. Часть 3.
Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре завершено построение n-характеристической модели, доказана соответствующая Теорема.
Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики
Место:
пр. Свободный 79, ауд. 34-08
Марковская И.А. (базовая кафедра вычислительных и информационных технологий) - «Об аксиоматизации некоторых табличных расширений логики Гёделя-Лёба малой размерности».
Аннотация доклада:
Известно, что задача аксиоматизации табличных модальных логик алгоритмически неразрешима. Однако, для каждой такой логики существует конечный набор аксиом. На семинаре будут
представлены полученные результаты построения характеризаций систем для логик GL, фреймы которых не превосходят размерности 3х3.
Основные понятия: логика Гёделя-Лёба, аксиоматизация, фрейм и модель Крипке, означивание
Место:
пр. Свободный 79, ауд. 34-08
Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984. Часть 2.
Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре завершено построение n-характеристической модели.
Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики
Место:
пр. Свободный 79, ауд. 34-08
Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984.
Аннотация доклада:
На семинаре будет разобрана статья В.В. Рыбакова 1984 г., посвященная проблеме допустимости в модальных логиках конечных слоев. Будет обсуждаться возможность применения данных техник к проблеме унификации.
Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики
Место:
пр. Свободный 79, ауд. 34-08
Докладчик: Рыбаков Владимир Владмирович (кафедра алгебры и математической логики ИМФИ СФУ) - «Многозначные многомодальные логики, проблема выполнимости».
Аннотация доклада:
В докладе рассматриваются многозначные мультиозначиваемые многомодальные логики. Предлагается подход, в котором каждый агент обладает собственным отношением достижимости и означиванием пропозициональных переменных. Описываются правила для исчисления истинностных значений формул, исследуется проблема выполнимости.
Основные понятия: многозначные мультиозначиваемые многомодальные логики; многоагетные логики; выполнимость, разрешимость.
