Impacto
Downloads
Downloads per month over past year
Lopez, Victoria and Gómez, D. and Montero, Javier (2004) Verificación de algoritmos de clasificación con recondición difusa. In Actas del XII Congreso sobre Tecnologías y Lógica Fuzzy : Jaén, 15-17 de septiembre de 2004. Desconocido, Jaén, pp. 437-442. ISBN 84-609-2160-3
Preview |
PDF
138kB |
Abstract
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.
Item Type: | Book Section |
---|---|
Additional Information: | Congreso Español sobre Tecnologías y Lógica Fuzzy (12º. Jaén. (2004) |
Uncontrolled Keywords: | Verificacion; Especificacion; Algoritmos Difusos. |
Subjects: | Sciences > Computer science > Artificial intelligence |
ID Code: | 30752 |
Deposited On: | 10 Jun 2015 10:35 |
Last Modified: | 22 Apr 2016 14:14 |
Origin of downloads
Repository Staff Only: item control page