cp-nets的可满足性序列求解算法研究

cp-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点。然而对于cp-nets的基础性质——可满足性序列的研究却较少。通过构造cp-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优测试得到的可达矩阵进行分析,得出任意结构cp-nets的可满足性序列个数关系;给出了生成全部可满足性序列的算法；强化和扩充了cp-nets的基本概念,深化了cp-nets的基础理论研究。