×
C·多姆什拉克。;普雷斯特维奇，S。;F.罗西。;维纳布尔，K.B。;T·沃尔什。

定性条件偏好推理的硬约束和软约束。 （英语） Zbl 1125.68410号

J.启发式 12，编号4-5，263-285（2006）.
总结：许多现实生活中的优化问题都是根据硬约束和软约束以及定性条件偏好来定义的。然而，对于这三种信息的组合推理，目前还没有一个单一的框架。在本文中，我们研究了如何利用经典和软约束求解器来处理定性偏好语句，如CP-nets模型捕获的那些语句。特别地，我们展示了硬约束如何足以对可能循环CP-net的最佳结果建模，以及软约束如何忠实地近似非循环条件偏好语句的语义，同时提高这些语句的推理计算效率。

引用于11文件

MSC公司：

68层37 人工智能背景下的不确定性推理
91B06型 决策理论
91B08型 个人偏好

关键词：

偏好;硬约束和软约束;CP网络

软件：

CP网络
PDF格式BibTeX公司 XML格式引用
\textit{C.Domshlak}等人，《启发式杂志》12，第4--5期，263--285页（2006年；Zbl 1125.68410）
全文： 内政部

参考文献：

[1] Bistarelli，S.、H.Fargier、U.Montanari、F.Rossi、T.Schiex和G.Verfaillie。(1996). ”基于半环的CSP和有值CSP：基本属性和比较。”在过度约束系统中·Zbl 0946.68143号
[2] Bistarelli，S.、U.Montanari和F.Rossi。(1997). ”基于半环的约束求解和优化。”美国医学会杂志44（2），201–236·Zbl 0890.68032号 ·数字对象标识代码：10.1145/256303.256306
[3] Boutiler，C.、R.Brafman、H.Hoos和D.Poole。(1999). ”使用条件Ceteris Paribus偏好语句进行推理。”程序中。UAI，第71-80页·Zbl 1080.68685号
[4] Boutiler、C.、F.Bacchus和R.I.Brafman。(2001). ”UCP-网络：条件实用程序的定向图形表示。”程序中。UAI，第56-64页。
[5] Boutiler，C.、R.Brafman、C.Domshlak、H.Hoos和D.Poole。(2004). ”CP-nets：表示和推理条件的工具。其他同等优惠声明。”《人工智能研究杂志》（JAIR）21，135–191·Zbl 1080.68685号
[6] Boutiler，C.、R.Brafman、C.Domshlak、H.Hoos和D.Poole。（2004年）。”基于偏好的约束优化与CP-Nets。”计算智能20（2），137-157·兹比尔1080.68685 ·doi:10.1111/j.0824-7935.2004.00234.x
[7] Brafman，R.和Y.Dimopoulos。（2004年）。”CP-Networks的扩展语义和优化算法”计算智能20（2），218–245·doi:10.1111/j.0824-7935.2004.00236.x
[8] Domshlak，C.和R.Brafman。(2002). ”CP-Nets-推理和一致性测试。”程序中。第121–132页。
[9] Domshlak，C.、F.Rossi、K.B.Venable和T.Walsh。(2003). ”关于软约束和条件偏好的推理：复杂性结果和近似技术。”程序中。墨西哥阿卡普尔科IJCAI，八月·Zbl 1125.68410号
[10] Doyle，J.和R.H.Thomason。(1999). ”定性决策理论背景。”AI杂志20（2），55–68。
[11] Doyle，J.和M.Wellman。(1994). ”将偏好表示为Ceteris Paribus比较。”程序中。AAAI决策规划春季研讨会，第69-75页。
[12] Dubois，D.、H.Fargier和H.Prade。(1993). ”模糊约束演算作为柔性约束满足的基础。”程序中。IEEE模糊系统国际会议。
[13] Fargier、H.、J.Lang和T.Schiex。(1993). ”选择模糊约束满足问题的首选解。”程序中。第一届欧洲模糊与智能技术大会（EUFIT），第277-288页。
[14] 弗洛伊德、E.C.和R.J.华莱士。(1992). ”部分约束满足。”人工智能58（1-3），21–70·Zbl 05472872号 ·doi:10.1016/0004-3702（92）90004-H
[15] Garey，M.R.和D.S.Johnson。(1978). 计算机与难处理性：NP完全性理论指南。纽约W.H.Freeman公司·Zbl 0411.68039号
[16] Goldsmith，J.、J.Lang、M.Truszczynski和N.Wilson。(2005). ”CP网络中优势和一致性的计算复杂性。”程序中。IJCAI的·Zbl 1182.68089号
[17] Hansson，S.O.（2001）。”偏好逻辑。”D.M.Gabbay和F.Guenthner，编辑，《哲学逻辑手册》，第4卷，第319-394页。克鲁沃·Zbl 1003.03504号
[18] Lang，J.（2002）。”从优先代表制到组合投票。”程序中。KR的。
[19] McGeachie，M.和J.Doyle。(2002). ”Ceteris Paribus首选项的高效实用函数。”程序中。AAAI，第279-284页。
[20] Meseguer，P.、F.Rossi、T.Schiex和K.B.Venable。(2004). ”私人通信。”4月。
[21] Prestwich，S.、F.Rossi、K.B.Venable和T.Walsh。(2005). ”基于约束的优先优化。”程序中。7月9日至13日，美国宾夕法尼亚州匹兹堡AAAI，摩根考夫曼。
[22] Sabin，D.和R.Weigel。(1998). ”产品配置框架——调查。”IEEE智能系统及其应用13（4），42–49·Zbl 05095357号 ·doi:10.1109/5254.708432
[23] Schiex，T.、H.Fargier和G.Verfaile。(1995). ”有价值约束满足问题：困难和容易的问题。”程序中。第631-637页。
[24] Schiex，T.（1992）。”可能性约束满足问题”或“如何处理软约束？”程序中。UAI，第269-275页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。