Международный семинар "Logic Matters (LM 2023)"
25 декабря 2023 г. состоится традиционный международный семинар "Logic Matters 2023"
Ссылка на видеовстречу: https://telemost.yandex.ru/j/63440323524859280757924849063374551981
|
Время |
Тема |
Ведущий/выступающий ФИО, должность, место работы |
|
10:30 - 11:00 |
On the complexity of reasoning in Kleene algebras with commutativity conditions |
Степан Кузнецов (МИАН им. Стеклова, НИУ ВШЭ) |
|
11:00 - 11:30 |
Weak arithmetical structures from the viewpoint of monadic second-order logic |
Станислав Сперанский (МИАН им. Стеклова) |
|
11:30 - 12:00 |
Вероятностный подход к доброму старомодному ИИ (Good Old-Fashioned AI) |
Дмитрий Виноградов, Людмила Якимова |
|
12:00 - 12:30 |
Кофе - брейк |
|
|
12:30 – 13:00 |
Онтологический доступ к данным с использованием дизъюнктивных аксиом |
Ольга Герасимова (НИУ ВШЭ) |
|
13:00 – 13:30 |
Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил |
Станислав Кикоть |
|
13:30 – 13:50 |
Human Knowledge Models: Short Boolean formulas vs. Black Boxes |
Сергей Кузнецов (НИУ ВШЭ) |
|
13:50 - 14:30 |
Обед |
|
|
14:30 -15:00 |
Дмитрий Игнатов, Александра Яковлева, Язаг Мезиане |
On Suboptimality of Exact Boolean Matrix Factorisation Algorithms and Their Applications for Recommender Systems |
|
15:00 - 15:30 |
Coarse-grain structure of natural language and text corpora |
Василий Громов (НИУ ВШЭ) |
|
15:30 - 16:00 |
Применение лингвистических и логических инструментов для корректировки и улучшения результатов больших языковых моделей |
Дмитрий Ильвовский (НИУ ВШЭ) |
|
16:00 - 16:30 |
Большие языковые модели, их способности к рассуждениям и логическому выводу |
Елизавета Гончарова (НИУ ВШЭ) |
|
16:30 - 17:00 |
Большие языковые модели, большие онтологии и их гибриды: теория и практика построения интеллектуальных систем |
Алексей Незнанов (НИУ ВШЭ) |