Главная

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

Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области 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, Институт математики и фундаментальной информатики СФУ.
Следите за обновлениями на сайте.

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

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

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

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

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

Доклад Башмакова С. И. - «Полные наборы унификаторов в предтабличной модальной логике PM3».

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

Заседание №20 (19 октября 2017 г.)

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

Доклад Моор М. А. - «Метод фильтрации в многомодальных моделях с мультиозначиваниями».

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram