The mathematical background for this work is Pawlak’s rough set theory [1], an approach to the analysis of data that has generated a certain amount of interest in Europe over the past generation. In this paper, the author introduces the notions of approximation spaces and dynamic spaces (in turn, a generalization of indiscernibility spaces), as an attempt to introduce dynamic phenomena into the basic theory of rough spaces, and more flexibility into said theory.

The results are highly technical and formal, consisting of a large number of abstract definitions, and a lesser number of propositions relating these definitions to each other. No specific applications or examples are given. One gets the feeling that this ought to lead to some concrete applications, and to some real software, and hopefully someone will actually go to the trouble of seeing if all of this can be brought down to earth.