Fuzzy matematika s logickými základy

Poskytovatel

Grantová agentura České republiky

Program

Postdoktorandské granty

Veřejná soutěž

Postdoktorandské granty 10 (SGA02010GA1PD)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P103-10-P234

Název projektu anglicky

Logic-based fuzzy mathematics

Anotace anglicky

Logic-based fuzzy mathematics is a new approach to fuzzy set theory, enabled by recent advances in mathematical fuzzy logic. It features the rigorous methodology of formal logic, generalization of known results in fuzzy mathematics by automatic fuzzification of all defined notions, transferability of definitions and proofs from classical mathematics, and applicability of proof-theoretical and model-theoretical methods. Foundations of logic-based fuzzy mathematics, laid in the past few years by members of the Prague school of mathematical fuzzy logic and comprising mainly the theory of fuzzy sets and relations, have already attracted some interest among fuzzy mathematicians (dozens of citations, awarded papers and invited talks). The aim of the projectis to advance the development of logic-based fuzzy mathematics, esp. in the areas of fuzzy functions, numbers, metrics, measures, and quantifiers, and apply the apparatus of formal fuzzy logic to gradual notions of classical mathematics. The investigation, though theoretical, is relevant to most areas of applicability of fuzzy sets.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

IN - Informatika

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

Výzkum podpořený grantem rozvinul axiomatickou teorii fuzzy relací. Publikační výstup projektu je adekvátní - grant podpořil část úvazku jednoho výzkumného pracovníka. Výstupy projektu mají dopad dokumentovaný citacemi.

Zahájení řešení

1. 1. 2010

Ukončení řešení

8. 12. 2014

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 4. 2012

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-GA0-GP-U/02:2

Datum dodání záznamu

6. 5. 2016

Celkové uznané náklady

1 266 tis. Kč

Výše podpory ze státního rozpočtu

1 266 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč