Externí odkazy

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

GF22-23022L [Registrované výsledky] [WWW] 2022 - 2025

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řesto, ž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.