%0 Journal Article
%T cp-nets的可满足性序列求解算法研究
%A 孙雪姣？
%A 刘惊雷？
%J 计算机科学
%D 2015
%R 10.11896/j.issn.1002-137X.2015.05.054
%X cp-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点。然而对于cp-nets的基础性质——可满足性序列的研究却较少。通过构造cp-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优测试得到的可达矩阵进行分析,得出任意结构cp-nets的可满足性序列个数关系;给出了生成全部可满足性序列的算法；强化和扩充了cp-nets的基本概念,深化了cp-nets的基础理论研究。
%K 条件偏好网(cp-nets)
%K 条件偏好表(cpt)
%K cp-nets导出图
%K 强占优测试
%K 偏好的可满足性
%K 可满足性序列
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20150554&flag=1