|
Título:
|
Fuzzy specification of algorithms
|
|
Autores:
|
Lopez, Victoria ;
Montero, Javier
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
University of Jae?n, 2007
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas
,
Tipo = Sección de libro
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/30795/1/Montero210.pdf
|
