Computer-Driven Searching for Axiomatization of Rough Sets

The formalization of rough sets in a way understable by ma- chines seems to be far beyond the test phase. For further research, we try to encode some problems within RST and as the testbed of already developed foundations – and in the same time as a payoff of the estab- lished 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) relations.