{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T00:32:06Z”，“时间戳”：1648945926548}，“参考-计数”：13，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：}“日期-零件”：[[2003,8,7]]，”日期-时间“：”2003-08-07T00:00:00Z“，”时间戳“：1060214400000}，“content-version”：“unspecified”，“delay-in-days”：187，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”AIEDAM“]，”published-print“：{”date-parts“：[[2003,2]]}”，“abstract”（摘要）：“基于约束的推理通常用于表示和查找配置问题的解决方案。在约束满足领域，主要关注的是寻找解决困难问题的方法。然而，许多现实生活中的配置问题虽然不是非常复杂，但有大量的解决方案，其中有一些从实际角度来看是可以接受的。在本文中，我们提出了一种用于约束求解的值排序启发式方法，试图将搜索导向可接受的解决方案。更具体地说，通过考虑分配给值和值集的权重，启发式可以指导搜索总权重在可接受间隔内的解决方案。随机约束满足问题的实验表明，当一个问题有许多解决方案时，即使在可接受的权重区间内有相对较少的解决方案，启发式也会使搜索效率极低。在这些情况下，对于给定约束满足问题（保持弧一致性算法或MAC）的可行解决方案，非常有效的算法在没有启发式的情况下运行时，无法在合理的时间内在相同的权重区间内找到解决方案<\/jats:p>“，”DOI“：”10.1017\/s0890060403171028“，”type“：”journal-article“，”created“：{”date-parts“：[[2003,10,24]]，”date-time“：”2003-10-24T15:32Z“，”timestamp“：1067007932000}“，”page“：“3-11”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“The Goldilocks problem”]，“prefix”：“10.1017”，“volume”“17”，“作者”：[{“给定”：“TUDOR”，“家族”：“HULUBEI”，“sequence“：”first“，”affiliation“：[]}，”{“given”：“EUGENE C.”，“family”：“FREUDER”，“sequence”：“additional”，“affiliance”：[]{“给定”：“RICHARD J.”，“家族”：“WALLACE”，“序列”：“附加”，“从属关系”：[]，“成员”：“56”，“在线发布”：{“date-parts”：[[2003,8,7]}、“引用”：[{“key”：”S089006040303 171028_ref011“，”doi-asserted-by“：”crossref“，“非结构化”：Sabin，D.&Freuder，E.（1994）。在约束满足方面与传统智慧相矛盾。程序。第十一届欧洲人工智能大会（Cohn，A.，Ed.），第125页\u2013129.英国奇切斯特：威利。“，”DOI“：”10.1007\/3-540-58601-6_86“}，{”key“：”S0890060403171028_ref009“，”unstructured“：”Mittal，S.&Falkenhainer，B.（1990）。动态约束满足问题。《第八届全国人工智能大会议事录》，第25\u201332.Menlo Park，CA：AAAI Press.“}Mackworth，A.（1977年）。关系网络的一致性。人工智能8,99\u2013118.“，”DOI“：”10.1016\/0004-3702（77）90007-8“}，{”key“：”S0890060403171028_ref005“，”unstructured“：”Harvey，W.&Ginsberg，M.（1995）.有限差异搜索.Proc.第十四届国际人工智能联合会议，pp.607\u2013613.San Mateo，CA：Morgan Kaufmann.“}Cheeseman，P.、Kanefsky，B.和Taylor，W.（1991年）。真正棘手的问题在哪里。程序。第十二届国际人工智能联合会，第331\u2013337页，加利福尼亚州圣马特奥：Morgan Kaufmann。“}，{”key“：”S0890060403171028_ref004“，”doi-asserted-by“：”crossref“，“unstructured”：“Freuder，E.&Wallace，R.（2002）。基于约束的媒人代理的建议策略。《国际人工智能工具杂志》11（1），3\u201318.”，“doi”：“10.1142 \/S0218213002000769”}，“{”key“：DOI“：”10.1037\/0033-295X.84.2.216“}，{“key”：“S0890060403171028_ref013”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/64.585104”}，}“key”：“SO890060403171028_ef003”，”DOI-assert-by“：”crossref“，”unstructured“：”Felfernig，G.，Friedrich，G.和Jannach，D.（2001）.大规模定制产品配置的概念建模。工程中的人工智能15（2），165\u2013176.“，”DOI“：”10.1016\/S0954-1810（01）00016-4“}，{”key“：”S0890060403171028_ref006“，”DOI-asserted-by“：”crossref“，“unstructured”：“Hulubei，T.&Freuder，E.（1999）金发姑娘的问题。《约束编程的原理与实践》\u2014CP'99，《计算机科学讲义》，第1713期（Jaffar，J.，Ed.），第234页\u2013245.柏林：施普林格。“，”DOI“：”10.1007\/978-3-540-48085-3_17“}，{”key“：”S0890060403171028_ref007“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/3-540-61479-6”}，“key”：“S089006403171028_rf012”，“DOI-assert-by”：“publisher”，“DOI:”10.1109\/5254.708432“}、{”密钥“：”SO890060403171028 _ref010“，“非结构化”：“Mittal，S.&Frayman，F.（1989）。朝向配置任务的通用模型。程序。第十一届国际人工智能联合会议，第1395\u20131401.页，加利福尼亚州圣马特奥：Morgan Kaufmann。“}]，”container-title“：[”Artificial Intelligence for Engineering Design，Analysis and Manufacturing“]，”original title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060403171028“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”]，“deposed”：{“date-parts”：[[2019,3,30]]，“date-time”：“2019-03-30T19:39:34Z”，“timestamp”：1553974774000}，“score”：1，“resource”：{-“primary”：{--“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060403171028\/type\/journal_article”}}，”subtitle“：[]，”shortitle“[]，“issued”：{---“date-parts”：[[2003,2]]}，“参考人数”：13，“新闻发布”用法：{“issue”：“1”，“published-print”:{“date-parts”：[[2003,2]]}}，“alternative-id”：[“S0890060403171028”]，“URL”：“http://\/dx.doi.org\/101017\/s089006040171028“，”relation“：{}，”ISSN“：[”0890-0604“，”1469-1760“]，”ISSN-type“：[{”value“：”08900-0604“，”type“print”}，{“值”：“1469-1760”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2003,2]}}