Fuzzy types: A framework for handling uncertainty about types of objects

Cao, T. H. and Creasy, P. N. (2000) Fuzzy types: A framework for handling uncertainty about types of objects. International Journal of Approximate Reasoning, 25 3: 217-253. doi:10.1016/S0888-613X(00)00055-4


Author Cao, T. H.
Creasy, P. N.
Title Fuzzy types: A framework for handling uncertainty about types of objects
Journal name International Journal of Approximate Reasoning   Check publisher's open access policy
ISSN 0888-613X
Publication date 2000
Sub-type Article (original research)
DOI 10.1016/S0888-613X(00)00055-4
Volume 25
Issue 3
Start page 217
End page 253
Total pages 37
Place of publication New York
Publisher Elsevier Science
Collection year 2000
Language eng
Subject C1
280403 Logics and Meanings of Programs
700102 Application tools and system utilities
0103 Numerical and Computational Mathematics
0104 Statistics
0801 Artificial Intelligence and Image Processing
Abstract Like other kinds of information, types of objects in the real world are often found to be filled with uncertainty and/or partial truth. It may be due to either the vague nature of a type itself or to incomplete information in the process determining it even if the type is crisp, i.e., clearly defined. This paper proposes a framework to deal with uncertainty and/or partial truth in automated reasoning systems with taxonomic information, and in particular type hierarchies. A fuzzy type is formulated as a pair combining a basic type and a fuzzy truth-value, where a basic type can be crisp or vague (in the intuitive sense). A structure for a class of fuzzy truth-value lattices is proposed for this construction. The fuzzy subtype relation satisfying intuition is defined as a partial order between two fuzzy types. As an object may belong to more than one (fuzzy) type, conjunctive fuzzy types are introduced and their lattice properties are studied. Then, for reasoning with fuzzy types, a mismatching degree of one (conjunctive) fuzzy type to another is defined as the complement of the relative necessity degree of the former to the latter. It is proved that the defined fuzzy type mismatching degree has properties similar to those of fuzzy set mismatching degree, which allow a unified treatment of fuzzy types and fuzzy sets in reasoning. The framework provides a formal basis for development of order-sorted fuzzy logic systems. (C) 2000 Elsevier Science Inc. All rights reserved.
Keyword Computer Science, Artificial Intelligence
Type Hierarchy
Fuzzy Truth Values
Information Ordering
Lattice-based Reasoning
Order-sorted Fuzzy Logic Programming
Fuzzy Conceptual Graphs
Sorted Logic
Systems
Inheritance
Hierarchies
Prolog
Q-Index Code C1

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Mathematics and Physics
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 13 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 10 Jun 2008, 11:35:49 EST