GRADLACT: Stupňované logiky konání
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
SGA0202200004
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
22-16111S
Alternativní jazyk
Název projektu anglicky
GRADLACT: Graded Logics of Action
Anotace anglicky
Propositional Dynamic Logic, PDL, is a well-known tool used in the logical analysis of discourse about action. Being based on classical logic, it cannot provide adequate formalization of discourse involving graded, vague and imprecise concepts. This project will develop and study versions of PDL more suitable for this task, so-called graded dynamic logics. We will determine the basic properties of the most natural kinds of graded dynamic logic and we will develop versions of graded PDL aiming at formalizing various philosophically relevant kinds of discourse; in particular, we will develop graded dynamic logics suitable for formalizing reasoning about collective agency and deontic aspects of action in situations involving graded notions, and for analyzing reasoning about probabilistic aspects of action. The project will thus contribute to an elaboration of formal methods applicable in the theory of action and applied ethics.
Vědní obory
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í
Termíny řešení
Zahájení řešení
1. 1. 2022
Ukončení řešení
31. 12. 2024
Poslední stav řešení
K - Končící víceletý projekt
Poslední uvolnění podpory
10. 3. 2023
Dodání dat do CEP
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
CEP24-GA0-GA-R
Datum dodání záznamu
19. 2. 2024
Finance
Celkové uznané náklady
3 417 tis. Kč
Výše podpory ze státního rozpočtu
3 123 tis. Kč
Ostatní veřejné zdroje financování
294 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč