Publication:
Fuzzy specification of algorithms

Thumbnail Image
Files
Montero210.pdf (147.48 KB)
Official URL
Full text at PDC
Publication Date
2007
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
University of Jaén
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM
Research Projects
Organizational Units
Journal Issue
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
Matemáticas (Matemáticas)
Unesco subjects
12 Matemáticas
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
URI
https://hdl.handle.net/20.500.14352/53444
Collections
Secciones de libros