高级检索

    CP-nets的可满足性及一致性研究

    On the Satisfiability and Consistency for CP-nets

    • 摘要: CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也没有探讨不同性质之间的联系,没有一个求可满足性序列的通用算法.从研究CP-nets的可满足性和一致性的关系着手,得出了任意结构二值CP-nets的可满足性判定算法及可满足性序列生成算法.首先通过构造CP-nets导出图及其性质的研究,得出CP-nets的可满足性及一致性的相关定理.再把不同性质结合起来分析,给出CP-nets可满足性等价于一致性的结论,从而利用拓扑排序的思想实现了任意结构二值CP-nets的可满足性序列的生成.强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究.

       

      Abstract: The conditional preference networks (CP-nets) is a simple and intuitive graphical tool for representing conditional ceteris paribus (all else being equal) preference statements over the values of a set of variables, which has become a research hotspot in artificial intelligence field recently. However, by now there are few works to address its characteristics of satisfiability and consistency, and there are neither strict definition of them, further discussion of their relationships, nor a general algorithm to get a satisfactory ranking. By analyzing the relationships between satisfiability and consistency, two algorithms are proposed to judge the satisfiability and to generate the satisfactory ranking for any structured binary-valued CP-nets. Firstly, by constructing an induced graph of CP-nets and studying its properties, the related theorems on satisfiability and consistency are obtained. Secondly, by analyzing the relations between them, a conclusion is drawn that the satisfiability for CP-nets is equivalent to its consistency. Therefore, the satisfactory ranking for any structured binary-valued CP-nets can be generated with the method of topology sort. What’s more, the syntax, semantics and some definitions of CP-nets are collated and introduced. All these studies can be seen as the improvement and refinement of Boutilier’s related works, and can deepen the basic theory research of CP-nets.

       

    /

    返回文章
    返回