Models for first order rough logic applications to data mining

Pawlak's rough set theory has inspired many logical investigations. In their joint paper, T.Y. Lin and Q. Liu have introduced first order rough logic based on their axiomatic characterization of rough sets. In this paper, rough model are fine tuned. Two rough models an defined. Based on new rough models, completeness of rough logic system is indicated for each respective model. Pawlak information system is viewed as rough model, and data mining is formulated in terms of first order rough logic.