决策蕴涵规范基

Canonical Basis for Decision Implications

主要给出一个决策蕴涵下的决策蕴涵规范基.首先给出决策前提的概念,然后生成以决策前提为前提,决策前提相对于决策子背景的闭包为结论的决策蕴涵集——决策蕴涵规范基.证明了该决策决策蕴涵集是完备的,无冗余的,并且是最优的,即在所有完备的决策蕴涵集中,决策蕴涵规范基所含的决策蕴涵数最少.最后给出了该决策蕴涵基的生成算法.实验表明,决策蕴涵规范基可以很好地抑制冗余决策蕴涵的生成,比已有的决策蕴涵集也更为紧凑和有效.

In this paper w e introduced the notion of decision premise,and formed decision implications w ith decision premises as premises and closures w. r. t. decision subcontext as consequences. It w as 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 show ed that decision canonical basis can greatly reduce redundant decision implications and is more efficient than other decision implication bases.