Specification and computing states in fuzzy algorithms

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 16, Issue 3, 2008, Pages 301-336

  Lopez, Victoria ^a   Montero, Javier ^b   Garmendia, Luis ^b   Resconi, Germano ^c  

^a UNIVERSIDAD ANTONIO DE NEBRIJA   (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^c UNIVERSITÀ CATTOLICA DEL SACRO CUORE   (Italy)

Author keywords

Decision making; Fuzzy algorithms; Fuzzy specification

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; FUZZY LOGIC; FUZZY SETS;

COMPLEX DECISION; DECISION-MAKING PROBLEM; DECISIONS MAKINGS; FIRST ORDER LOGIC; FUZZY ALGORITHMS; FUZZY COMPUTING; FUZZY FRAMEWORKS; FUZZY SPECIFICATION; FUZZY UNCERTAINTIES; KEY ISSUES;

DECISION MAKING;

EID: 45149090786     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488508005303     Document Type: Article

References (39)

1. R. Lorentz and D. B. Benson, Deterministic and nondeterministic flow-chart interpretations, J. Comput. System Sci. 27 (1983) 400-433.
2. M. J. Beeson, Foundations of Constructive Mathematics (Springer, Berlin, 1985).
3. K. L. Clark, Negations as failure, in Logic and Data Bases, eds. H. Gallaire and J. Winker (Plenum Press, New York, 1973) pp. 293-306.
4. M. Joliat, A simple technique for partial elimination of unit productions from LR(k) parsers, IEEE Trans. Comput. 27 (1976) 753-764.
5. D. Dolve, Unanimity in an unknown and unreliable environment, Proc. 22nd Annual Symposium on Foundations of Computer Science, Nashville, TN, Oct. 1981, pp. 159-168.
6. R. Tamassia, C. Batini and M. Talamo, An algorithm for automatic layout of entity relationship diagrams, in Entity-Relationship Approach to Software Engineering, Proc. 3rd Int. Conf. on Entity-Relationship Approach, eds. C. G. Davis, S. Jajodia, P. A. Ng and R. T. Yeh (North-Holland, Amsterdam, 1983) pp. 421-439.
7. W. L. Gewirtz, Investigations in the theory of descriptive complexity, Ph.D. Thesis, New York University, 1974.
8. A. Amo. D. Gómez, J. Montero and G. Biging, Improving fuzzy classification by means of a segmentation algorithm, in H. Bustince, F. Herrera and J. Montero (eds.), Fuzzy Sets and Their Extensions: Representation, Aggregation and Models, Springer, Berlin, in press.
9. A. Amo, J. Montero and E. Molina, Representation of consistent recursive rules, European J. Operations Research 130 (2001) 29-53.
10. H. K. Berg, Formal Methods of Program Verification and Specification (Prentice Hall, New Jersey, 1982).
11. M. Broy and B. Krieg, Derivation of invariant assertions during program development by transformation, ACM Transactions on Programming Languages and Systems 2 (1980) 321-327.
12. T. Calvo, A. Kolesarova, M. Komornikova and R. Mesiar, Agreggation operators: properties, classes and construction methods, in T. Calvo, G. Mayor and R. Mesiar (eds.), Aggregation Operators (Physica-Verlag, Heidelberg, 2002), pp. 3-104.
13. T. Calvo and A. Pradera, Double aggregation operators, Fuzzy Sets and Systems 142 (2004) 15-33.
14. J. L. Castro, M. Delgado and E. Trillas, Inducing implication relations, Int. J. Approximate Reasoning 10 (1994) 235-250.
15. J. L. Castro, E. Trillas and S. Cubillo, On consequence in aproximate reasoning, J. Applied Non-Classical Logics 4 (1994) 91-103.
16. V. Cutello and J. Montero, Recursive connective rules, Int. J. Intelligent Systems 14 (1999) 3-20.
17. E. W. Dijkstra, A Discipline of Programming (Prentice Hall, 1976).
18. E. W. Dijkstra and W. H. J. Feijen, A Method of Programming (Addison-Wesley, 1988).
19. H. B. Enderton, A Mathematical Introduction to Logic (Academic Press, 2001).
20. R. Fuller and P. Majlender, An analytic approach for obtaining maximal entropy OWA operator weights, Fuzzy Sets and Systems 124 (2001) 53-57.
21. D. Gómez and J. Montero, A discussion on aggregation operators, Kybernetika 40 (2004) 107-120.
22. C. A. R. Hoare, An axiomatic basis for computer programming, Communications ACM 12 (1969) 89-100.
23. B. J. Kim, R. R. Bishu, Uncertainty of human error and fuzzy approach to human reliability analysis, Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems 14(1,1) (2006) 111-129.
24. E. Klement, R. Mesiar and E. Pap, Triangular Norms. Trends in Logic (Kluwer Academic Publishers, Dordrecht, 2000).
25. V. López, Diseño y verificación de algoritmos para el tratamiento difuso de imágenes digitales en teledetección y seguridad, Ph.D. Thesis, Politechnic University of Madrid, Spain, 2004 (in Spanish).
26. V. López, J. M. Cleva and J. Montero, A functional tool for fuzzy first order logic evaluation, in D. Ruan, P. D'hont, P. F. Fantoni, M. De Cock, M. Nachtegael and E. E. Kerre (eds.), Applied Artificial Intelligence (World Scientific, New Jersey, 2006), pp. 19-26.
27. T. Marchant, Maximal orness weights with a fixed variability for OWA operators, Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems 14(3) (2006) 271-276.
28. J. Montero, Classifiers and decision makers, in D. Ruan et al. (eds.), Applied Computational Intelligence (World Scientific, Singapore, 2003), pp. 19-24.
29. J. Montero, Comprehensive fuzziness, Fuzzy Sets and Systems 20 (1986) 89-86.
30. J. Montero, Extensive fuzziness, Fuzzy Sets and Systems 21 (1987) 201-209.
31. J. Montero, V. López and D. Gómez, The role of fuzziness in decision making, in D. Ruan et al. (eds.), Fuzzy Logic: A Spectrum of Applied and Theoretical Issues, Springer, in press.
32. J. Montero and M. Mendel, Crisp acts, fuzzy decisions, in S. Barro et al. (eds.), Advances in Fuzzy Logic (Universidad de Santiago de Compostela, 1998), pp. 219-238.
33. A. Pradera, E. Trillas and S. Cubillo, On modus ponens generating functions, J. Uncertainly, Fuzziness and Knowledge-Based Systems 8 (2000) 7-20.
34. G. Resconi, Intelligent agents: theory and applications, Studies in Fuzziness and Soft Computing, 155 (Springer, 2004).
35. G. Resconi and B. Kovalerchuk, The logic of uncertainty with irrational agents, Joint Conference on Information Sciences, Kaohsiung, Taiwan, October 8-11, 2006.
36. B. Schweizer and A. Sklar, Probabilistic Metric Spaces (North-Holland, New York, 1984).
37. H. Xingui, Fuzzy computational reasoning and neural networks, IEEE Tools for Artificial Intelligence (1990) 706-711.
38. L. A. Zadeh, Similarity relations and fuzzy orderings, Information Science 3 (1971) 177-200.
39. L. A. Zadeh, Fuzzy Sets, Information and Control 8 (1965) 338-353.