Herně-teoretický přístup k vícehodnotovým logikám

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

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.

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 <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)

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?

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

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

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č