×

字典序约束满足问题。 (英语) Zbl 1191.68632号

摘要:我们描述了一种简单的CSP形式,用于处理具有硬约束的多属性偏好问题,该形式将硬约束和偏好结合在一起,以便在概念上容易区分这两者,并用于解决问题。偏好表示为基于不同重要性和每个域中值的排名的完整赋值的字典顺序。可行性约束按常规方式处理。由于偏好表示在性质上是有序的,这些问题可以用不需要显式表示求值的算法来解决。这包括普通的CSP算法,尽管这些算法在检查完所有解决方案之前无法停止搜索,但重要的例外是遵循优先顺序的启发式算法(词汇变量和值排序)。
我们描述了词典学CSP和更一般的软约束形式之间的关系,并展示了如何在后者中表达完整的词典学顺序。我们讨论了与(T)CP网的关系,强调了当前公式的优点,并讨论了字典排序在多目标优化中的使用。我们还考虑了这种表示形式在表达性和可用性方面的优势和局限性。然后,我们展示了词典学CSP的简单结构如何支持专门的算法:带有隐式代价函数的分支定界算法,以及获得重要性排序中连续变量的最优值的迭代算法,这两者都可以与适当的变量排序启发式相结合,以提高性能。我们的实验表明,使用这些程序可以有效地解决各种问题,包括一些基本的词汇顺序搜索在实践中不可行的问题。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68周05 非数值算法

软件:

