𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Tru H. Cao; Peter N. Creasy

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
412 KB
Volume
25
Category
Article
ISSN
0888-613X

No coin nor oath required. For personal study only.

✦ Synopsis

Like other kinds of information, types of objects in the real world are often found to be ®lled 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 de®ned. 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 de®ned 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 de®ned as the complement of the relative necessity degree of the former to the latter. It is proved that the de®ned fuzzy type mismatching degree has properties similar to those of fuzzy set mismatching degree, which allow a uni®ed treatment of fuzzy types and fuzzy sets in reasoning. The framework provides a formal basis for development of order-sorted fuzzy logic systems.

📜 SIMILAR VOLUMES

A conceptual framework for identifying v
A conceptual framework for identifying various types of confessions
✍ Joseph T. McCann 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

Considerable attention has been given to the psychology of confession evidence in recent years. While various factors have been used to de®ne the types of confessions possible, most classi®cation frameworks have focused on the various types of false confessions. An expanded framework is outlined usi

A strategy for adding fuzzy types to an
A strategy for adding fuzzy types to an object-oriented database system
✍ N. Marín; O. Pons; M. A. Vila 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 231 KB 👁 1 views

´Fuzzy types have been developed as a new way of managing fuzzy structures. With types of this kind, properties are ordered on different levels of precision or amplitude, according to their relationship with the concept represented by the type. In order to implement this new tool, two different stra

A two-valued logic for reasoning about d
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
✍ Beata Konikowska 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t