Verificación de algoritmos de clasificación con recondición difusa
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 a...
| Autores: | , , |
|---|---|
| Tipo de recurso: | capítulo de libro |
| Fecha de publicación: | 2004 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | español |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/53437 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/53437 |
| Access Level: | acceso abierto |
| Palabra clave: | 004.8 Verificacion Especificacion Algoritmos Difusos. Inteligencia artificial (Informática) 1203.04 Inteligencia Artificial |
| Sumario: | 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. |
|---|