RT Journal Article
T1 Specification and computing states in fuzzy algorithms
A1 López, Victoria
A1 Montero De Juan, Francisco Javier
A1 Garmendia Salvador, Luis
A1 Resconi, Germano
AB 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.
PB World Scientific
SN 0218-4885
YR 2008
FD 2008
LK https://hdl.handle.net/20.500.14352/50079
UL https://hdl.handle.net/20.500.14352/50079
LA eng
NO 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
NO Grant
DS Docta Complutense
RD 19 dic 2025