This article describes the solvability of HornSAT and CNFSAT. Unsatisfiable HornCNF have partially ordered set that is made by causation of each clauses. In this partially ordered set, Truth value assignment that is false in each clauses become simply connected space. Therefore, if we reduce CNFSAT to HornSAT, we must make such partially ordered set in HornSAT. But CNFSAT have correlations of e...

The decision-theoretic rough set model based on Bayesian decision theory is a main development tendency in the research of rough sets. To extend the theory of decision-theoretic rough set, the article devotes this study to presenting multigranulation decision-theoretic rough set model in ordered information systems. This new multigranulation decision-theoretic rough set approach is characterize...