Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Fuzzy matematika s logickými základy

Veřejná podpora

  • 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

Alternativní jazyk

  • 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.

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

  • 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í 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

    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.

Termíny řešení

  • 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

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

  • Datum dodání záznamu

    6. 5. 2016

Finance

  • 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č