%0 Book Section
%T Fuzzy specification of algorithms
publisher University of Jaén
%D 2007
%U 978-84-690-4561-9
%@ https://hdl.handle.net/20.500.14352/53444
%X 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.
%~