National Natural Science Foundation of China (No.61303107, No.61272095, No.61175067, No.41101440, No.61202018);Research Funding Project for Returned Overseas Students in Shanxi Province (No.2013-014);Natural Science Foundation of Shanxi Province (No.2013011066-4)
In this paper we introduced the notion of decision premise
and formed decision implications with decision premises as premises and closures w.r.t.decision subcontext as consequences.It was proven that such decision implications constitute the so-called decision canonical basis
i.e.
it is complete
non-redundant and of minimal cardinality among all complete sets of decision implications.We also described an algorithm to generate decision implication canonical basis and analyzed time complexity of this algorithm.Experiments showed that decision canonical basis can greatly reduce redundant decision implications and is more efficient than other decision implication bases.