Universidad Complutense de Madrid
E-Prints Complutense

Specification and computing states in fuzzy algorithms



Último año

Lopez, Victoria y Montero, Javier y Garmendia, Luis y Resconi, Germano (2008) Specification and computing states in fuzzy algorithms. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16 (3). pp. 301-336. ISSN 0218-4885

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 2020.


URL Oficial: http://www.worldscinet.com/ijufks/16/1603/S0218488508005303.html

URLTipo de URL


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.

Tipo de documento:Artículo
Palabras clave:Fuzzy algorithms; Fuzzy specication; Decision making.
Materias:Ciencias > Informática > Inteligencia artificial
Código ID:16192
Depositado:10 Sep 2012 11:51
Última Modificación:21 Abr 2016 17:03

Descargas en el último año

Sólo personal del repositorio: página de control del artículo