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”
CS
ČeštinaEnglish

Filtry

8 (0,108s) •

Projekt

Matematické základy inference s vágností a nejistotou (IAA1030004)

Projekt navazuje na výsledky našeho předchozího intenzivního studia vícehodnotových logik a logik domnění, které významně přispělo k budování jejich systematické matematicko-logické teorie a zároveň otevřelo nové otázky, jakož i cestu k logické analý...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
Projekt

Logické modely usuzovaní s vagními informacemi (GEICC/08/E018)

Spektrum vědeckých oborů zabývajících se vágností je široké a zahrnuje humanitní, přírodní i technické disciplíny. Přesto neexistuje univerzální teorie, která by fenomén vágnosti úplným způsobem zachycovala a byla přitom akceptována různými vědeckými...

IN - Informatika

  • 2008 - 2011
    • •
  • 5 481 tis. Kč
    • •
  • 5 481 tis. Kč
    • •
  • GA ČR
Projekt

Moderní česká logika ve filozofii matematiky (GA25-16489S)

Rieger, Vopěnka a Hájek jsou průkopníky české formální logiky. Jejich průlomové práce přibližně pokrývají druhou polovinu dvacátého století. Vopěnka a Hájek prosazovali nové axiomatické teorie aspirující na roli základů matematiky. Tento projekt si k...

Philosophy, History and Philosophy of science and technology

  • 2025 - 2027
    • •
  • 4 809 tis. Kč
    • •
  • 4 710 tis. Kč
    • •
  • GA ČR
Projekt

Relační systémy v podmínkách vágnosti a nejistoty matematické základy pro aplikace (KJB1137301)

Projekt je zaměřen ha studium obecných a vybraných relačních systémů a na studium vybraných relačně založených modelů v podmínkách neurčitosti. Neurčitost se týká faktu, zda dané prvky patří do dané relace. Projekt bude zaměřen na dva základní typy r...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 846 tis. Kč
    • •
  • 626 tis. Kč
    • •
  • AV ČR
Projekt

Usuzování se stupňovanými vlastnostmi (GA18-00113S)

Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou vágní vlastnosti (např. „vysoký“ nebo „bohatá“), u k...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2023
    • •
  • 5 549 tis. Kč
    • •
  • 4 381 tis. Kč
    • •
  • GA ČR
Projekt

Modelování vágních kvantifikátorů v matematické fuzzy logice (GF15-34650L)

Vágní kvantifikátory (např. "málo", "mnoho" či "zhruba polovina") představují závažný problém při automatickém zpracování přirozeného jazyka. Navržení uspokojivé teorie vágních kvantifikátorů vyžaduje vytvoření formálních modelů a posouzení jejich ad...

IN - Informatika

  • 2015 - 2019
    • •
  • 6 071 tis. Kč
    • •
  • 6 071 tis. Kč
    • •
  • GA ČR
Projekt

Formální teorie matematických struktur s vágností (KJB100300502)

Matematické struktury s vágními koncepty (tzv. fuzzy struktury) jsou široce aplikovatelné, a proto jsou v posledních desetiletích intenzivně zkoumány. Projekt směřuje k rozvoji a použití dostatečně silného logického aparátu pro formalizaci těchto str...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 125 tis. Kč
    • •
  • 1 125 tis. Kč
    • •
  • AV ČR
Projekt

Data, algoritmy, rozhodování (1M0572)

Předmětem činnosti Centra je základní a aplikovaný výzkum v oblastech souvisejících s budováním modelů nejistých znalostí a jejich využitím pro podporu rozhodování. Práce s neurčitými daty je společným jmenovatelem všech těchto výzkumných činností sp...

BB - Aplikovaná statistika, operační výzkum

  • 2005 - 2011
    • •
  • 211 469 tis. Kč
    • •
  • 189 332 tis. Kč
    • •
  • MŠMT
  • 1 - 8 z 8