Publication: Fuzzy specification of algorithms
Loading...
Official URL
Full text at PDC
Publication Date
2007
Authors
Advisors (or tutors)
Journal Title
Journal ISSN
Volume Title
Publisher
University of Jaén
Abstract
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.
Description
Proceedings EUROFUSE’07
UCM subjects
Unesco subjects
Keywords
Citation
[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