×
Ilankaikone森图兰；马蒂亚斯·克拉珀斯图克；格列布·贝洛夫；托拜厄斯·科扎德纳；利奥，凯文；马克·华莱士；米歇尔·维布罗姆；玛丽亚·加西亚·德拉班达

实践中以人为本的可行性恢复。 （英语） Zbl 1532.90105号

约束条件 28，第2期，203-243（2023）.
摘要：用于解决实际组合问题的决策系统必须能够报告不可行性，以便用户能够理解其背后的原因，并确定如何修改问题以恢复可行性。当前的方法主要侧重于报告导致不可行的问题约束的一个或多个子集。向用户展示如何恢复可行性的方法往往不够灵活和/或依赖于问题。我们描述了一种与问题相关的可行性恢复方法，该方法以新颖的方式结合了文献中的现有技术，以产生有意义、有用、实用和灵活的用户支持。我们在三个真实世界的应用程序上评估了由此产生的框架，并对来自不同应用领域的参与者进行了定性专家用户研究。

MSC公司：

90C27型 组合优化
90 C90 数学规划的应用

关键词：

组合优化；建模；以人为本；冲突解决；可行性恢复；可解释人工智能；软约束

软件：

迷你锌；JuMP公司；古罗比；迷你黄铜
PDF格式BibTeX公司 XML格式引用
\textit{I.Senthooran}等人，约束28，No.2，203--243（2023；Zbl 1532.90105）
全文： DOI程序
OA许可证

参考文献：

