Herně-teoretický přístup k vícehodnotovým logikám
Cíle projektu
Cílem projektu je pokračovat v dlouholeté spolupráci mezi pražským a vídeňským pracovištěm na aplikaci teorie her v oblasti fuzzy logik. Projekt se bude zaměřovat zejména na následující oblasti: a) vzájemný vztah herních sémantik pro fuzzy logiky (dialogické a evaluační hry) a jejich vztah k jiným herním vícehodnotovým sémantikám (pravděpodobnostní sémantika pro logiky podporující nezávislost) b) důsledky herní sémantiky pro studium základních fuzzy logik (např. problematika tzv. bezpečných modelů) c) aplikace kooperativních her v oblasti vícehodnotových logik ? formování fuzzy koalic a problém vyjednávání (bargaining) d) aplikace dialogických her pro fuzzy logiky v lingvistice se zaměřením na zobecněné kvantifikátory Výstupem budou články publikovanév impaktovaných časopisech.
Klíčová slova
many valued logicsfuzzy logicgame theoryevaluation gamescoalition games
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
Šestý rámcový program Evropského společenství pro výzkum, technický rozvoj a demonstrační činnosti
Veřejná soutěž
FP6-2004-Mobility-12
Hlavní účastníci
—
Druh soutěže
RP - Spolufinancování programu EK
Číslo smlouvy
MSMT-5278/2013-311
Alternativní jazyk
Název projektu anglicky
Game-theoretical approach to many-valued logics
Anotace anglicky
The goal of the project is to continue the longstanding cooperation between Prague and Vienna on the application of game theory in fuzzy logic. The project will focus particularly on the following research issues: a) the relationship between game semantics for fuzzy logic (dialogical/evaluation games) and their relationship to other game-theoretical many-valued semantics (probabilistic semantics for independent-friendly logic) b) consequences of the game semantics for the study of fuzzy logics (e.g., the problem of safe models) c) application of cooperative games in many-valued logics - the formation of fuzzy coalitions and bargaining d) application of dialogical games in linguistics with a focus on generalized quantifiers The output of the project will consist of papers in established international journals.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
BA - Obecná matematika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
Projekt je realizován v rámci Aktivity MOBILITY, jejímž hlavním cílem je navázání a prohlubování kontaktů se zahraničními výzkumnými institucemi. Neprobíhá tedy kontrola dílčích výstupů projektu prostřednictvím hodnotící komise, avšak je kontrolována sp?
Termíny řešení
Zahájení řešení
1. 1. 2013
Ukončení řešení
31. 12. 2014
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
4. 2. 2014
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
CEP15-MSM-7A-U/01:1
Datum dodání záznamu
2. 7. 2015
Finance
Celkové uznané náklady
200 tis. Kč
Výše podpory ze státního rozpočtu
200 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
200 tis. Kč
Statní podpora
200 tis. Kč
100%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
CEP
IN - Informatika
Doba řešení
01. 01. 2013 - 31. 12. 2014