Diferencia entre revisiones de «Verification of the formal concept analysis in PVS»

De WikiGLC
Saltar a: navegación, buscar
(New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
 
 
(No se muestran 8 ediciones intermedias de 2 usuarios)
Línea 1: Línea 1:
−
* '''Title:'''  
+
{| border="1"
−
* '''Autores:''' {{jalonso}} y {{mjoseh}}.
+
| '''Title:'''  
−
* '''Fecha de realización:'''  
+
| Verification of the formal concept analysis in PVS
−
* '''Abstract:'''  
+
|-
−
* '''Code:''' You can find the PVS theories in ...
+
| '''Authors:'''  
−
* '''Documentation:'''
+
| {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}.
 +
|-
 +
| '''Date:'''  
 +
| 2002-2004.
 +
|-
 +
| '''Description:'''  
 +
| This theory consists of a formal verification of the mathematical foundations of theory of the Formal Concept Analysis (FCA) framework in the PVS system. The notion of formal concept in a formal context is defined and we prove that the concepts of a context can be interpreted as a complete lattice. We also deal with the implications between attributes and we verify an algorithm to obtain a minimal base of implications. Finally, we transform the previous specifications of FCA into their respective executable specifications by using [[Theory of Refinements in PVS|refinements]], in order to preserve their properties.
 +
|-
 +
| '''Code:'''  
 +
| You can find the PVS theories
 +
* [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-3.2/afc.tgz Version PVS-3.2].
 +
* [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-4.2/afc.tgz Version PVS-4.2].
 +
* [http://www.cs.us.es/~mjoseh/pub/TeoriasPVS/Version_PVS-5.0/afc.tgz Version PVS-5.0].
 +
|-
 +
| '''Documentation:'''
 +
| Papers and documents related with this work:
 +
* [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos (Tesis, Universidad de Sevilla, 2004)].
 +
* [http://www.cs.us.es/~jalonso/publicaciones/2004-racsam.pdf Verification of the formal concept analysis].
 +
|}

Revisión actual del 13:15 4 oct 2011

Title: Verification of the formal concept analysis in PVS
Authors: José A. Alonso, María J. Hidalgo, Francisco J. Martín and José L. Ruiz Reina.
Date: 2002-2004.
Description: This theory consists of a formal verification of the mathematical foundations of theory of the Formal Concept Analysis (FCA) framework in the PVS system. The notion of formal concept in a formal context is defined and we prove that the concepts of a context can be interpreted as a complete lattice. We also deal with the implications between attributes and we verify an algorithm to obtain a minimal base of implications. Finally, we transform the previous specifications of FCA into their respective executable specifications by using refinements, in order to preserve their properties.
Code: You can find the PVS theories
Documentation: Papers and documents related with this work:
Obtenido de «https://www.glc.us.es/web/index.php?title=Verification_of_the_formal_concept_analysis_in_PVS&oldid=1034»