Verificación de algoritmos de clasificación con recondición difusa
| dc.book.title | Actas del XII Congreso sobre Tecnologías y Lógica Fuzzy : Jaén, 15-17 de septiembre de 2004 | |
| dc.contributor.author | López, Victoria | |
| dc.contributor.author | Gómez González, Daniel | |
| dc.contributor.author | Montero De Juan, Francisco Javier | |
| dc.contributor.editor | Jesús Díaz, Mª José del | |
| dc.date.accessioned | 2023-06-20T13:42:07Z | |
| dc.date.available | 2023-06-20T13:42:07Z | |
| dc.date.issued | 2004 | |
| dc.description | 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 | |
| dc.description.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. | es |
| dc.description.department | Depto. de Estadística e Investigación Operativa | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/30752 | |
| dc.identifier.isbn | 84-609-2160-3 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53437 | |
| dc.language.iso | spa | |
| dc.page.final | 442 | |
| dc.page.initial | 437 | |
| dc.page.total | 676 | |
| dc.publication.place | Jaén | |
| dc.publisher | Desconocido | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 004.8 | |
| dc.subject.keyword | Verificacion | |
| dc.subject.keyword | Especificacion | |
| dc.subject.keyword | Algoritmos Difusos. | |
| dc.subject.ucm | Inteligencia artificial (Informática) | |
| dc.subject.unesco | 1203.04 Inteligencia Artificial | |
| dc.title | Verificación de algoritmos de clasificación con recondición difusa | es |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 4dcf8c54-8545-4232-8acf-c163330fd0fe | |
| relation.isAuthorOfPublication | 9e4cf7df-686c-452d-a98e-7b2602e9e0ea | |
| relation.isAuthorOfPublication.latestForDiscovery | 4dcf8c54-8545-4232-8acf-c163330fd0fe |
Download
Original bundle
1 - 1 of 1
