Dynamické formální systémy
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
Výzkumné granty 7 (SAV02007-A)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
IAA900090703
Alternativní jazyk
Název projektu anglicky
Dynamic Formal Systems
Anotace anglicky
The aim of the proposed project is to develop a bunch of methods exploiting dynamic approaches to non-classical logics and formal systems in general, to be applied in various disciplines including computer science, analytic philosophy, and linguistics. The project follows two main branches of research: first, we explore general tools regarding: a) dynamic non-classical logics, b) game-theoretical semantics and informational independence, c) proof-theoretical characterizations, complexity aspects, and decidability. Second, we apply these tools in specific discourses: d) interrogative discourse (questions in logic and linguistics), e) deontic and cognitive discourse (applications in artificial inteligence and knowledge representation) f) inferential discourse (applications in philosophy of language and computer science).
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
AA - Filosofie a náboženství
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Bylo dosaženo významných výsledků ve zkoumání dynamických aspektů neklasických logik s důrazem na epistemické, erotetické a fuzzy logiky. Byly studovány zejména jejich dynamické verze, důkazově teoretické vlastnosti a herní sémantiky.
Termíny řešení
Zahájení řešení
1. 1. 2007
Ukončení řešení
31. 12. 2010
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
9. 3. 2010
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
CEP11-AV0-IA-U/02:2
Datum dodání záznamu
28. 6. 2013
Finance
Celkové uznané náklady
4 479 tis. Kč
Výše podpory ze státního rozpočtu
4 479 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč