Меню
КартаВръзкиТемиБългарияНощта (K-TRIO)Мария Склодовска-КюриЗа ученициЗа учителиМетодологияИзненадай ме
HEОбмен на изследователи2026–2030

SemPER · SEMantics, Proofs and Effective Reasoning

„Хоризонт Европа“ — Действия „Мария Склодовска-Кюри“

Период
2026-06-01 → 2030-05-31
Финансиране от ЕС
1 287 570 €
Участници
30
Схема
HORIZON-TMA-MSCA-SE

Линиите свързват координатора с партньорите.

Накратко на български

Логическите системи и алгоритмите за автоматизирано разсъждение се развиват, за да обхванат реални ситуации, като например правни спорове или езикова обработка. Това помага за по-доброто разбиране на сложните процеси в изкуствения интелект, които в момента работят като „черна кутия“.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Цел на проекта

The project unites mathematicians, computer scientists, and philosophers across logic, algebra, category theory, automated reasoning, and proof assistants to design modular reasoning systems with provable guarantees and validated prototypes. We draw on the vast literature of non-classical logics – including graded and probabilistic logics, resource-sensitive (substructural) systems, paraconsistent approaches that tolerate local contradictions, and modal/temporal/epistemic logics – to capture real-world reasoning that classical logic cannot. This is made possible through the collaboration of specialists from the two prominent pillars of logic – semantics and proofs. Not content with theoretical advances, we aim for effective reasoning: algorithms and tools (e.g., proof-assistant libraries, solvers, and model-checking prototypes) with applications in AI, legal reasoning, and natural language processing.The MSCA Staff Exchange will provide the essential catalyst: sustained mobility across our vast collaboration network spanning six continents, maximizing existing collaborations and realizing new collaborations whose need has already been carefully identified. No single group or small consortium could accomplish the goals of this project. The timing is compelling: after nearly a century of advances, the theoretical and technological foundations are finally mature for genuine integration, while recent breakthroughs in AI and automated reasoning make the formal understanding of opaque, black-box systems urgent.In short, this is a cutting-edge programme built on three pillars – Semantics, Proofs, and Effective Reasoning – delivering new theory, working prototypes, and a durable international collaboration.

Оригинален текст от CORDIS (на английски).

Участници

Връзки

Данни: CORDIS, © Европейски съюз