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”

Teorie fuzzy typů jako fuzzy logika vyššího řádu

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F05%3A00026349" target="_blank" >RIV/67985556:_____/05:00026349 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Fuzzy type theory as higher order fuzzy logic

  • Popis výsledku v původním jazyce

    In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.

  • Název v anglickém jazyce

    Fuzzy type theory as higher order fuzzy logic

  • Popis výsledku anglicky

    In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA201%2F04%2F1033" target="_blank" >GA201/04/1033: Přibližná dedukce a zobecněné kvantifikátory</a><br>

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2005

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings ot fhe 6th International Conference on Inteligent Technologies

  • ISBN

    974-615-226-2

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

    21-26

  • Název nakladatele

    Assumption University of Bangkok

  • Místo vydání

    Bangkok

  • Místo konání akce

    Phuket

  • Datum konání akce

    14. 12. 2005

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku