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

Verification of the Formal Concept Analysis

 

Advanced Search
 

Show simple item record

dc.creator Alonso Jiménez, José Antonio es
dc.creator Borrego Díaz, Joaquín es
dc.creator Hidalgo Doblado, María José es
dc.creator Martín Mateos, Francisco Jesús es
dc.creator Ruiz Reina, José Luis es
dc.date.accessioned 2018-06-05T09:56:35Z
dc.date.available 2018-06-05T09:56:35Z
dc.date.issued 2004
dc.identifier.citation 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.
dc.identifier.issn 1578-7303 es
dc.identifier.uri https://hdl.handle.net/11441/75659
dc.description.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. es
dc.description.abstract 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. es
dc.format application/pdf es
dc.language.iso eng es
dc.publisher Real Academia de Ciencias es
dc.relation.ispartof Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, 98 (1-2), 3-16.
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 Internacional *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/ *
dc.subject Formalized Mathematics es
dc.subject Formal Concept Analysis es
dc.subject Formal Methods es
dc.subject PVS es
dc.subject Higher Order Logic es
dc.title Verification of the Formal Concept Analysis es
dc.title.alternative Verificación del Análisis formal de conceptos es
dc.type info:eu-repo/semantics/article es
dc.type.version info:eu-repo/semantics/submittedVersion es
dc.rights.accessrights info:eu-repo/semantics/openAccess es
dc.contributor.affiliation Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial es
dc.relation.publisherversion http://www.rac.es/4/4_3_2_1.php?id=17 es
dc.contributor.group Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento es
idus.format.extent 14 es
dc.journaltitle Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas es
dc.publication.volumen 98 es
dc.publication.issue 1-2 es
dc.publication.initialPage 3 es
dc.publication.endPage 16 es
dc.identifier.sisius 6604629 es
Size: 107.7Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record