Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
On Certain Rough Inclusion Functions
Transactions on Rough Sets IX
Constructive and algebraic methods of the theory of rough sets
Information Sciences: an International Journal
Automated reasoning and presentation support for formalizing mathematics in Mizar
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Translating mathematical vernacular into knowledge repositories
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
Tolerance Approximation Spaces
Fundamenta Informaticae
Comparison Of Rough-Set And Interval-Set Models For Uncertain Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |
The computer certification of rough sets the translation in a way understandable by machines seems to be far beyond the test phase. To assure the feasibility of the approach, we try to encode selected problems within rough set theory and as the testbed of already developed foundations --and in the same time as a payoff of the established framework --we shed some new light on the well-known question of generalization of rough sets and the axiomatization of approximation operators in terms of various types of binary relations. We show how much the human work can be enhanced with the use of automatic tools, without loosing too much time for the translation. Although the syntax is understandable by the computer, it offers relative flexibility and expressive power of the formal language.