Rough Concept Analysis – Theory Development in the Mizar System [chapter]

Adam Grabowski, Christoph Schwarzweller
2004 Lecture Notes in Computer Science  
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
more » ... nowledge management. In this paper we investigate the facilities of the Mizar system concerning extending and combing 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.
doi:10.1007/978-3-540-27818-4_10 fatcat:kkyspxwxqjfejmg6o5g34pyk4y