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

摘要：

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

关键词：条件偏好网(CP-nets)、条件偏好表(CPT)、CP-nets导出图、强占优测试、偏好的可满足性、可满足性序列

所属期刊栏目：42

分类号：TP301(计算技术、计算机技术)

资助基金：山东省高等学校科技计划项目J14LN23;山东省自然科学基金ZR2014FL009,ZR2013FM011;山东省自然科学基金青年项目ZR2013FQ023

在线出版日期：2015-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：270-273,285