López, VictoriaMontero De Juan, Francisco JavierGarmendia Salvador, LuisResconi, Germano2023-06-202023-06-202008Lopez, V., Montero, J., Garmendia, L., Resconi, G.: SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS. Int. J. Unc. Fuzz. Knowl. Based Syst. 16, 301-336 (2008). https://doi.org/10.1142/S02184885080053030218-488510.1142/S0218488508005303https://hdl.handle.net/20.500.14352/50079Since many complex decision making problems can be solved solely by means of an ap-propriate 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 de-sign and formal specication of algorithms can be translated into a fuzzy framework introducing fuzzy rst order logic and assert transformations. Following the classical crisp scheme we rst formalize the concepts of a fuzzy algorithm specication and a fuzzy computing state, and then a new fuzzy computational logic is presented, so we can derive a computational reasoning for correctness of algorithms. A proposal for the evaluation and setting of suitable degrees of truth to computing states is also introduced.engjournal articlehttps//doi.org/10.1142/S0218488508005303http://www.worldscinet.com/ijufks/16/1603/S0218488508005303.htmlrestricted access004.8Fuzzy algorithmsFuzzy specicationDecision makingInteligencia artificial (Informática)1203.04 Inteligencia Artificial