Title :
Fuzzy types and their lattices
Author :
Cao, Tru H. ; Creasy, Peter N. ; Wuwongse, Vilas
Author_Institution :
Sch. of Inf. Technol., Queensland Univ., Australia
Abstract :
Fuzzy sets and fuzzy logic are essential approaches to uncertain and vague information representation and reasoning. This paper is focused on uncertainty about types of objects and reasoning with it. A fuzzy type is formulated as a pair of a basic type and a truth-value, where a basic type can be crisp or vague (in the intuitive sense). A structure for a class of truth-value lattices is proposed for this construction. Then, fuzzy type lattices are developed with the fuzzy sub-type partial order satisfying intuition, and fuzzy type intersection and union operations. The result forms a basis for development of an order-sorted fuzzy logic system
Keywords :
fuzzy logic; fuzzy set theory; graph theory; inference mechanisms; inheritance; logic programming; type theory; uncertainty handling; basic type; fuzzy logic; fuzzy sets; fuzzy sub-type partial order; fuzzy type intersection; fuzzy type lattices; fuzzy type union; fuzzy types; intuition; order-sorted fuzzy logic system; truth-value lattices; uncertain information representation; vague information representation; Automatic programming; Birds; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Information representation; Information technology; Lattices; Logic programming; Uncertainty;
Conference_Titel :
Fuzzy Systems, 1997., Proceedings of the Sixth IEEE International Conference on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-3796-4
DOI :
10.1109/FUZZY.1997.622813
