The model of semantic reasoning based on rough logic

With the concept of rough sets, a model of semantic reasoning has been presented in this paper. The subsequent discussions could be conducted on the semantic reasoning model, which denote as M=(U, R). Based on the achievements in scientific researches on combining rough set with logic, the formal language in rough logic and the rough logical formulas have been put forward in this paper. According to discussing rough logical formulas on M based on the five rough logical values in Pawlak rough logic, some especial properties of formulas are gained. With the way of semantic reasoning, some forms of logical reasoning in classical logic have been studied. And we also give the semantic reasoning about two reasoning rules in classical logic. These can help us build a comprehensive system of semantic reasoning in rough logic.