Game-theoretical approach to many-valued logics
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
FP6-2004-Mobility-12
Main participants
—
Contest type
RP - Co-financing of EC programme
Contract ID
MSMT-5278/2013-311
Alternative language
Project name in Czech
Herně-teoretický přístup k vícehodnotovým logikám
Annotation in Czech
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.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project is being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2013
Realization period - end
Dec 31, 2014
Project status
U - Finished project
Latest support payment
Feb 4, 2014
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
CEP15-MSM-7A-U/01:1
Data delivery date
Jul 2, 2015
Finance
Total approved costs
200 thou. CZK
Public financial support
200 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK