Fuzzy specification of algorithms

Thumbnail Image
Official URL
Full text at PDC
Publication Date
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
University of Jaén
Google Scholar
Research Projects
Organizational Units
Journal Issue
Since many complex decision making problems can be solved solely by means of an appropriate algorithm,checking the quality of such algorithm is a key issue, even more relevant in the presence of fuzzy uncertainty. In this paper we postulate that the design and formal specification of algorithms can be translated into a fuzzy framework introducing fuzzy first order logic and assert transformations. A proposal for the evaluation and setting of suitable degrees of truth to computing states is introduced.
Proceedings EUROFUSE’07
Unesco subjects
[1] 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. [2] T. Calvo and A. Pradera. Double aggregation operators. In Fuzzy Sets and Systems, 142:15–33, 2004. [3] E.W. Dijkstra. A discipline of Programming.In Prentice Hall, 1976. [4] E.W. Dijkstra and W.H.J. Feijen. A method of programming. Addison-Wesley, 1988. [5] C.A.R. Hoare. An axiomatic basis for computer programming. Communications ACM, 12:89–100, 1969. [6] V. L´opez. Diseño y verificacion de algoritmos para el tratamiento difuso de imagenes digitales en teledetecci´on y seguridad. In Ph.D. Thesis, Politechnic University of Madrid, Spain, 2004 (in Spanish). [7] V. Lopez, J. M. Cleva and J. Montero. A functional tool for Fuzzy First Order Logic Evaluation. In D. Ruan et al., eds., Applied Artificial Intelligence, World Scientific, New Jersey, 2006; pp. 19–26. [8] J. Montero, V. L´opez and D. Gomez. The role of fuzziness in decision making. In D. Ruan et al., Fuzzy Logic: an spectrum of applied and theoretical issues, Springer, in press. [9] L.A. Zadeh. From computing with numbers to comuting with words- From manipulation of measurements to manipulation of perceptions. In P.P. Wang,ed., Computing with words, Wiley, 35–68,2001.156