Repositorio de producción científica de la Universidad de Sevilla

Verification of the Formal Concept Analysis

 

Advanced Search
 
Opened Access Verification of the Formal Concept Analysis
Cites
Show item statistics
Icon
Export to
Título alternativo: Verificación del Análisis formal de conceptos
Author: Alonso Jiménez, José Antonio
Borrego Díaz, Joaquín
Hidalgo Doblado, María José
Martín Mateos, Francisco Jesús
Ruiz Reina, José Luis
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2004
Published in: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, 98 (1-2), 3-16.
Document type: Article
Abstract: 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. 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.
Cite: Alonso Jiménez, J.A., Borrego Díaz, J., Hidalgo Doblado, M.J., Martín Mateos, F.J. y Ruiz Reina, J.L. (2004). Verification of the Formal Concept Analysis. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, 98 (1-2), 3-16.
Size: 107.7Kb
Format: PDF

URI: https://hdl.handle.net/11441/75659

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)