柔软;CP网络
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Arrow,K.J.和Raynaud,H.(1986年)。社会选择与多准则决策。麻省理工学院·Zbl 0602.90001号
[2] Bistarelli,S.、Montanari,U.和Rossi,F.(1997)。基于半环的约束求解和优化。ACM杂志,44,201–236·Zbl 0890.68032号 ·数字对象标识代码:10.1145/256303.256306
[3] Bistarelli,S.、Montanari,U.、Rossi,F.、Schiex,T.、Verfaillie,G.和Fargier,H.(1999)。基于半环的CSP和有价值的CSP:框架、特性和比较。约束,4199-240·Zbl 0946.68143号 ·doi:10.1023/A:1026441215081
[4] Borcherding,K.、Eppel,T.和von Winterfeldt,D.(1991)。多属性效用度量中权重判断的比较。管理科学,371603-1619·兹比尔0729.91012 ·doi:10.1287/mnsc.37.12.603
[5] Borning,A.、Freeman-Benson,B.和Wilson,M.(1992)《约束层次结构》。LISP和符号计算,5,223–270·doi:10.1007/BF01807506
[6] Boutiler,C.、Brafman,R.I.、Hoos,H.H.和Poole,D.(1999)。用条件条件的ceteris paribus偏好语句进行推理。程序中。第十五届人工智能不确定性年会(第71-80页)。摩根·考夫曼·Zbl 1080.68685号
[7] Boutiler,C.、Brafman,R.I.、Domshlak,C.、Hoos,H.和Poole,D.(2004年a)。CP-nets:一种用其他同等偏好语句表示和推理的工具。《人工智能研究杂志》,21135-191·Zbl 1080.68685号
[8] Boutiler,C.、Brafman,R.I.、Domshlak,C.、Hoos,H.和Poole,D.(2004b)。基于偏好的CP-nets约束优化。计算智能,偏好专刊,20137-157·Zbl 1080.68685号
[9] Brafman,R.I.和Domshlak,C.(2002年)。在CP网络中引入可变重要性权衡。程序中。第十八届人工智能不确定性年会(第69-76页)。AAAI出版社。
[10] Brafman,R.I.、Domshlak,C.和Shimony,E.(2006)。偏好和重要性的图形建模。《人工智能研究杂志》,25889–424·Zbl 1182.68325号
[11] Brewka,G.(1989)。首选子主题:默认推理的扩展逻辑框架。程序中。第十一届国际人工智能联合会议(第1043-1048页)。摩根·考夫曼·Zbl 0713.68053号
[12] Chankong,V.和Haimes,Y.Y.(1983年)。多目标决策。多佛·Zbl 0525.90085号
[13] Cheeseman,P.、Kanefsky,B.和Taylor,W.M.(1991)。真正困难的问题在哪里。程序中。第二十届国际人工智能联合会议(第331-337页)。摩根·考夫曼·Zbl 0747.68064号
[14] Domshlak,C.和Brafman,R.I.(2002)。CP网络-推理和一致性测试。程序中。第八届知识表示和推理原则会议(第121-132页)。摩根·考夫曼。
[15] Doyle,J.和Thomason,R.H.(1999)。定性决策理论背景。《人工智能杂志》,20,55–68。
[16] Ehrgott,M.(2005)。多准则优化。第二版。斯普林格·兹比尔1132.90001
[17] Ehrgott,M.和Wiecek,M.M.(2005)。多目标规划。J.Figueira、S.Greco和M.Ehrgott(编辑),《多准则决策分析》。最新调查(第667-722页)。斯普林格·Zbl 1072.90031号
[18] Fargier,H.、Lang,J.和Schiex,T.(1993年)。选择模糊约束满足问题的首选解。程序中。第一届欧洲模糊和智能技术会议——EUFIT’93(第1128–1134页)。奥古斯丁斯·巴赫汉德隆(Augustinus Buchhandlung)。
[19] Fishburn,P.C.(1970年)。决策的效用理论。威利·Zbl 0213.46202号
[20] Fishburn,P.C.(1974年)。词汇顺序、实用程序和决策规则:一项调查。管理科学,20442–1471·Zbl 0311.90007号 ·doi:10.1287/mnsc.20.11442
[21] Fishburn,P.C.(1975年)。字典偏好的公理。《经济研究评论》,42,415–419·Zbl 0326.90005号 ·doi:10.2307/2296854
[22] Frisch,A.、Hnich,B.、Kiziltan,Z.、Miguel,I.和Walsh,T.(2002)。词典排序的全局约束。在P.V.Hentenryck(编辑),约束编程的原理和实践-CP2002,LNCS(第2470卷,第93-108页)。斯普林格。
[23] 弗洛伊德·E.C.、华莱士·R.J.和赫夫南·R.(2003)。顺序约束满足。第五届软约束国际研讨会——2003年软约束·Zbl 1102.90379号
[24] Frost,D.和Dechter,R.(1995)。约束满足问题的Look-ahead值排序。程序中。第十四届国际人工智能联合会议(第572-578页)。摩根·考夫曼。
[25] Gavanelli,M.(2002年)。CSP中的多准则优化算法。F.van Harmelen(编辑),《2002年第十五届欧洲人工智能会议-ECAI》(第136-140页)。IOS出版社。
[26] Goldsmith,J.,Lang,J.、Truszczynski,M.和Wilson,N.(2005年)。CP网络中支配性和一致性的计算复杂性。程序中。第十九届国际人工智能联合会议(第144-149页)·兹比尔1182.68089
[27] Haralick,R.M.和Elliott,G.L.(1980)。提高约束满足问题的树搜索效率。人工智能,14263-313·doi:10.1016/0004-3702(80)90051-X
[28] Joseph,R.R.、Chan,P.、Hiroux,M.和Weil,G.(2007年)。决策支持与偏好约束。《欧洲运筹学杂志》,1771469-1494·Zbl 1109.90071号 ·doi:10.1016/j.ejor.2005.04.016
[29] Junker,U.(2002年)。基于偏好的搜索和多标准优化。程序中。第十八届全国人工智能会议(第34-40页)。AAAI出版社。
[30] Junker,U.(2004)。基于偏好的搜索和多标准优化。运筹学年鉴,130,75–115·Zbl 1156.90381号 ·doi:10.1023/B:ANOR.0000032571.68051.fe
[31] Junker,U.(2008年)。约束规划中基于偏好的问题求解。F.Fages、F.Rossi和S.Soliman(编辑),《约束的最新进展:关于约束求解和约束逻辑编程的第12届ERCIM国际研讨会-CSCLP 2007》。LNAI(第5129卷,第109-126页)。修订了选定的论文。斯普林格。
[32] Keeney,R.L.和Raiffa,H.(1993)。具有多个目标的决策。剑桥·Zbl 0488.90001号
[33] Korhonen,M.(2005)。交互式方法。J.Figueira、S.Greco和M.Ehrgott(编辑),《多准则决策分析》。最新调查(第641-665页)。斯普林格·Zbl 1072.90537号
[34] Larichev,O.I.(1984)。决策方法的心理验证。应用系统分析杂志,11,37–46。
[35] Laumanns,M.、Thiele,L.和Zitzler,E.(2006年)。基于ε约束方法的高效自适应元启发式参数变化方案。《欧洲运筹学杂志》,169932-942·Zbl 1079.90122号 ·doi:10.1016/j.ejor.2004.08.029
[36] Lecoutre,C.、Boussemart,F.和Hemery,F.(2004)。基于后跳的技术与冲突导向的启发式方法。程序中。2004年第十六届人工智能工具国际会议(第549–557页)。IEEE出版社。
[37] Luce,R.D.和Suppes,P.(1965年)。偏好、效用和主观概率。R.D.Luce、R.R.Bush和E.Galanter(编辑),《数学心理学手册》(第3卷,第249-410页)。威利。
[38] Majumdar,T.(1966年)。效用的度量。麦克米伦。
[39] Olson,D.L.、Moshkovich,H.M.、Schellenberger,R.和Mechitov,A.I.(1995)。决策辅助工具的一致性和准确性:四个多属性系统的实验。《决策科学》,26,723–746·doi:10.1111/j.1540-5915.1995.tb01573.x
[40] Payne,J.W.、Bettman,J.R.和Johnson,E.J.(1993)。适应性决策者。剑桥。
[41] Plott,C.R.、Little,J.T.和Parks,R.P.(1975年)。对象具有“序数”属性时的单个选择。《经济研究评论》,42,403–413·兹比尔0326.90004 ·doi:10.2307/2296853
[42] Saaty,T.L.(2005)。衡量无形标准和决策的层次分析和网络分析过程。J.Figueira、S.Greco和M.Ehrgott(编辑),《多标准决策分析》(第345-407页)。斯普林格·Zbl 1072.90019号
[43] Sabin,D.和Freuder,E.(1994年)。在约束满足方面与传统智慧相矛盾。程序中。第十一届欧洲人工智能会议(第125-129页)。威利。
[44] Smith,B.M.和Grant,S.A.(1998年)。努力先失败。程序中。第十三届欧洲人工智能会议——ECAI'98(第249-253页)。威利。
[45] Schiex,T.、Fargier,H.和Verfaillie,G.(1995年)。有价值约束满足问题:困难和容易的问题。程序中。第十四届国际人工智能联合会议(第631-637页)。摩根·考夫曼。
[46] Wallace,R.J.和Wilson,N.(2006年)。约束满足问题中的条件词典顺序。J.C.Beck和B.M.Smith(编辑),Proc。第三届人工智能和操作规则技术在约束编程中的集成国际会议——CPAIOR 2006。LNCS(编号3990,第258-272页)。柏林:斯普林格·兹比尔1177.68194
[47] Wilson,N.(2004年a)。条件偏好的一致性和约束优化。程序中。第十六届欧洲人工智能会议(第888-892页)。IOS出版社。
[48] Wilson,N.(2004年b)。用更强的条件偏好语句扩展CP-nets。程序中。第十九届全国人工智能会议(第735-741页)。AAAI/麻省理工学院。
[49] Wilson,N.(2006)。条件偏好的有效上近似。程序中。第十七届欧洲人工智能会议(第472-476页)。IOS出版社。
[50] Wallace,R.J.和Wilson,N.(2009年)。约束满足问题中的条件词典顺序。《运筹学年鉴》特刊,题为“约束编程、人工智能和运筹学”·Zbl 1184.68478号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。