Koaliční a epistemické logiky: intenzionální přístup ke skupinám

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní grantové projekty hodnocené na principu LEAD Agency

Veřejná soutěž

—

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

M2 - Mezinárodní spolupráce

Číslo smlouvy

22-23022L

Název projektu anglicky

Coalition and Epistemic Logic: An Intensional Approach to Groups

Anotace anglicky

The project will lift an important and up to now largely overlooked idealization in logical models of group knowledge and action - the extensional view of groups where a group is reduced to the set of its members. Consequently, groups change identity when their membership changes, any uncertainty regarding who is in a given group is ruled out and the structure of groups is not reflected. However, firms, informal teams or even loose crowds typically remain even if they gain or lose members, and the identity of all members is rarely common knowledge in any group of moderate size. In order to lift this idealization the project will study an intensional view of groups, which loosens the relationship between group membership and group identity and takes into account its algebraic or relational structure, and apply this view to questions in multiagent epistemic logic (distributed and common knowledge, perfect recall) and coalition logic (groups’ agentive powers). It will allow for more natural applications of logical models to questions of collective memory, action and responsibility.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

60301 - Philosophy, History and Philosophy of science and technology

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AA - Filosofie a náboženství

Zahájení řešení

1. 10. 2022

Ukončení řešení

31. 12. 2025

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

3. 7. 2024

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GF-R

Datum dodání záznamu

14. 3. 2025

Celkové uznané náklady

5 700 tis. Kč

Výše podpory ze státního rozpočtu

5 700 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč