A modification of Dempster's and Pawlak's constructs forms a new foundation for the identification of upper and lower sets formulas. Also, in this modified Dempster-Pawlak construct we require that subsets of the power set be restricted to the well-known information granules of the power set. An aggregation of upper information granules amongst each other and lower information granules amongst each other determine upper and lower set formulas for both crisp and fuzzy sets. The results are equivalent to the Truth Table derivation of FDCF and FCCF, Fuzzy Disjunctive Canonical Forms and Fuzzy Conjunctive Canonical Forms, respectively. Furthermore, they collapse to , i.e., the equivalence of Disjunctive Normal Forms and Conjunctive Normal Forms, in the combination of concepts once the LEM, LC and absorption, idempotency and distributivity axioms are admitted into the framework. Finally, a proof of the containment is obtained between FDCF and FCCF for the particular class of strict and nilpotent Archimedian -norms and -conorms.
@article{bwmeta1.element.bwnjournal-article-amcv12i3p359bwm, author = {T\"urk\c sen, Ismail}, title = {Upper and lower set formulas: restriction and modification of the Dempster-Pawlak formalism}, journal = {International Journal of Applied Mathematics and Computer Science}, volume = {12}, year = {2002}, pages = {359-369}, zbl = {1067.94601}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv12i3p359bwm} }
Türkşen, Ismail. Upper and lower set formulas: restriction and modification of the Dempster-Pawlak formalism. International Journal of Applied Mathematics and Computer Science, Tome 12 (2002) pp. 359-369. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv12i3p359bwm/
[000] Bilgic T. (1995): Measumerent-theoretic frameworks for fuzzy set theory with applications to preference modeling. - Ph. D. thesis, University of Toronto.
[001] Dempster A.P. (1967): Upper and lower probabilities induced by a multivalued mapping. - Ann. Math. Stat., Vol. 38, pp. 325-339. | Zbl 0168.17501
[002] Pawlak Z. (1991): Rough Sets. - Dordrecht: Kluwer. | Zbl 0758.68054
[003] Resconi G., Türkşen I.B. (2001): Canonical forms of fuzzy truthoods by meta-theory based upon modal logic. - Inf. Sci., Vol. 131, pp. 157-194. | Zbl 1004.03021
[004] Türkşen I.B. (1986): Interval-valued fuzzy sets based on normal forms. - Fuzzy Sets Syst., Vol. 20, pp. 191-210. | Zbl 0618.94020
[005] Türkşen I.B. (1992): Interval-valued fuzzy sets and compensatory AND. - Fuzzy Sets Syst., Vol. 51, pp. 87-100.
[006] Türkşen I.B. (1999): Theories of set and logic with crisp or fuzzy information granules. - J. Adv. Comp. Intell., Vol. 3, No. 4, pp. 264-273.
[007] Türkşen I.B. (2001): Computing with descriptive and veristic words: Knowledge representation and reasoning, In: Computing With Words (P.P.Wang, Ed.). - New York: Wiley, pp. 297-328.