RT Book, Section
T1 Fuzzy specification of algorithms
A1 López, Victoria
A1 Montero De Juan, Francisco Javier
A2 Martinez, Luis
A2 Baets, Bernard de
A2 Gonzaga, luis
AB 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.
PB University of Jaén
SN 978-84-690-4561-9
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53444
UL https://hdl.handle.net/20.500.14352/53444
LA eng
NO Proceedings EUROFUSE’07
NO Government of Spain
DS Docta Complutense
RD 9 abr 2025