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

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
—

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.

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)

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ů

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
—

Podobné výsledky(10)