Uncertainty modeling by bilattice-based squares and triangles

IEEE Transactions on Fuzzy Systems

Volumn 15, Issue 2, 2007, Pages 161-175

  Cornelis, Chris ^a   Arieli, Ofer ^b   Deschrijver, Glad ^a   Kerre, Etienne E ^a  

^a GHENT UNIVERSITY   (Belgium)

^b ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

Bilattice based squares and triangles; Bilattices; Implicators; MV algebras; Negators; T norms and t conorms

Indexed keywords

ALGEBRA; FUZZY SETS; MATHEMATICAL MODELS;

BILATTICES; LOGICAL CONNECTIVES;

UNCERTAIN SYSTEMS;

EID: 34147108603     PISSN: 10636706     EISSN: None     Source Type: Journal    
DOI: 10.1109/TFUZZ.2006.881444     Document Type: Article

References (48)

1. M. L. Ginsberg, "Multi-valued logics: A uniform approach to reasoning in artificial intelligence," Comput. Intell., vol. 4, pp. 256-316, 1988.
2. M. L. Ginsberg, "Multi-valued logics," in Readings in Non-Monotonic Reasoning. San Mateo, CA: Morgan Kaufmann, 1988, pp. 251-258.
3. M. Fitting, "Bilattices in logic programming," in Proc. 20th Int. Symp. on Multiple-Valued Logic, G. Epstein, Ed., 1990, pp. 238-246.
4. M. Fitting, "Bilattices and the semantics of logic programming," J. Logic Program., vol. 11, no. 2, pp. 91-116, 1991.
5. M. Fitting, "Kleene's three-valued logics and their children," Fundament. Inf., vol. 20, pp. 113-131, 1994.
6. B. Mobasher, D. Pigozzi, and G. Slutzki "Multi-valued logic programming semantics: An algebraic approach," Theoret. Comput. Sci., vol. 171, no. 1-2, pp. 77-109, 1997.
7. O. Arieli, "Paraconsistent declarative semantics for extended logic programs," Ann. Math. Artif. Intell., vol. 36, no. 4, pp. 381-417, 2002.
8. Y. Loyer and U. Straccia, J. F., Ed., "Epistemic foundation of the well-founded semantics over bilattices," in Proc. 29th Int. Symp. Math. Found. Comput. Sci. (MFCS'04), 2004, pp. 513-524.
9. R. Nelken and N. Francez, "Bilattices and the semantics of natural language questions," Linguist. Philos., vol. 25, no. 1, pp. 37-64, 2002.
10. B. Messing, "Combining knowledge with many-valued logics," Data Knowl. Eng., vol. 23, pp. 297-315, 1997.
11. O. Arieli and A. Avron, "Logical bilattices and inconsistent data," in Proc. 9th Ann. IEEE Symp. Logic in Comput. Sci. (LICS'94), 1994, pp. 468-476.
12. O. Arieli, "Reasoning with logical bilattices," J. Logic, Language, Inf., vol. 5, no. 1, pp. 25-63, 1996.
13. O. Arieli, "Bilattices and paraconsistent," in Frontiers of Paraconsistent Logic. Piscataway, NJ: Research Studies, 2000, pp. 11-27.
14. G. Gargov, "Knowledge, uncertainty and ignorance in logic: Bilattices and beyond," J. Appl. Non-Class. Logics, vol. 9, no. 2-3, pp. 195-283, 1999.
15. V. B. Tarassov, "Lattice products, bilattices and some extensions of negations, triangular norms and triangular conorms," in Proc. Int. Conf. Fuzzy Sets and Soft Comput. Econom. Finance (FSSCEF'04), I. Batyrshin, J. Kacpzryk, and L. Sherenetov, Eds., 2004, vol. 1, pp. 272-282.
16. O. Arieli, C. Cornelis, G. Deschrijver, and E. E. Kerre, "Relating intuitionistic fuzzy sets and interval-valued fuzzy sets through bilattices," in Appl. Computat. Intell., D. Ruan, P. D'Hondt, M. De Cock, M. Nachtegael, and E. E. Kerre, Eds., 2004, pp. 57-64.
17. O. Arieli, C. Cornelis, G. Deschrijver, and E. E. Kerre, "Bilattice-based squares and triangles," Proc. 8th Euro. Conf. Symbol. Quantit. Approaches to Reasoning with Uncertainty (ECSQARU'05) L. Godo, Ed., ser. Lecture Notes in Artificial Intelligence New York, Springer, 3571, pp. 563-575, 2005.
18. K. T. Atanassov, Intuitionistic fuzzy sets. Sofia, Bulgaria, 1983, (deposed in Central Sci.-Technical Lib. Bulg. Acad. of Sci., 1697/84) (in Bulgarian). VII ITKR's Session.
19. R. Sambuc, "Fonctions Φ-floues. Application à l'aide au diagnostic en pathologie thyroidienne," Ph.D. dissertation, Univ. Marseille, Marseille, France, 1975.
20. I. B. Türkşen, "Interval valued fuzzy sets based on normal forms," Fuzzy Sets Syst., vol. 20, no. 2, pp. 191-210, 1986.
21. J. Goguen, "L-fuzzy sets," J. Math. Anal. Appl., vol. 18, pp. 145-174, 1967.
22. M. Fitting, "Kleene's logic, generalized," J. Logic Computat., vol. 1, pp. 797-810, 1992.
23. C. Cornelis, K. T. Atanassov, and E. E. Kerre, "Intuitionistic fuzzy sets and interval-valued fuzzy sets: A critical comparison," in Proc. 3rd Int. Conf. in Fuzzy Logic and Technol. (EUSFLAT'03), M. Wagenknecht and R. Hampel, Eds., 2003, pp. 159-163.
24. C. Cornelis, G. Deschrijver, and E. E. Kerre, "Square and triangle: Reflections on two prominent mathematical structures for the representation of imprecision," Notes Intuit. Fuzzy Sets, vol. 9, no. 3, pp. 11-21, 2003.
25. C. Cornelis, "Implication in intuitionistic and interval-valued fuzzy set theory: Construction, classification, application," Int. J. Approx. Reas., vol. 35, no. 1, pp. 55-95, 2004.
26. G. Deschrijver, C. Cornelis, and E. E. Kerre, "On the representation of intuitionistic fuzzy t-norms and t-conorms," IEEE Trans. Fuzzy Syst. vol. 12, no. 1, pp. 45-61, 2004.
27. N. D. Belnap, "A useful four-valued logic," in Modern Uses of Multiple-Valued Logic, G. Epstein and J. M. Dunn, Eds. Amsterdam, The Netherlands: Reidel, 1977, pp. 7-37.
28. N. D. Belnap, "How a computer should think," in Contemporary Aspects of Philosophy.. Zurich, Switzerland: Oriel, 1977, pp. 30-56.
29. A. Avron, "A note on the structure of bilattices," J. Math. Struct. Comp. Sci., vol. 5, pp. 431-438, 1995.
30. A. Avron, "The structure of interlaced bilattices," J. Math. Struct. Comp. Sci., vol. 6, pp. 287-299, 1996.
31. J. M. Font and M. Moussavi, "Note on a six-valued extension of three-valued logic," J. Appl. Non-Class. Logic, vol. 3, no. 2, pp. 173-187, 1993.
32. M. Kondo, "On the structure of weak interlaced bilattice," in Proc. 32th IEEE Int. Symp. Multiple-Valued Logic (ISMVL'02), 2002, pp. 23-26.
33. G. Wagner, "Vivid logic," Lecture Notes in Artif. Intell., vol. 764, 1994.
34. P. Doherty, D. Driankov, and A. Tsoukiàs, Partiality, para-consistency and preference modelling Linköping Univ., IDA Res. Rep. Lith-IDA-R-92-18, 1992.
35. A. Tsoukiàs, "A first-order, four valued, weakly paraconsistent logic and its relation to rough sets semantics," Found. Comput. Dec. Sci., vol. 27, pp. 77-96, 2002.
36. G. Deschrijver, C. Cornelis, and E. E. Kerre, "Square and triangle: A comparison," in Proc. Conf. Inf. Process. Manage. Uncertainty in Knowl.-Based Syst. (IPMU'04), 2004, pp. 1389-1396.
37. O. Arieli and A. Avron, "The value of the four values," Artif. Intell., vol. 102, no. 1, pp. 97-141, 1998.
38. C. Cornelis, G. Deschrijver, and E. E. Kerre, "Classification of intuitionistic fuzzy implicators: An algebraic approach," in Proc. 6th Joint Conf. Inf. Sci. (JCIS'01), H. J. Caulfield, S. Chen, H. Chen, R. Duro, V. Honavar, E. E. Kerre, M. Lu, M. G. Romay, T. K. Shih, D. Ventura, P. P. Wang, and Y. Yang, Eds., 2002, pp. 105-108.
39. S. Jenei and B. De Baets, "On the direct decomposability of t-norms on product lattices," Fuzzy Sets Syst., vol. 139, no. 3, pp. 699-707, 2003.
40. M. De Cock, "A thorough study of linguistic modifiers in fuzzy set theory," Ph.D. dissertation, Ghent Univ., Gent, Belgium, 2002.
41. B. De Baets and R. Mesiar, "Triangular norms on product lattices," Fuzzy Sets Syst., vol. 104, no. 1, pp. 61-75, 1999.
42. C. C. Chang, "Algebraic analysis of many valued logics," Trans. AMS93, pp. 74-80, 1958.
43. E. Turunen, Mathematics Behind Fuzzy Logic. Berlin, Germany: Adv. Soft Comput., Phys.-Verlag, 1999.
44. C. Cornelis, "Two-sidedness in the representation and processing of imprecise information," Ph.D. dissertation, Ghent Univ., Gent, Belgium, 2004.
45. A. Tsoukiàs and P. Vincke, "A new axiomatic foundation of partial comparability," Theory Decision, vol. 39, pp. 79-114, 1995.
46. A. Tsoukiàs, "Extended preference structures in mcda," in Multi-Criteria Analysis. Berlin, Germany: Springer-Verlag, 1997, pp. 37-50.
47. A. Tsoukiàs and P. Perny, P. Vincke, D. Bouyssou, E. Jacquet-Lagrèze, P. Perny, R. Slowiński, and D. Vanderpooten, Eds., "From concordance/discordance to the modelling of positive and negative reasons in decision aiding," in Aiding Decisions with Multiple Criteria: Essays in Honor of Bernard Roy. Dordrecht, The Netherlands: Kluwer, 2002, pp. 147-174.
48. P. Fortemps and R. Słowiński, "A graded quadrivalent logic for ordinal preference modelling: Loyola-like approach," Fuzzy Optimiz. Decision Making, vol. 1, pp. 93-111, 2002.