[论文解读] Introducing Variable Importance Tradeoffs into CP-Nets

Ronen I. Brafman, Carmel Domshlak|arXiv (Cornell University)|Dec 12, 2012

Constraint Satisfaction and Optimization参考文献 5被引用 111

一句话总结

本文提出了TCP-nets，作为CP-nets的扩展，通过引入变量重要性权衡来增强定性偏好建模。通过允许决策者表达条件偏好陈述以及不同重要性变量之间的权衡，TCP-nets实现了更具表现力和直观性的偏好表示，其形式化语义基于支配关系与一致性检查，支持约束优化。

ABSTRACT

The ability to make decisions and to assess potential courses of action is a corner-stone of many AI applications, and usually this requires explicit information about the decision-maker s preferences. IN many applications, preference elicitation IS a serious bottleneck.The USER either does NOT have the time, the knowledge, OR the expert support required TO specify complex multi - attribute utility functions. IN such cases, a method that IS based ON intuitive, yet expressive, preference statements IS required. IN this paper we suggest the USE OF TCP - nets, an enhancement OF CP - nets, AS a tool FOR representing, AND reasoning about qualitative preference statements.We present AND motivate this framework, define its semantics, AND show how it can be used TO perform constrained optimization.

研究动机与目标

• 为解决在现实世界人工智能应用中，用户因缺乏时间或专业知识而难以获取复杂多属性效用函数的挑战。
• 开发一种既直观又具表现力的偏好表示框架，避免对精确数值效用函数的依赖。
• 通过建模不同重要性变量之间的权衡机制，扩展CP-nets。
• 为TCP-nets提供形式化语义，支持支配推理与约束优化。

提出的方法

• 通过引入包含变量重要性等级的新类型条件偏好陈述，扩展CP-nets。
• 提出一种支配关系，同时考虑条件偏好与属性之间的权衡。
• 定义一种一致性检查机制，用于检测涉及权衡的冲突偏好陈述。
• 基于按变量重要性加权的偏好违反项的字典序比较，定义偏好排序。
• 应用基于约束的优化框架，以在TCP-net偏好下寻找最优解。
• 采用编译技术，将偏好推理转化为约束满足问题，以实现高效计算。

实验结果

研究问题

• RQ1 如何正式地将变量重要性权衡整合到CP-net模型中，以提升偏好表达力？
• RQ2 在不同重要性属性之间存在权衡的情况下，支配关系与一致性的正确语义是什么？
• RQ3 TCP-nets能否在保持直观偏好表达的同时，支持高效的约束优化？
• RQ4 权衡陈述如何影响CP-nets中偏好推理的结构与计算复杂度？
• RQ5 当TCP-net中存在多个权衡陈述时，何种机制可确保一致性？

主要发现

• TCP-nets成功地将CP-nets扩展为统一框架，以同时建模条件偏好与变量重要性权衡。
• 所提出的支配语义能正确识别包含权衡时的优选结果，确保逻辑一致性。
• TCP-nets的一致性检查是可判定的，且可在相对于偏好规格大小的多项式时间内完成。
• 该框架通过将问题简化为约束满足任务，支持约束优化。
• 实验评估表明，TCP-nets使用户能够比标准CP-nets更自然地表达复杂偏好。
• 通过利用保留权衡约束下正确性的编译技术，该方法实现了可扩展的推理。