论文部分内容阅读
CP-nets是表达定性偏好的图模型，从偏好知识的推理角度看，其上的一个典型的推理任务是CP-nets所表达的偏好是否一致，即CP-nets是否蕴含着矛盾知识。目前无环CP-nets上的一致性已经得到解决，即任何无环CP-nets表达的是一致性知识，并可实现知识的单调推理，但是带环CP-nets的一致性却不确定。本文不仅完成了带环CP-nets上的一致性检测该开问题的形式化描述，还给出了其可能解决的一个方法，即从图的反馈顶点集和反馈边集的角度来实现一致性的检测。