基于约束半环的CP-nets占优查询算法.pdfVIP

第 8期 电 子 学 报 V01．39 No．8 2011年 8月 ACrAELECIR0NICASINICA Aug． 2011 基于约束半环的CP—nets占优查询算法 刘惊雷 ，华 22，武栓虎 (1．烟台大学计算机学院，山东烟台264005；2．山东工商学院信电学院，山东烟台264005) 摘 要： 崩户的偏好在 自动决策中起着重要的作用，作为一种表示多属性定性偏好断言的直观工具 ，CP-nets被 许多学者研究．其上的占优查询算法的高复杂度还是一个难题 ，本文研究如何降低其复杂度．引入了一种求解约束满 足问题的通用框架——SCSP(基于约束半环的满足问题)，并指出CP-nets中的条件偏好表本质上是一种动态约束．给 出了将 CP-nets中的条件偏好表转化为SCsP中的约束 ，在 sCsP中进行解的优劣判断的算法，并指出该算法具有多项 式时间复杂度特性，从而基于约束半环解决了无环CP-nets上的占优查询问题 ． 关键词： 占优查询 ；约束半环；约束满足问题；条件偏好表；动态约束 ；解的优劣 中图分类号 ： TP18 文献标识码 ： A 文章编号： 0372—2112(2011)08—1932—05 DominanceQueryAlgorithm forCP--netsBasedonC--Semiring LIU Jing1ei，HUAZhen2，WU Shuan．hu (1．SchoolofComputerScienceandTechnology，YantaiUniversity，Yantni，Shandong264005，China； 2．SchoolofInformationandElectronic r ，Shan~ngInstituteofBusinessandTechonloyg，Yantai，Shandong264005，Ch／na) Abstract： Informationaboutuserpreferencesplaysakeyroleinautomateddecisionmaking．Asanituitivegraphicaltoolfor representingstatementsovermultipleatlributequalitativedecision，CP-netshasattractedmanyresearcherstostudyit．Itshighercom— plexityofdomniancequeryalgorithm isadifficultproblem tosolve．W estudyhow ot redilce dominance querycomplexity．A gener- al-purposeframeworkforsolvingconslxaintsatisfactionproblem isnitroduced，namely，SCSP (c-SemiringConstraintSatisfaction Problem)，andponitoutthatconditionalpreference tableofCP-netsjustisatypeofdynamicconslraint．Analgorithmtransforming conditionalpreferencetableofCP-netstoconstraintofSCSPisgiven，whichCnajudgeasolutionisbetterroworse．Itspolynomial timecomplexiyt propertyisgiven，SObased如【C-Semiring，domninace queryforacyclicCP-netsissolvde effectively． Keywords