Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
Verification of the Formal Concept Analysis.
| Título inglés | Verification of the Formal Concept Analysis. |
|---|---|
| Título español | Verificación del Análisis formal de conceptos. |
| Autor/es | Alonso, José Antonio ; Borrego, Joaquín ; Hidalgo, María José ; Martín Mateos, Francisco Jesús ; Ruiz Reina, José Luis |
| Organización | Dep. Cien. Comput. Intel. Artif. Esc. Téc. Sup. Ing. Informát. Univ. Sevilla, Sevilla, España |
| Revista | 1578-7303 |
| Publicación | 2004, 98 (1): 3-16, 11 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Resumen español | En este trabajo se realiza una verificación formal de la teoría del Análisis formal de conceptos. Usamos el sistema PVS para especificar y verificar formalmente los fundamentos matemáticos de esta teoría. Además, desarrollamos un método para transformar especificaciones de algoritmos basadas en el uso de conjuntos finitos en otras evaluables, preservando la corrección. Ilustramos este método construyendo un algoritmo evaluable para calcular una base de implicaciones del sistema de implicaciones entre atributos de un contexto formal finito. |
| Resumen inglés | This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform specifications of algorithms based on finite sets into other executable ones, preserving its correctness. We illustrate this method by constructing an executable algorithm to compute an implicational base of the system of implications between attributes of a finite formal context. |
 Acceso al artículo completo |
|