决策蕴涵规范基  

Canonical Basis for Decision Implications

作　　者：翟岩慧[1] 李德玉[1] 曲开社[1] 

机构地区：[1]山西大学计算机与信息技术学院,山西太原030006

出　　处：《电子学报》2015年第1期18-23,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.61303107;No.61272095;No.61175067;No.41101440;No.61202018);山西省回国留学人员科研项目(No.2013-014);山西省自然科学基金(No.2013011066-4)

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

关 键 词：决策蕴涵 规范基 概念格 最小生成子 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]