×
阿玛甘·塔里木，S。;苏雷什·马南达尔;托比·沃尔什

随机约束编程：一种基于场景的方法。 （英语） Zbl 1103.68828号

约束条件 11，第1期，53-80（2006）.
摘要：为了对包含不确定性和概率的组合决策问题建模，我们引入了基于场景的随机约束规划。随机约束程序既包含我们可以设置的决策变量，也包含遵循离散概率分布的随机变量。我们基于场景树为随机约束程序提供了一种语义。使用这种语义，我们可以将随机约束程序编译成传统的（非随机的）约束程序。这使我们能够充分利用现有约束解算器的功能。我们已经在基于OPL约束建模语言的随机OPL语言中实现了在不确定性下的决策框架。为了说明该框架的潜力，我们对投资组合多样化、农业规划和生产/库存管理等领域的广泛问题进行了建模。

引用于23文件

MSC公司：

68层37 人工智能背景下的不确定性推理

关键词：

约束编程;约束满足;不确定性推理
PDF格式BibTeX公司 XML格式引用
\textit{S.Armagan塔里木}等人，《约束11》，第1期，第53-80页（2006；Zbl 1103.68828）
全文： 内政部 arXiv公司

参考文献：

[1] Birge，J.R.和Louveaux，F.（1997年）。《随机编程导论》，纽约：Springer-Verlag，1997年·Zbl 0892.90142号
[2] Bistarelli，S.、Fargier，H.、Montanari，U.、Rossi，F.、Schiex，T.和Verfaillie，G.（1996）。基于半环的CSP和有价值的CSP：基本特性和比较。M.Jample、E.Freuder和M.Maher（编辑），《过度约束系统》，LNCS 1106，（第111-150页）。斯普林格·弗拉格·Zbl 0946.68143号
[3] Dupacova，J.、Growe-Kuska，N.和Romisch，W.（2003）。随机规划中的场景简化：一种使用概率度量的方法。数学。程序。，系列A 95、493–511·Zbl 1023.90043号 ·doi:10.1007/s10107-002-0331-0
[4] Fargier，H.和Lang，J.（1993年）。约束满足问题中的不确定性：概率方法。ECSQARU会议记录，LNCS 747。斯普林格·弗拉格。
[5] Fargier，H.、Lang，J.和Schiex，T.（1996年）。混合约束满足：不完全信息下决策问题的框架。第十三届全国人工智能会议记录。美国人工智能协会。
[6] Fowler，D.和Brown，K.（2000年）。分支约束满足问题的解在可能的变化下鲁棒。第六届约束编程原理与实践国际会议论文集。斯普林格·弗拉格·Zbl 1044.68759号
[7] Konno，H.和Yamazaki，H.（1991年）。均值-绝对偏差投资组合优化模型及其在东京股市的应用。管理科学，37519-531·doi:10.1287/mnsc.37.5.19
[8] Konno，H.（1990年）。分段线性风险函数和投资组合优化。日本运筹学会杂志，33，139-156·Zbl 0706.90005号
[9] Kouvelis，P.和Yu，G.（1996年）。稳健离散优化及其应用。非凸优化及其应用：第14卷。克鲁沃·兹比尔0873.90071
[10] Littman，M.L.、Goldsmith，J.和Mundhenk，M.（1998）。概率计划存在性和评估的计算复杂性。《人工智能研究杂志》，9，1–36·Zbl 0903.68100号
[11] Littman，M.L.、Majercik，S.M.和Pitassi，T.（2001）。随机布尔可满足性。自动推理杂志，27251-296·Zbl 0988.68189号 ·doi:10.1023/A:1017584715408
[12] Markowitz，H.M.（1952年）。投资组合选择。《金融杂志》，7，77–91·doi:10.2307/2975974
[13] McKay，M.D.、Beckman，R.J.和Conover，W.J.（1979年）。在计算机代码输出分析中选择输入变量值的三种方法的比较。技术计量学，21（2），239-245·Zbl 0415.62011号 ·doi:10.2307/1268522
[14] Mulvey，J.M.、Vanderbei，R.J.和Zenios，S.A.（1995年）。大规模系统的稳健优化。运营研究，43，264–281·Zbl 0832.90084号 ·doi:10.1287/opre.43.264
[15] Oliver，R.M.和Smith，J.Q.（1990年）。影响图、信念网和决策分析。约翰·威利父子公司。
[16] Proll L.和Smith，B.M.（1998年）。模板设计问题的整数线性规划和约束规划方法。信息计算杂志，10265-275·Zbl 1034.90518号 ·doi:10.1287/ijoc.10.3.265
[17] Puterman，M.L.（1994）。马尔可夫决策过程：离散随机动态规划。约翰·威利父子公司·兹伯利0829.90134
[18] Rachev，S.和Ruschendorf，L.（1998年a）。大众运输问题，第一卷：理论。斯普林格。
[19] Rachev，S.和Ruschendorf，L.（1998年b）。大众运输问题，第二卷：应用。斯普林格。
[20] Ruszczynski，A.和Shapiro，A.（2003）。随机编程，OR/MS手册，第10卷。爱思唯尔科学有限公司。
[21] Shazeer，N.、Littman，M.和Keim，G.（1999）。将纵横填字谜作为概率约束满足进行求解。第16届全国人工智能会议记录。美国人工智能协会·Zbl 0982.68119号
[22] 塔里木，S.A.和金斯曼，B.G.（2004年）。具有服务水平约束的随机动态生产/库存批量问题。《国际生产经济学杂志》，88，105–119·doi:10.1016/S0925-5273（03）00182-8
[23] Van Hentenryck，P.、Michel，L.、Perron，L.和Regin，J.-C.（1999）。OPL中的约束编程。G.Nadathur（编辑），声明性编程的原理和实践，LNCS 1702，（第97–116页）。斯普林格·弗拉格。
[24] Walsh，T.（2002）。随机约束规划。ECAI-2002会议记录。
[25] Yorke-Smith，N.和Gervet，C.（2003）。确定性闭包：具有不确定性的可靠约束推理框架。F.Rossi（Ed.），《第九届约束编程原理与实践国际会议论文集》（CP2003）。柏林：斯普林格·Zbl 1367.68272号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。