摘要
主要给出一个决策蕴涵下的决策蕴涵规范基.首先给出决策前提的概念,然后生成以决策前提为前提,决策前提相对于决策子背景的闭包为结论的决策蕴涵集——决策蕴涵规范基.证明了该决策决策蕴涵集是完备的,无冗余的,并且是最优的,即在所有完备的决策蕴涵集中,决策蕴涵规范基所含的决策蕴涵数最少.最后给出了该决策蕴涵基的生成算法.实验表明,决策蕴涵规范基可以很好地抑制冗余决策蕴涵的生成,比已有的决策蕴涵集也更为紧凑和有效.
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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2015年第1期18-23,共6页
Acta Electronica Sinica
基金
国家自然科学基金(No.61303107
No.61272095
No.61175067
No.41101440
No.61202018)
山西省回国留学人员科研项目(No.2013-014)
山西省自然科学基金(No.2013011066-4)
关键词
决策蕴涵
规范基
概念格
最小生成子
decision implication
canonical basis
concept lattice
minimal generator