#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Kontur Talk (www.mathnet.ru/eng/conf876)
21.04.2025 Anna Dmitrieva (U. of East Anglia, https://research-portal.uea.ac.uk/en/persons/anna-dmitrieva): Complex field with quasiminimal structure (online)
Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Kontur Talk (www.mathnet.ru/eng/conf876)
21.04.2025 Anna Dmitrieva (U. of East Anglia, https://research-portal.uea.ac.uk/en/persons/anna-dmitrieva): Complex field with quasiminimal structure (online)
Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.
➰ ВК
#матлог #наука #конференция
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
Международная конференция «Формальная философия 2025»
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).
Даты конференции: с 23 по 26 июня 2025
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom
Формат: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
Заявки на участие принимаются до 25 мая.
(https://llfp.hse.ru/formphil2025)
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
Международная конференция «Формальная философия 2025»
«Формальная философия» – ежегодная международная конференция, которую организует Международная лаборатория логики, лингвистики и формальной философии. В 2025 конференция пройдет в 8-й раз (о прошедших конференциях). Конференция посвящена обсуждению проблематики философской логики, формальной эпистемологии, эпистемической логики, формальной онтологии, аналитической метафизики, философии логики, математической логики, филоcофии математики, а также другим аспектам формальной философии. После конференции пройдет ассоциированное мероприятие – Летняя школа "Логика, лингвистика и формальная философия" (30 июня – 4 июля 2025).
Даты конференции: с 23 по 26 июня 2025
Место проведения: г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom
Формат: гибридный (возможно как очное, так и дистанционное участие)
Рабочие языки: русский и английский
Заявки на участие принимаются до 25 мая.
(https://llfp.hse.ru/formphil2025)
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://www.group-telegram.com/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту [email protected].
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту [email protected].
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании".
Где: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 110 (см. информацию о пропусках и онлайн-подключении ниже)
Кто: Валентин Борисович Шехтман (ВШМ МФТИ)
Тема: Временные логики
Аннотация:
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Если 25 апреля вы собираетесь прийти на заседание семинара в Математический институт и у вас есть пропуск студента/аспиранта/сотрудника научной или образовательной организации (МГУ, ВШЭ, МФТИ, ...), достаточно предъявить этот пропуск и сообщить, что вы идете на семинар "Некоторые применения математических методов в языкознании". Если у вас нет такого пропуска, но вы хотите прийти очно, напишите Степану Львовичу Кузнецову на почту [email protected].
Онлайн-подключение осуществляется через платформу Контур.Толк; для подключения не требуется на ней регистрироваться.
Для получения ссылки напишите Степану Львовичу Кузнецову на почту [email protected].
В дальнейшем заседания будут поочередно проводиться в Институте языкознания и Математическом институте, следите за объявлениями.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова... Смотрите полностью ВКонтакте.
В пятницу 25 апреля в 14:30 в Математическом институте им. В.А. Стеклова... Смотрите полностью ВКонтакте.
#матлог #учёба #просеминар
💥В четверг 24 апреля на просеминаре по математической логике и информатике будет продолжение темы "P и NP" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://www.group-telegram.com/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
💥В четверг 24 апреля на просеминаре по математической логике и информатике будет продолжение темы "P и NP" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://www.group-telegram.com/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 22 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Павел Соколов (НИУ ВШЭ)
Утверждения как сессии
Классическое соответствие Карри-Говарда между интуиционистской логикой и простым типизированным лямбда-исчислением наталкивает на мысль, что это соответствие продолжается как на более сложные логики, так и на более интересные диалекты лямбда-исчисления. В частности, для интуиционистской линейной логики с экспоненциалом ! нетрудно выписать соответствующий субструктурный вариант лямбда-исчисления; полученный язык наделяет линейные типы "ресурсной" семантикой. Однако более естественной "логикой ресурсов" оказывается т.н. uniqueness logic [Harrington 2006], в то время как реализации линейных систем менее эффективны.
Оказывается, что у собственно линейной логики есть совершенно другая интерпретация — утверждений как сессий, в которых утверждения описывают некоторый протокол взаимодействия (сессию); соответствующим исчислением, позволяющим описывать "процессы", удовлетворяющие протоколам, оказывается π-исчисление, формализм для описания параллельных процессов.
В предлагаемом слушателям докладе будут изложены наиболее успешные результаты по реализации программы утверждений как сессий по мотивам статей Propositions as Sessions [Wadler 2014], Better late than never и Taking Linear Logic Apart [Kokke 2019].
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 22 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Павел Соколов (НИУ ВШЭ)
Утверждения как сессии
Классическое соответствие Карри-Говарда между интуиционистской логикой и простым типизированным лямбда-исчислением наталкивает на мысль, что это соответствие продолжается как на более сложные логики, так и на более интересные диалекты лямбда-исчисления. В частности, для интуиционистской линейной логики с экспоненциалом ! нетрудно выписать соответствующий субструктурный вариант лямбда-исчисления; полученный язык наделяет линейные типы "ресурсной" семантикой. Однако более естественной "логикой ресурсов" оказывается т.н. uniqueness logic [Harrington 2006], в то время как реализации линейных систем менее эффективны.
Оказывается, что у собственно линейной логики есть совершенно другая интерпретация — утверждений как сессий, в которых утверждения описывают некоторый протокол взаимодействия (сессию); соответствующим исчислением, позволяющим описывать "процессы", удовлетворяющие протоколам, оказывается π-исчисление, формализм для описания параллельных процессов.
В предлагаемом слушателям докладе будут изложены наиболее успешные результаты по реализации программы утверждений как сессий по мотивам статей Propositions as Sessions [Wadler 2014], Better late than never и Taking Linear Logic Apart [Kokke 2019].
➰ ВК
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдёт в среду 23 апреля в 14:00.
В рамках этого семинара пройдет предзащита докторской диссертации Рыбакова М.Н.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].
Докладчик: Михаил Николаевич Рыбаков (ВШМ МФТИ)
Название: Моделирование логических систем средствами их фрагментов (предзащита докторской диссертации)
Аннотация:
Проведённое исследование связано с выразительностью языков, логик и теорий, и прежде всего с алгоритмической выразительностью (в том числе вычислительной сложностью) определённых их фрагментов.
Многие естественные логические системы либо алгоритмически неразрешимы (причём иногда сильно неразрешимы), либо, будучи разрешимыми, имеют высокую сложность проблемы разрешения. Известно, что определённые ограничения, накладываемые на средства языка, аксиоматику или используемую семантику, приводят к изменению алгоритмической сложности тех или иных задач. В то же время иногда это не так: например, в неклассических логиках как неразрешимость, так и высокая сложность проблемы разрешения в случае разрешимости могут получаться при очень сильных ограничениях на средства языка.
Представляется актуальным не только нахождение границ, в рамках которых подобные проблемы оказываются алгоритмически простыми или наоборот остаются алгоритмически сложными, но и разработка общих методов, позволяющих получать оценки алгоритмической сложности фрагментов не только отдельных логических систем, а всех систем тех или иных бесконечных классов. Вместе с методами хотелось бы иметь общие признаки или критерии, позволяющие относительно просто делать вывод об алгоритмической сложности тех или иных фрагментов интересующей нас системы или хотя бы о потенциальной возможности или невозможности применения этих методов.
Основная цель работы состоит в том, чтобы развить общие методы моделирования алгоритмически сложных проблем внутри логик и теорий, используя минимальные средства языка. В частности, в работе предложены методы моделирования полных языков средствами их очень бедных фрагментов. К средствам языка, которые минимизируются, в первую очередь относятся следующие: число пропозициональных переменных в пропозициональных языках, число предметных переменных, а также число и валентность предикатных букв в языках первого порядка. Рассматриваются и некоторые ограничения на использование логических связок и кванторов.
В докладе будет дан обзор результатов, которые были получены автором в этом направлении. Будут коротко описаны методы их получения, а также возможные дальнейшие продвижения.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар
Ближайший семинар «Категориальные грамматики» состоится 24 апреля 2025 года.
Начало: 18:30. Аудитория: 424.
Докладчик: Сазонова Варвара
Тема: обзор статьи "Inside-Outside Algorithm for Probabilistic Product-Free Lambek Categorial Grammar"
Будет рассмотрен inside-outside алгоритм, адаптированный под вероятностную категориальную грамматику Ламбека (Jinman Zhao and Gerald Penn), и результаты, полученные с помощью генеративной модели.
➰ ВК
Ближайший семинар «Категориальные грамматики» состоится 24 апреля 2025 года.
Начало: 18:30. Аудитория: 424.
Докладчик: Сазонова Варвара
Тема: обзор статьи "Inside-Outside Algorithm for Probabilistic Product-Free Lambek Categorial Grammar"
Будет рассмотрен inside-outside алгоритм, адаптированный под вероятностную категориальную грамматику Ламбека (Jinman Zhao and Gerald Penn), и результаты, полученные с помощью генеративной модели.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Ближайший семинар «Категориальные грамматики» состоится 24 апреля... Смотрите полностью ВКонтакте.
Ближайший семинар «Категориальные грамматики» состоится 24 апреля... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Дорогие участники Logic Online Seminar (https://www.mathnet.ru/eng/conf876), в ближайший понедельник мы присоединяемся к Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), где выступит Степан Кузнецов.
The Proof Society Seminar presents talks by leading researchers in proof theory and from all areas of logic related to proofs. The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.
28 April 2025, 13:00 UTC
Speaker: Stepan Kuznetsov (Steklov Mathematical Institute of RAS, https://homepage.mi-ras.ru/~sk/)
Title: Circular and infinitary proofs for complexity analysis of action logic
Abstract: Action logic is the extension of the full Lambek calculus (intuitionistic-style non-commutative substructural logic) with the operation of Kleene iteration. The natural algebraic semantics for action logic is given by residuated Kleene lattices (RKLs). Action logic appears in two variants: the logic of all RKLs (action logic itself), with an inductive axiomatisation for iteration, and a stronger infinitary system, where iteration is governed by an omega-rule. The latter corresponds to the natural subclass of *-continuous RKLs. In this talk, we discuss how calculi with circular and infinitary proofs help analyse algorithmic complexity for theoremhood and entailment from hypotheses in action logic and its infinitary extension. Namely, using circular proofs we show \Sigma^0_1-completeness of action logic. The theoremhood problem in infinitary action logic is \Pi^0_1-complete. For entailment from *-free hypotheses in the latter, we get an \omega^\omega upper bound on the closure ordinal (for the system with an omega-rule) and the corresponding hyperarithmetical complexity bound, which is actually exact. Finally, entailment from arbitrary hypotheses in infinitary action logic is \Pi^1_1-complete, the closure ordinal being \omega_1^{CK}.
Partially based on joint work with Tikhon Pshenitsyn and Stanislav Speranski.
➰ ВК
Дорогие участники Logic Online Seminar (https://www.mathnet.ru/eng/conf876), в ближайший понедельник мы присоединяемся к Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), где выступит Степан Кузнецов.
The Proof Society Seminar presents talks by leading researchers in proof theory and from all areas of logic related to proofs. The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.
28 April 2025, 13:00 UTC
Speaker: Stepan Kuznetsov (Steklov Mathematical Institute of RAS, https://homepage.mi-ras.ru/~sk/)
Title: Circular and infinitary proofs for complexity analysis of action logic
Abstract: Action logic is the extension of the full Lambek calculus (intuitionistic-style non-commutative substructural logic) with the operation of Kleene iteration. The natural algebraic semantics for action logic is given by residuated Kleene lattices (RKLs). Action logic appears in two variants: the logic of all RKLs (action logic itself), with an inductive axiomatisation for iteration, and a stronger infinitary system, where iteration is governed by an omega-rule. The latter corresponds to the natural subclass of *-continuous RKLs. In this talk, we discuss how calculi with circular and infinitary proofs help analyse algorithmic complexity for theoremhood and entailment from hypotheses in action logic and its infinitary extension. Namely, using circular proofs we show \Sigma^0_1-completeness of action logic. The theoremhood problem in infinitary action logic is \Pi^0_1-complete. For entailment from *-free hypotheses in the latter, we get an \omega^\omega upper bound on the closure ordinal (for the system with an omega-rule) and the corresponding hyperarithmetical complexity bound, which is actually exact. Finally, entailment from arbitrary hypotheses in infinitary action logic is \Pi^1_1-complete, the closure ordinal being \omega_1^{CK}.
Partially based on joint work with Tikhon Pshenitsyn and Stanislav Speranski.
➰ ВК
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
25 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
25 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ..."
Докладчик: Александр Поддьяков.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1038494692.html
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 25.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Рамазан Аюпов
Название: Логика каузальной импликации Р. Сильвана — Н. да Косты
Аннотация.
Доклад посвящен логике каузальной импликации (CI) Ричарда Сильвана (Рутли) и Ньютона да Косты [1], основанной на новой связке A \ni B («А причиняет B») и временном строгом линейном порядке («быть раньше»). Логика строится на основе релевантной семантики [2].
В дискуссии о природе причинности наибольшую популярность приобрела логика контрфактуалов Д. Льюиса. Результат Сильвана и да Косты представляет собой альтернативный подход к формальному рассмотрению причинности. Каузальное условное \ni — это коннексивная строгая релевантная импликация, удовлетворяющая свойствам транзитивности, иррефлексивности, Modus Ponens, Modus Tollens, закону Аристотеля, правилу Стросона, принципам композиции и принципу усиления (Augmentation), но не соблюдающая принцип тождества, контрапозицию, упрощение, добавление, подстановку, принципы факторизации (даже в ограниченной форме); она немонотонна и не допускает принципа взрыва.
В докладе мы рассмотрим язык, семантику и аксиоматизацию логики CI, а также проанализируем и сравним ее основные свойства и принципы с логикой контрфактуалов Льюиса.
[1] R. Sylvan and N. da Costa. Cause as an implication. Studia Logica, 1988, Vol. 47, N. 4, P. 413—428.
[2] R. Routley and others. In R. Sylvan & R. Brady (Eds.), Relevant Logics and Their Rivals. Atascadero: Ridgeview, 1982.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов [email protected]
— И.Ш. Калимуллин [email protected]
— В.В. Рыбаков [email protected]
— С.О. Сперанский [email protected]
➰ ВК
В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:
https://kmc.sfu-kras.ru/conf2025/
Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.
Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».
Заявки принимаются до 24 мая включительно.
По вопросам, связанным с работой секции, можно обращаться к её организаторам:
— Н.А. Баженов [email protected]
— И.Ш. Калимуллин [email protected]
— В.В. Рыбаков [email protected]
— С.О. Сперанский [email protected]
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #конференция
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
В этом году с 11 по 16 августа в Красноярске будет проходить V Ко... Смотрите полностью ВКонтакте.
#матлог #летняя_школа
--------------------------------------------------------------
↪ Летняя школа «Логика и формальная философия»
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов
https://llfp.hse.ru/school2025
🔗 Летняя школа "Логика, лингвистика и формальная философия"
➰ ВК
--------------------------------------------------------------
↪ Летняя школа «Логика и формальная философия»
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.
Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов
https://llfp.hse.ru/school2025
🔗 Летняя школа "Логика, лингвистика и формальная философия"
➰ ВК
ВКонтакте
Летняя школа «Логика и формальная философия»
Международная лаборатория логики, лингвистики и формальной философии НИУ ВШЭ и Факультет свободных искусств и наук СПбГУ проводят летнюю школу «Логика и формальная философия». Когда: 5–10 сентября 2022 Где: Санкт-Петербург, ул. Галерная, 58-60 + Online Формат…
#матлог #наука
✅Стартовал приём статей по AI для публикации в журнале международной конференции AI Journey!
Ключевые исследования будут опубликованы в специальном выпуске журнала «Доклады Российской академии наук. Математика, информатика, процессы управления» и его англоязычной версии Doklady Mathematics.
📖Научный журнал AIJ:
· Индексируется в крупнейших библиографических базах
данных научного цитирования
· Доступен международной аудитории и публикуется на площадках мировых электронных библиотек
✍Успейте подать заявку до 20 августа и получить возможность не только опубликовать свое исследование в авторитетном научном издании, но и представить его на площадке конференции AI Journey.
🏆Авторы лучшей статьи получат 1 млн рублей!
Работа не должна содержать ранее опубликованные материалы.
ℹ Более детальную информацию можно найти в Правилах - AI Journey https://aij.ru/science.
➰ ВК
✅Стартовал приём статей по AI для публикации в журнале международной конференции AI Journey!
Ключевые исследования будут опубликованы в специальном выпуске журнала «Доклады Российской академии наук. Математика, информатика, процессы управления» и его англоязычной версии Doklady Mathematics.
📖Научный журнал AIJ:
· Индексируется в крупнейших библиографических базах
данных научного цитирования
· Доступен международной аудитории и публикуется на площадках мировых электронных библиотек
✍Успейте подать заявку до 20 августа и получить возможность не только опубликовать свое исследование в авторитетном научном издании, но и представить его на площадке конференции AI Journey.
🏆Авторы лучшей статьи получат 1 млн рублей!
Работа не должна содержать ранее опубликованные материалы.
ℹ Более детальную информацию можно найти в Правилах - AI Journey https://aij.ru/science.
➰ ВК
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk
12.05.2025, jointly with S.I. Adian seminar, Vladimir Podolskii (Steklov Mathematical Institute and Tufts University, https://homepage.mi-ras.ru/~podolskii/): Randomized Lifting to Semi-Structured Communication Complexity
Lifting is a general technique which takes lower bounds for the complexity of some functions in a weak computational model and translates it into a bound for some new function in a stronger computational model. New function is obtained from the original one by combining it with some small gadget function. In this talk we will be interested in lifting from decision tree complexity to communication complexity. The major open problem in this area is to prove a lifting theorem for gadgets of constant size. The recent paper [Beame, Koroth, 2023] introduces semi-structured communication complexity, in which one of the players can only send parities of their input bits. They have shown that deterministic decision tree complexity can be lifted to semi-structured deterministic communication complexity using Indexing gadget of constant size. In this talk we will discuss the extension of this result to randomized case and to the larger family of gadgets. From our result it follows that deterministic/randomized decision tree complexity lifts to deterministic/randomized parity decision tree complexity. For randomized case this is the first result of this type. For deterministic case, our result improves the bound in [Chattopadhyay et al., 2023] for Inner Product gadget.
The talk is based on the joint paper with Alexander Shekhovtsov: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2025.78
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk
12.05.2025, jointly with S.I. Adian seminar, Vladimir Podolskii (Steklov Mathematical Institute and Tufts University, https://homepage.mi-ras.ru/~podolskii/): Randomized Lifting to Semi-Structured Communication Complexity
Lifting is a general technique which takes lower bounds for the complexity of some functions in a weak computational model and translates it into a bound for some new function in a stronger computational model. New function is obtained from the original one by combining it with some small gadget function. In this talk we will be interested in lifting from decision tree complexity to communication complexity. The major open problem in this area is to prove a lifting theorem for gadgets of constant size. The recent paper [Beame, Koroth, 2023] introduces semi-structured communication complexity, in which one of the players can only send parities of their input bits. They have shown that deterministic decision tree complexity can be lifted to semi-structured deterministic communication complexity using Indexing gadget of constant size. In this talk we will discuss the extension of this result to randomized case and to the larger family of gadgets. From our result it follows that deterministic/randomized decision tree complexity lifts to deterministic/randomized parity decision tree complexity. For randomized case this is the first result of this type. For deterministic case, our result improves the bound in [Chattopadhyay et al., 2023] for Inner Product gadget.
The talk is based on the joint paper with Alexander Shekhovtsov: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2025.78
➰ ВК
#матлог #спецсеминар #не_мехмат
В ближайшую среду 14 мая 2025 года заседание Логического семинара в МФТИ не состоится.
Следующее заседание 21 мая пройдет по расписанию и на нем будет продолжение доклада Льва Дворкина.
Мы приглашаем вас принять участие в Добрушинском семинара 13 мая в 16:15:
https://www.mathnet.ru/php/seminars.phtml?presentid=46212&option_lang=rus
Докладчик: М. А. Цфасман
Тема: Плотные упаковки шаров: обзор результатов и алгеброгеометрические конструкции
Аннотация: Я расскажу сегодняшнюю ситуацию с задачей о плотных упаковках равных шаров в Rn. В небольших размерностях, помимо классики, имеются знаменитые результаты Вязовской и результат Мусина о контактном числе. В больших размерностях (когда n стремится к бесконечности) сегодня идет борьба за логарифмические члены стохастическими методами. Но кроме того, имеются явные конструкции, исходя из полей алгебраических чисел и кривых над конечным полем.
➰ ВК
В ближайшую среду 14 мая 2025 года заседание Логического семинара в МФТИ не состоится.
Следующее заседание 21 мая пройдет по расписанию и на нем будет продолжение доклада Льва Дворкина.
Мы приглашаем вас принять участие в Добрушинском семинара 13 мая в 16:15:
https://www.mathnet.ru/php/seminars.phtml?presentid=46212&option_lang=rus
Докладчик: М. А. Цфасман
Тема: Плотные упаковки шаров: обзор результатов и алгеброгеометрические конструкции
Аннотация: Я расскажу сегодняшнюю ситуацию с задачей о плотных упаковках равных шаров в Rn. В небольших размерностях, помимо классики, имеются знаменитые результаты Вязовской и результат Мусина о контактном числе. В больших размерностях (когда n стремится к бесконечности) сегодня идет борьба за логарифмические члены стохастическими методами. Но кроме того, имеются явные конструкции, исходя из полей алгебраических чисел и кривых над конечным полем.
➰ ВК
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг 15 мая, начало в 18:30, состоится два доклада по 45 минут.
Эти доклады будут предзащитами дипломных работ студентов 6 курса Мехмата МГУ
Докладчик 1: Елизавета Бахтина
Тема: О лесных логиках, расширяющих логику K+Alt_2
Аннотация:
Лесная логика – это пропозициональная модальная логика леса, т.е. дизъюнктного объединения деревьев. В докладе будут рассмотрены свойства лесных логик, являющихся расширениями логики K+Alt_2 (финитная аппроксимируемость, разрешимость и перечислимость), а также рассмотрен вопрос о количестве таких логик.
Докладчик 2: Лев Дворкин
Тема: Интерпретируемость модальных логик
Аннотация
Рассмотрим интерпретации одних модальных логик в других, при которых булевы связки интерпретируются тождественно, а модальность интерпретируется произвольной формулой A(p). Говорим, что формула A(p) монотонна/нормальна в логике L, если она задаёт интерпретацию монотонной/нормальной логики в L. Мы покажем, что в нормальных логиках с интерполяционным свойством Линдона все монотонные формулы эквивалентны позитивным, однако это неверно для произвольных нормальных логик. Также мы опишем все нормальные формулы в логиках K, GL, S4 и Grz с точностью до эквивалентности: в K и GL их бесконечное количество, а в S4 и Grz по пять нормальных формул. Мы покажем, что в логиках из отрезка [K; GL.3] интерпретируемо бесконечное количество различных нормальных логик, а в S4 и Grz интерпретируемо по пять нормальных логик.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг 15 мая, начало в 18:30, состоится два доклада по 45 минут.
Эти доклады будут предзащитами дипломных работ студентов 6 курса Мехмата МГУ
Докладчик 1: Елизавета Бахтина
Тема: О лесных логиках, расширяющих логику K+Alt_2
Аннотация:
Лесная логика – это пропозициональная модальная логика леса, т.е. дизъюнктного объединения деревьев. В докладе будут рассмотрены свойства лесных логик, являющихся расширениями логики K+Alt_2 (финитная аппроксимируемость, разрешимость и перечислимость), а также рассмотрен вопрос о количестве таких логик.
Докладчик 2: Лев Дворкин
Тема: Интерпретируемость модальных логик
Аннотация
Рассмотрим интерпретации одних модальных логик в других, при которых булевы связки интерпретируются тождественно, а модальность интерпретируется произвольной формулой A(p). Говорим, что формула A(p) монотонна/нормальна в логике L, если она задаёт интерпретацию монотонной/нормальной логики в L. Мы покажем, что в нормальных логиках с интерполяционным свойством Линдона все монотонные формулы эквивалентны позитивным, однако это неверно для произвольных нормальных логик. Также мы опишем все нормальные формулы в логиках K, GL, S4 и Grz с точностью до эквивалентности: в K и GL их бесконечное количество, а в S4 и Grz по пять нормальных формул. Мы покажем, что в логиках из отрезка [K; GL.3] интерпретируемо бесконечное количество различных нормальных логик, а в S4 и Grz интерпретируемо по пять нормальных логик.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
YouTube
Модальная и алгебраическая логика (научный семинар)
Заседания проходят по четвергам в 17:45. Совместные заседания научных семинаров «Логические проблемы информатики» (руководители: проф. С.Н.Артёмов, акад. РАН...
#матлог #учёба #просеминар
💥В четверг 15 мая на просеминаре по математической логике и информатике будет тема "Логика финитных задач (логика Медведева)" (Яна Захарова, студентка кафедры).
💯Аннотация. Доклад будет посвящен обзору логики финитных задач. Логика задач была предложена А.Н. Колмогоровым как попытка дать истолкование интуиционистской логики в рамках стандартных математических понятий. Ученик Колмогорова Ю.Т.Медведев описал формализацию логики задач, в которой задача мыслится как пара конечных множеств (все решения, правильные решения). При этом истинные логические формулы отождествляются с "всегда разрешимыми задачами".
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://www.group-telegram.com/+8lzSUf8ghLAzMjRi.
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
💥В четверг 15 мая на просеминаре по математической логике и информатике будет тема "Логика финитных задач (логика Медведева)" (Яна Захарова, студентка кафедры).
💯Аннотация. Доклад будет посвящен обзору логики финитных задач. Логика задач была предложена А.Н. Колмогоровым как попытка дать истолкование интуиционистской логики в рамках стандартных математических понятий. Ученик Колмогорова Ю.Т.Медведев описал формализацию логики задач, в которой задача мыслится как пара конечных множеств (все решения, правильные решения). При этом истинные логические формулы отождествляются с "всегда разрешимыми задачами".
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://www.group-telegram.com/+8lzSUf8ghLAzMjRi.
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
16 мая 2025 г.
Г. Г. Черевиченко
Обзор исчислений процессов.
Математический логик, занявшись computer science, обнаруживает там много исчислений, о которых он не слышал, некоторые из них весьма интересные, имеют довольно долгую историю и активно применяются в приложениях. Например, все новые протоколы (обмен паролями, куками и т.п.) проверяют специальными программами, основанными на pi-calculus Милнера (с тех пор как в 1995 году Gavin Lowe испытал одну из первых таких программ, взломал протокол Нидхема-Шрёдера и открыл атаку man in the middle). Докладчик расскажет о собственных проблемах при написании распределённой программы (объекты обмениваются сигналами) и попытках их формально описать и исследовать с помощью исчислений процессов, упор будет сделан на программу mCLR2
https://mcrl2.org/web/index.html
Можно также посмотреть видео к программе докладчика (регистрироваться не надо, надо найти кнопку "скачать")
https://mega.nz/file/igo0zDBC#JgIYMtie3UmKXgDgtWBKzXE25xPA-qvZuKMKQ3y8fFk
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
16 мая 2025 г.
Г. Г. Черевиченко
Обзор исчислений процессов.
Математический логик, занявшись computer science, обнаруживает там много исчислений, о которых он не слышал, некоторые из них весьма интересные, имеют довольно долгую историю и активно применяются в приложениях. Например, все новые протоколы (обмен паролями, куками и т.п.) проверяют специальными программами, основанными на pi-calculus Милнера (с тех пор как в 1995 году Gavin Lowe испытал одну из первых таких программ, взломал протокол Нидхема-Шрёдера и открыл атаку man in the middle). Докладчик расскажет о собственных проблемах при написании распределённой программы (объекты обмениваются сигналами) и попытках их формально описать и исследовать с помощью исчислений процессов, упор будет сделан на программу mCLR2
https://mcrl2.org/web/index.html
Можно также посмотреть видео к программе докладчика (регистрироваться не надо, надо найти кнопку "скачать")
https://mega.nz/file/igo0zDBC#JgIYMtie3UmKXgDgtWBKzXE25xPA-qvZuKMKQ3y8fFk
➰ ВК
mega.nz
298.36 MB file on MEGA
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk
19.05.2025 Михаил Панов (НИУ ВШЭ, Санкт-Петербург, https://www.hse.ru/org/persons/303615376/): Эпистемическая модель с ограниченно рациональными игроками (очный доклад)
Будет предложена общая и простая модель для анализа эпистемических оснований принятий решений в некооперативной теории игр. В модели игрок сталкивается со стратегической ситуацией, описанной эпистемической картиной — множеством утверждений, записанных на формальном языке. По эпистемической картине игрок строит пространство состояний и набор действий; формирует предпочтения над действиями; и выбирает оптимальное действие. У игрока конечный уровень рассуждений: в своё пространство состояний он включает все возможные варианты действий оппонентов с уровнем ниже своего.
В модели исследуется соответствие между эпистемическими картинами и порождаемым ими поведением. В частности, будут предложены достаточные условия, при которых это поведение будет устойчивым при (i) увеличении точности эпистемических картин, (ii) повышении уровня игроков, (iii) изменения развернутой формы игры. Также, будет дана переоценка эпистемических оснований нескольких основных некооперативных решений.
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk
19.05.2025 Михаил Панов (НИУ ВШЭ, Санкт-Петербург, https://www.hse.ru/org/persons/303615376/): Эпистемическая модель с ограниченно рациональными игроками (очный доклад)
Будет предложена общая и простая модель для анализа эпистемических оснований принятий решений в некооперативной теории игр. В модели игрок сталкивается со стратегической ситуацией, описанной эпистемической картиной — множеством утверждений, записанных на формальном языке. По эпистемической картине игрок строит пространство состояний и набор действий; формирует предпочтения над действиями; и выбирает оптимальное действие. У игрока конечный уровень рассуждений: в своё пространство состояний он включает все возможные варианты действий оппонентов с уровнем ниже своего.
В модели исследуется соответствие между эпистемическими картинами и порождаемым ими поведением. В частности, будут предложены достаточные условия, при которых это поведение будет устойчивым при (i) увеличении точности эпистемических картин, (ii) повышении уровня игроков, (iii) изменения развернутой формы игры. Также, будет дана переоценка эпистемических оснований нескольких основных некооперативных решений.
➰ ВК