2026-06-29T07:23:10Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/500792024-11-26T14:25:17Zcom_20.500.14352_14col_20.500.14352_15

Specification and computing states in fuzzy algorithms López, Victoria Montero De Juan, Francisco Javier Garmendia Salvador, Luis Resconi, Germano 004.8 Fuzzy algorithms Fuzzy specication Decision making Inteligencia artificial (Informática) 1203.04 Inteligencia Artificial Since 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. Grant Depto. de Estadística e Investigación Operativa Fac. de Ciencias Matemáticas TRUE pub 2023-06-20T09:38:04Z 2023-06-20T09:38:04Z 2008 journal article https://hdl.handle.net/20.500.14352/50079 0218-4885 10.1142/S0218488508005303 eng TIN2006-06190 Lopez, 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/S0218488508005303 restricted access application/pdf World Scientific