| bibtype |
J -
Journal Article
|
| ARLID |
0411272 |
| utime |
20240903170412.2 |
| mtime |
20060210235959.9 |
| title
(primary) (eng) |
Descriptions in the full fuzzy type theory |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0290321 |
| ISSN |
1210-0552 |
| title
|
Neural Network World |
| volume_id |
13 |
| volume |
5 (2003) |
| page_num |
559-569 |
| publisher |
| name |
Ústav informatiky AV ČR, v. v. i. |
|
|
| keyword |
type theory |
| keyword |
fuzzy logic |
| author
(primary) |
| ARLID |
cav_un_auth*0101170 |
| name1 |
Novák |
| name2 |
Vilém |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| COSATI |
12A |
| cas_special |
| research |
CEZ:AV0Z1075907 |
| abstract
(eng) |
In this paper, the fuzzy type theory (FTT) is extended by the description operator. Its interpretation is similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy type theory is obtained when extending FTT by the description operator together with a proper axiom. Some basic properties of description operator have been proved as well as completeness of FTT. |
| RIV |
BA |
| department |
E |
| permalink |
http://hdl.handle.net/11104/0003520 |
| ID_orig |
UTIA-B 20030259 |
| arlyear |
2003 |
| mrcbU63 |
cav_un_epca*0290321 Neural Network World 1210-0552 Roč. 13 č. 5 2003 559 569 Ústav informatiky AV ČR, v. v. i. |
|