Journal
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Volume 35, Issue 1, Pages 55-95Publisher
ELSEVIER SCIENCE INC
DOI: 10.1016/S0888-613X(03)00072-0
Keywords
intuitionistic fuzzy set theory; interval-valued fuzzy set theory; indeterminacy; implicators; Smets-Magrez axioms; residuated lattices; MV-algebras; knowledge-based systems
Categories
Ask authors/readers for more resources
With the demand for knowledge-handling systems capable of dealing with and distinguishing between various facets of imprecision ever increasing, a clear and formal characterization of the mathematical models implementing such services is quintessential. In this paper, this task is undertaken simultaneously for the definition of implication within two settings: first, within intuitionistic fuzzy set theory and secondly, within interval-valued fuzzy set theory. By tracing these models back to the underlying lattice that they are defined on, on one hand we keep up with an important tradition of using algebraic structures for developing logical calculi (e.g. residuated lattices and MV algebras), and on the other hand we are able to expose in a clear manner the two models' formal equivalence. This equivalence, all too often neglected in literature, we exploit to construct operators extending the notions of classical and fuzzy implication on these structures; to initiate a meaningful classification framework for the resulting operators, based on logical and extra-logical criteria imposed on them; and finally, to re(de)fine the intuititive ideas giving rise to both approaches as models of imprecision and apply them in a practical context. (C) 2003 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available