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

用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于约束半环的满足问题),并指出CP-nets中的条件偏好表本质上是一种动态约束.给出了将CP-nets中的条件偏好表转化为SCSP中的约束,在SCSP中进行解的优劣判断的算法,并指出该算法具有多项式时间复杂度特性,从而基于约束半环解决了无环CP-nets上的占优查询问题.