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 |
dcterms.identifier | https://ror.org/03yxnpp24 | |
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 |