RT Book, Section
T1 Verificación de algoritmos de clasificación con recondición difusa
A1 Lopez, Victoria
A1 Gómez, D.
A1 Montero, Javier
A2 Jesús Díaz, Mª José del
AB En este articulo abordaremos el problema de la vericaci on formal [7, 13] de un algoritmo con precondiciones y entradas difusas. Se tratara la vericacion mediante la semantica axiomatica realizando transformaciones de predicados difusos. Para ello comenzaremos presentando la especicacion formal de algoritmos nitidos que ampliaremos al contexto difuso para dar paso a la metodologia de vericacion formal nitida y difusa. Presentaremos un problema de decision-clasicacion para ejemplificar el obje-tivo de este articulo.
PB Desconocido
SN 84-609-2160-3
YR 2004
FD 2004
LK https://hdl.handle.net/20.500.14352/53437
UL https://hdl.handle.net/20.500.14352/53437
LA spa
NO Congreso Español sobre Tecnologías y Lógica Fuzzy (12º. Jaén. (2004)Organizado por: Dpto. de Informática, Universidad de Jaén, Dpto. de Ingeniería Electrónica, de Telecomunicaciones y Automática, Universidad de Jaén, European Society for Fuzzy Logic and Technology
DS Docta Complutense
RD 1 may 2024