作者: Y.Y. Yao , Xining Li
关键词:
摘要: In the rough-set model, a set is represented by pair of ordinary sets called lower and upper approximations. interval-set referred to as bounds which define family sets. A significant difference between these models lies in definition interpretation their extended set-theoretic operators. The operators model are not truth-functional, while truth-functional. Within framework possible-worlds analysis, we show that corresponds modal logic system S 5, Kleene's three-valued K 3. It argued two extend theory same manner systems 5 3 standard propositional logic. Their relationships probabilistic reasoning also examined.