Rough concept analysis: Theory development in the Mizar system
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004)Lecture notes in computer science :130-144
Konferenz
- print, 23 ref
Zugriff:
Theories play an important role in building mathematical knowledge repositories. Organizing knowledge in theories is an obvious approach to cope with the growing number of definitions, theorems, and proofs. However, they are also a matter of subject on their own: developing a new piece of mathematics often relies on extending or combining already developed theories in this way reusing definitions as well as theorems. We believe that this aspect of theory development is crucial for mathematical knowledge management. In this paper we investigate the facilities of the Mizar system concerning extending and combining theories based on structure and attribute definitions. As an example we consider the formation of rough concept analysis out of formal concept analysis and rough sets.
Titel: |
Rough concept analysis: Theory development in the Mizar system
|
---|---|
Autor/in / Beteiligte Person: | GRABOWSKI, Adam ; SCHWARZWELLER, Christoph |
Link: | |
Quelle: | MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004)Lecture notes in computer science :130-144 |
Veröffentlichung: | Berlin: Springer, 2004 |
Medientyp: | Konferenz |
Umfang: | print, 23 ref |
ISSN: | 0302-9743 (print) |
Schlagwort: |
|
Sonstiges: |
|