Coalition and Epistemic Logic: An Intensional Approach to Groups
Project goals
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.
Keywords
epistemic logiccoalition logicgroupscommon knowledgecollective memorygame theorycoallition gamesperfect recall
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
M2 - International cooperation
Contract ID
22-23022L
Alternative language
Project name in Czech
Koaliční a epistemické logiky: intenzionální přístup ke skupinám
Annotation in Czech
Projekt je zaměřen na odstranění podstatné idealizace pojetí skupin v epistemické logice – redukce skupiny na množinu jejích členů. Tento problém dosud nebyl až na výjimky řešen i přes to, že má neintuitivní důsledky v zamýšlených aplikacích: identita takto extenzionálně chápané skupiny se změní, kdykoli ji opustí některý člen, a toto pojetí neumožňuje nejistotu ohledně členství ve skupině ani nereflektuje její strukturu. Naproti tomu firmy, neformálně utvořené týmy nebo i spontánně vzniklý dav přetrvávají, i když získají nebo ztratí některé členy. Identita členů navíc nemusí být obecnou znalostí. V projektu se namísto toho zaměříme na intenzionální přístup ke skupinám, který uvolňuje vztah mezi členstvím ve skupině a její identitou a bere v úvahu její algebraickou a relační strukturu. Tento přístup pak budeme aplikovat v otázkách z oblasti multiagentních epistemických logik (distribuovaná a obecná znalost, dokonalá paměť) a koaličních logik. Výsledné intenzionální pojetí umožní adekvátnější aplikace logických modelů v otázkách skupinové paměti, jednání a odpovědnosti.
Scientific branches
Solution timeline
Realization period - beginning
Oct 1, 2022
Realization period - end
Dec 31, 2025
Project status
K - Ending multi-year project
Latest support payment
Jul 3, 2024
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP25-GA0-GF-R
Data delivery date
Mar 14, 2025
Finance
Total approved costs
5,700 thou. CZK
Public financial support
5,700 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
5 700 CZK thou.
Public support
5 700 CZK thou.
0%
Provider
Czech Science Foundation
OECD FORD
Philosophy, History and Philosophy of science and technology
Solution period
01. 10. 2022 - 31. 12. 2025