Семинар посвящен различным вопросам интуиционистских, модальных, временных и многоагентных, многозначных логик и их применения в области AI и CS
Красноярский городской рабочий семинар «Неклассические логики»
Общие сведения
Ведущий
Рыбаков Владимир Владимирович
проф., д-р физ.-мат.наук, профессор кафедры алгебры и математической логики Института математики и фундаментальной информатики СФУ
Цель семинара
Наибольший интерес участников представляют проблемы унификации, аксиоматизации, разрешимости, допустимости, структурной полноты, логического вывода с операторами знания и времени. Исследуются алгоритмы выполнения расчетов и логического следования в многомодальных логиках.
Основным инструментом исследования логик для нас является реляционная семантика Крипке-Хинтикка, в том числе обобщенная для многомодальных и мульзиозначиваемых случаев. Применяются и развиваются теоретико-модельные подходы, а также алгебраическая семантика.
На заседаниях научного семинара «Неклассические логики» планируются доклады членов коллектива, а также приглашенных специалистов, реферирование научных статей, обсуждение задач. Приглашаются заинтересованные студенты всех курсов и специальностей, преподаватели.
Начиная с осеннего семестра 2018-2019 уч. г. заседания семинара разделены на 2 категории - по сложности и содержанию:
- Образовательный: не предполагает глубоких знаний в области и предназначается, в первую очередь, для заинтересованных студентов и аспирантов.
- Научный: предполагает изначальные знания теории области исследования и ее современного состояния. Предусматривает обсуждение текущих научных задач, стоящих перед коллективом.