×
安德烈亚斯·拉格尔；沃尔夫冈·斯莱尼

一个可重用的迭代优化软件库，用于通过近似推理解决组合问题。 （英语） Zbl 1044.90510号

国际J近似推理 19，第1-2号，161-191（1998）.
摘要：现实中的组合优化问题（如调度）通常过于复杂，无法用精确的方法解决。此外，这些问题通常必须遵守不同重要性的模糊规定约束，可用数据可能不确定，可能需要在对立标准之间作出妥协。我们提出了基于近似推理的约束和基于迭代优化的启发式的组合，有助于在名为StarFLIP++的C++软件库框架中建模和解决此类问题。虽然最初开发用于钢铁厂连铸机机组的调度，但我们在本文中介绍的结果是，在工业生产工厂的员工排班系统中重用了库组件。

引用于1文件

MSC公司：

90B35型 运筹学中的确定性调度理论
90C27型 组合优化
68层37 人工智能背景下的不确定性推理

软件：

翻转++；StarFLIP公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Raggl}和\textit{W.Slany}，国际J.近似推理19，第1--2161-191号（1998；Zbl 1044.90510）
全文： 内政部

参考文献：

[1] Abramson，B。；Yung，M.M.，《全局约束下的分治：N皇后问题的解决方案》，《并行与分布式计算杂志》，6649-662（1989）
[2] 博纳，M。；迈耶，S。；Raggl，A。；Slany，W.，FLIP++：模糊逻辑推理处理器库，（IJCAI'95人工智能中模糊逻辑研讨会的研讨会笔记。IJCAI'95人工智能中模糊逻辑研讨会的研讨会笔记，加拿大蒙特利尔（1995）），83-92
[3] Brewka，G。；盖斯根，H.W。；hertzberg，J.，约束松弛和非单调推理，（技术报告TR-92-002（1992），国际计算机科学研究所（ICSI）：国际计算机科学学会（ICSI，Berkeley，CA）
[4] Dechter，R。；Dechter，A.，《动态约束网络中的信念维护》，（AAAI-88第七届全国人工智能会议论文集。AAAI-88Seventh National Conference on Artificial Intelligence论文集，美国明尼苏达州圣保罗（1988），美国人工智能协会），37-42
[5] 多恩，J。；Girsch，M。；Skele，G。；Slany，W.，《进度优化迭代改进技术的比较》，《欧洲运筹学杂志》，94349-361（1996）·Zbl 0947.90581号
[6] 多恩，J。；Shams，R.，《炼钢厂调度的专家系统》，（《第一届专家系统世界大会论文集》，佛罗里达州奥兰多，第一届世界专家系统大会论文集（1991年），佩加蒙出版社：牛津佩加蒙出版公司），395-404
[7] 弗洛伊德，E.C。；Wallace，R.J.，部分约束满足，人工智能，58，21-70（1992）
[8] Gärtner，J。；Wahl，S.，《计算机辅助轮班表设计——在雾中行驶》（技术报告（1995），维也纳理工大学）
[9] Hendrysiak，W。；Raggl，A。；Slany，W.，DomFLIP++，（Ruan，D.；D'hondt，P.；Govaerts，P.，Kerre，E。核科学与工业智能系统和软计算。比利时核科学与工业智能系统和软计算。核科学与工业智能系统和软计算。核科学和工业智能系统和软计算，比利时，第二届国际FLINS研讨会论文集，1996年（1996），世界科学：世界科学新加坡），123-129
[10] Huard，S.M。；弗洛伊德，E.C.，《不完全指定约束网络知识库的调试助手》，《国际专家系统杂志：研究与应用》，6，4，419-446（1993）
[11] Kuper，G.M.，约束数据库中的聚合ECRC，技术报告ECRC 93-13（1993）
[12] 劳勒，E.L。；Lenstra，J.K。；林诺伊·坎，A.H.G。；Shmoys，D.B.，《排序和调度：生产和库存的算法和复杂性物流》，（Graves，S.C.；Rinnooy Kan，A.H.G.；Zipkin，P.H.，《OR和MS手册》，第4卷（1993年），北荷兰：北荷兰阿姆斯特丹），445-522，ch.9·Zbl 0798.90028号
[13] McIlraith，S。；Reiter，R.，《关于假设推理的测试》（Hamscher，W.；Console，L.；de Kleer，J.，《基于模型的诊断中的读数》（1992），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），第89-96页
[14] 明顿，S。；医学博士约翰斯顿。；飞利浦，A.B。；Laird，P.，最小化冲突：约束满足和调度问题的启发式修复方法，人工智能，58161-205（1992）·Zbl 0782.90054号
[15] （Reichel，C.；Slany，W.，StarFLIP++1.0版：具有模糊约束的组合问题的可重用迭代优化库：参考手册，编号DBAI-TR-97-11（1997），维也纳理工大学信息系统研究所（E184-2）），http://www.dbai.tuwien.ac.at/proj/StarFLIP/papers/StarFLIP.ps。
[16] （Reichel，C.；Slany，W.，StarFLIP++1.0版（CD-Rom版）：具有模糊约束的组合问题的可重用迭代优化库（1997），维也纳理工大学信息系统研究所（E184-2）），网址：http://www.dbai.tuwien.at.at/proj/StarFLIP/。
[17] Slany，W.，调度作为一个模糊多准则优化问题，模糊集与系统，78197-222（1996）
[18] 斯托尔，K。；斯诺佩克，W。；Weigert，T。；Moritz，T.，《钢铁厂调度专家系统的开发》，（IFAC矿物和金属加工专家系统研讨会论文集。IFAC矿物与金属加工专家体系研讨会论文集，芬兰埃斯波（1991），佩加蒙出版社：牛津佩加蒙社）
[19] 斯通，H.S。；Stone，J.M.，《高效搜索技术——皇后问题的实证研究》，IBM研究与发展杂志，31464-474（1987）
[20] （Zweben，M.；Fox，M.，《智能调度》（Intelligent Scheduling）（1994），Morgan Kaufmann:Morgan Koufmann San Francisco，CA）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。