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
—