Coalition and Epistemic Logic: An Intensional Approach to Groups
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
R&D category
ZV - Basic research
OECD FORD - main branch
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AA - Philosophy and religion
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