[1] MH利菲顿；Sakallah，KA，计算最小不可满足约束子集的算法，自动推理杂志，40，1，1-33（2008）·Zbl 1154.68510号 ·数字对象标识代码：10.1007/s10817-007-9084-z
[2] Guieu，O。；Chinneck，JW，分析不可行的混合整数和整数线性规划，INFORMS计算杂志，11，1，63-77（1999）·Zbl 1034.90519号 ·doi:10.1287/ijoc.11.1.63
[3] Junker，U.（2004）。QUICKXPLAIN：过度约束问题的首选解释和放松。D.L.McGuinness和G.Ferguson（编辑），《第十九届全国人工智能会议论文集》，第十六届人工智能创新应用会议，2004年7月25日至29日，美国加利福尼亚州圣何塞（第167-172页）。AAAI出版社/麻省理工学院出版社。http://www.aaai.org/Library/aaai/2004/aaai04-027.php
[4] MH利菲顿；马利克，A。；戈麦斯，C。；Sellmann，M.，列举不可行性：快速找到多个MUSE，组合优化问题约束规划中AI和OR技术的集成，160-175（2013），施普林格·Zbl 1382.68226号 ·doi:10.1007/978-3-642-38171-3_11
[5] Leo，K.和Tack，G.（2017年）。调试不满足的约束模型。D.Salvagnin和M.Lombardi（编辑），《2017年公共政策与政策研究》（CPAIOR）（第77-93页）·Zbl 1489.68254号
[6] Marques-Silva，J.、Heras，F.、Janota，M.、Previti，A.和Belov，A.（2013）。关于计算最小校正子集。F.Rossi（编辑），第二十届国际人工智能联合会议（第615-622页）。
[7] Chinneck，J.W.（2019年）。最大可行子集问题及其应用。信息：信息系统和运筹学，57（4），496-516。doi:10.1080/0315986.2019.1607715·Zbl 1510.90174号
[8] 弗洛伊德，EC；辛格，S。；Markovitch，S.，《解释我们自己：人-软件约束推理》，第31届AAAI会议记录，4858-4862（2017），AAAI
[9] Yang，J.，基于目标规划的不可行解决方案，计算机与运筹学，35，5，1483-1493（2008）·Zbl 1278.90370号 ·doi:10.1016/j.cor.2006.08.006
[10] Lauffer，N.和Topcu，U.（2019年）。资源约束调度问题不可行的人性化解释。T.Chakraborti、D.Dannenhauer、J.Hoffmann和D.Magazzeni（编辑），《第二届可解释人工智能规划国际研讨会论文集》（第44-52页）。
[11] Falkner，A.，交互式配置的求解器要求，《通用计算机科学杂志》，26，3，343-373（2020）·doi:10.3897/jucs.2020.019
[12] Cambazard，H.、Demazeau，F.、Jussien，N.和David，P.（2004）。使用约束规划的扩展交互式解决学校时间表问题。E.Burke和M.Trick（编辑），PATAT 2004，LNCS第3616卷（第190-207页）。
[13] Senthooran，I.等人（2021）。以人为本的可行性恢复。L.D.Michel（编辑），第27届约束编程原理与实践国际会议（CP 2021），《莱布尼茨国际信息学学报》（LIPIcs）第210卷（第49.1-18页）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）。
[14] 邓宁，I。；哈切特，J。；Lubin，M.，JuMP:数学优化的建模语言，SIAM Review，59，2，295-320（2017）·Zbl 1368.90002号 ·doi:10.1137/15M1020575
[15] 北卡罗来纳州奈瑟科特。；Bessière，C.，MiniZin:走向标准CP建模语言，约束编程原理与实践国际会议，529-543（2007），Springer
[16] van Loon，J.，不可约不一致线性不等式系统，《欧洲运筹学杂志》，8，3283-288（1981）·Zbl 0468.90041号 ·doi:10.1016/0377-2217（81）90177-6
[17] Gleeson，J。；Ryan，J.，《识别最小不可行不等式子系统》，《信息计算杂志》，2，1，61-63（1990）·Zbl 0752.90050号 ·doi:10.1287/ijoc.2.1.61
[18] Gasca，R.M.、Valle，C.、Gómez-López，M.T.和Ceballos，R.（2007）。NMUS：改进过约束数值CSP中所有MUS推导的结构分析。D.Borrajo、L.Castillo和J.M.Corchado（编辑），《人工智能的当前主题：西班牙人工智能协会第十二届会议》，2007年11月12日至16日，西班牙萨拉曼卡。《论文选集》，LNCS第4788卷（第160-169页）。斯普林格。
[19] Marques-Silva，J.、Mencía，C.等人（2020年）。推理不一致的公式。C.Bessiere（编辑），《第二十九届国际人工智能联合会议论文集》（第4899-4906页）。IJCAI公司。
[20] Dev Gupta，S.、Genc，B.和O'Sullivan，B.（2021）。约束满足解释：一项调查。周振华（编辑），《第三十届国际人工智能联合会议论文集》（第4400-4407页）。IJCAI公司。
[21] Gurobi Optimization，LLC.（2020年）。古罗比优化器参考手册。http://www.gurobi.com。
[22] Felfernig，A。；舒伯特，M。；Zehentner，C.，《不一致约束集的有效诊断算法》，AI EDAM，26，1，53-62（2012）·doi:10.1017/S089006041100011
[23] 巴克斯，F。；Katsirelos，G。；Kroening，D。；Păsăreanu，CS，《使用最小校正集更有效地计算最小不可满足集》，国际计算机辅助验证会议，70-86（2015），施普林格·doi:10.1007/978-3-319-21668-35
[24] 贝洛夫，G。；胡克，J.，《加工厂布局优化：设备配置、约束规划原理与实践》，473-489（2018），施普林格出版社·doi:10.1007/978-3-319-98334-9_31
[25] Chinneck，J.W.（2008）。优化的可行性和不可行性：算法和计算方法。斯普林格·Zbl 1178.90369号
[26] 贝洛夫，G。；卡住，PJ；塔克，G。；华莱士，M。；Rueher，M.，《约束规划模型的改进线性化，约束规划的原理和实践》，49-65（2016），Springer·doi:10.1007/978-3-319-44953-14
[27] Petit，T。；雷金，J-C；Bessière，C。；Walsh，T.，《过约束问题的特定滤波算法》，约束编程原理与实践国际会议，451-463（2001），Springer·Zbl 1067.68663号
[28] Van Hoeve，W-J；Pesant，G。；卢梭，L-M，《全球变暖：基于流动的全球软约束》，《启发式杂志》，12，4，347-373（2006）·Zbl 1100.68623号 ·数字对象标识代码：10.1007/s10732-006-6550-4
[29] Schiendorfer，A。；Knapp，A。；安德斯，G。；Reif，W.，MiniBrass:MiniZin的软约束，约束，23，4，403-450（2018）·兹比尔1430.90525 ·doi:10.1007/s10601-018-9289-2
[30] 米尔斯，C.&德拉班达，M.G.（2015）。面向约束优化问题的自动优势打破。Q.Yang和M.J.Wooldridge（编辑），《第二十四届国际人工智能联合会议论文集》，2015年国际人工智能学会（IJCAI）（第360-366页）。AAAI出版社。
[31] Jahanbani，H.、Kularathna，M.、Tack，G.和Senthooran，I.（2019年）。考虑开发优化建模工具，以支持墨尔本供水系统的年度运营规划。S.Elsawah（编辑），MODSIM2019，第23届国际建模与仿真大会。澳大利亚和新西兰建模与仿真协会，2019年12月（第592页）。斯普林格。
[32] Bias，R.，《接口穿越：高效协作测试》，IEEE软件，8，5，94-95（1991）·数字对象标识代码：10.1109/52.84220
[33] Fonteyn，ME；Kuipers，B。；Grobe，SJ，《有声思维方法和方案分析的描述》，《定性健康研究》，3，4，430-441（1993）·doi:10.1177/104973239300300403
[34] Likert，R.，《态度测量技术》，《心理学档案》，第22、140、1-55页（1932年）
[35] Marques-Silva，J。；Previti，A。；辛兹，C。；Egly，U.，《关于计算首选MUSes和MCSes》，可满足性测试理论和应用国际会议，58-74（2014），Springer·Zbl 1423.68460号
[36] 梅塔，D。；奥沙利文，B。；克萨达，L。；Leucker，M。；Rueda，C。；Valencia，FD，扩展量化约束满足问题的首选解释概念，国际计算理论方面学术讨论会，309-327（2015），施普林格·Zbl 1471.68255号
[37] Jussien，N.&Ouis，S.（2001年）。约束编程的用户友好解释。A.J.Kusalik（Ed.），《第十一届逻辑编程环境研讨会论文集》（WLPE’01），塞浦路斯帕福斯，2001年12月1日。
[38] O'Sullivan，B.、Papadopoulos，A.、Faltings，B.和Pu，P.（2007年）。过度约束问题的代表性解释。R.C.Holte和A.E.Howe（编辑），《第22届AAAI人工智能会议论文集》（第7卷，第323-328页）。AAAI出版社。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。