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...

Descripción completa

Detalles Bibliográficos
Autores: López, Victoria, Gómez González, Daniel, Montero De Juan, Francisco Javier
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
id ES_e6a686ab56c86dad37b1bdca95aaa2cf
oai_identifier_str oai:docta.ucm.es:20.500.14352/53437
network_acronym_str ES
network_name_str España
repository_id_str
spelling Verificación de algoritmos de clasificación con recondición difusaLópez, VictoriaGómez González, DanielMontero De Juan, Francisco Javier004.8VerificacionEspecificacionAlgoritmos Difusos.Inteligencia artificial (Informática)1203.04 Inteligencia ArtificialEn 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.DesconocidoJesús Díaz, Mª José delUniversidad Complutense de Madrid20042004-01-0120042004-01-01book parthttp://purl.org/coar/resource_type/c_3248info:eu-repo/semantics/bookPartapplication/pdfhttps://hdl.handle.net/20.500.14352/53437reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/534372026-06-02T12:44:21Z
dc.title.none.fl_str_mv Verificación de algoritmos de clasificación con recondición difusa
title Verificación de algoritmos de clasificación con recondición difusa
spellingShingle Verificación de algoritmos de clasificación con recondición difusa
López, Victoria
004.8
Verificacion
Especificacion
Algoritmos Difusos.
Inteligencia artificial (Informática)
1203.04 Inteligencia Artificial
title_short Verificación de algoritmos de clasificación con recondición difusa
title_full Verificación de algoritmos de clasificación con recondición difusa
title_fullStr Verificación de algoritmos de clasificación con recondición difusa
title_full_unstemmed Verificación de algoritmos de clasificación con recondición difusa
title_sort Verificación de algoritmos de clasificación con recondición difusa
dc.creator.none.fl_str_mv López, Victoria
Gómez González, Daniel
Montero De Juan, Francisco Javier
author López, Victoria
author_facet López, Victoria
Gómez González, Daniel
Montero De Juan, Francisco Javier
author_role author
author2 Gómez González, Daniel
Montero De Juan, Francisco Javier
author2_role author
author
dc.contributor.none.fl_str_mv Jesús Díaz, Mª José del
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.8
Verificacion
Especificacion
Algoritmos Difusos.
Inteligencia artificial (Informática)
1203.04 Inteligencia Artificial
topic 004.8
Verificacion
Especificacion
Algoritmos Difusos.
Inteligencia artificial (Informática)
1203.04 Inteligencia Artificial
description 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.
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-01-01
2004
2004-01-01
dc.type.none.fl_str_mv book part
http://purl.org/coar/resource_type/c_3248
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format bookPart
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/53437
url https://hdl.handle.net/20.500.14352/53437
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Desconocido
publisher.none.fl_str_mv Desconocido
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422784902332416
score 15,301603

Similares en LA Referencia