摘要
CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也没有探讨不同性质之间的联系,没有一个求可满足性序列的通用算法.从研究CP-nets的可满足性和一致性的关系着手,得出了任意结构二值CP-nets的可满足性判定算法及可满足性序列生成算法.首先通过构造CP-nets导出图及其性质的研究,得出CP-nets的可满足性及一致性的相关定理.再把不同性质结合起来分析,给出CP-nets可满足性等价于一致性的结论,从而利用拓扑排序的思想实现了任意结构二值CP-nets的可满足性序列的生成.强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究.
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第4期754-762,共9页
Journal of Computer Research and Development
基金
国家自然科学基金项目(61170224)
关键词
条件偏好网
条件偏好表
偏好的可满足性
可满足性序列
偏好的一致性
CP-nets导出图
condition preference networks（CP-nets）
condition preference table（CPT）
preference satisfiability
satisfactory ranking
preference consistency
induced graph of CP-nets
作者简介
孙雪姣,Sun Xuejiao,born in 1979.Master and lecturer.Her main research interests include technology of Web searching,sunxuejiao6@tom.com;刘惊雷,born in 1970.Master and associate professor.Member of China Computer Federation.His main research directions are program theory and comput-ational method,jinglei_liu@sina.com.
