×
安东尼奥·埃尔南多

通过问题空间的约简证明问题不可能解决的新方法。 （英语） Zbl 1253.68301号

安。数学。Artif公司。因特尔。 57，第3-4号，205-231（2009）。
摘要：问题求解器是利用不同搜索算法求解问题的计算系统。有时，在使用这种搜索算法时，问题解决者可能会被证明效率低下，并且花费了太多的精力来证明问题没有解决方案。对于这种情况，在本文中，我们解释了一种技术，它可以快速证明找到解决方案实际上是不可能的。这种技术可以减少形成问题空间的状态的数量并简化其拓扑结构。因此，我们展示并证明了有效的新技术，旨在找到此类减少，这可能对许多问题非常有用。

引用于1文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

问题空间；自动表示更改；问题解决者

软件：

CP计划；图规划；徒步旅行
PDF格式BibTeX公司 XML格式引用
\textit{A.Hernando}，Ann.数学。Artif公司。智力。57，编号3--4，205-231（2009；Zbl 1253.68301）
全文： 内政部

参考文献：

[1] Bacchus F.，Yang Q：向下细化和层次问题解决的效率。Artif公司。智力。71(1), 43–100 (1994) ·Zbl 0938.68829号 ·doi:10.1016/0004-3702（94）90062-0
[2] Bayer，K.M.，Michalowski M.，Choueiry B.Y.，Knoblock，C.A.：重组约束满足问题以提高可伸缩性。摘自：《抽象、重组和近似》（SARA 2007），第64-79页。斯普林格·弗拉格，柏林-海德堡（2007）
[3] Bonet B.，Geffner H.：规划是启发式搜索。Artif公司。智力。129（1-2）5–33（2001）·Zbl 0971.68146号 ·doi:10.1016/S0004-3702（01）00108-4
[4] Blum A.，Furst M.：通过规划图分析进行快速规划。Artif公司。智力。90(1–2), 281–300 (1997) ·Zbl 1017.68533号 ·doi:10.1016/S0004-3702（96）00047-1
[5] Choueiry，B.Y.，Iwasaki，Y.，McIlraith，S.：关于物理系统推理的重新制定实用理论。Artif公司。智力。162(1–2), 145–204 (2005) ·Zbl 1132.68694号 ·doi:10.1016/j.artint.2004.01.004
[6] Culberson J.C.、Schaeffer J.：模式数据库。计算。智力。14(3), 318–334 (1998) ·doi:10.1111/0824-7935.00065
[7] Davis M.、Logemann G.、Loveland D.：理论证明的机器程序。Commun公司。ACM 5/7，394–397（1962）·兹比尔0217.54002 ·数字对象标识代码：10.1145/368273.368557
[8] Do，M.B.，Kambhampati，S.：规划作为约束满足：通过将其编译为CSP来求解规划图。Artif公司。智力。132, 151–182 (2001) ·Zbl 0983.68181号 ·doi:10.1016/S0004-3702（01）00128-X
[9] Felner，A.，Adler，A.：使用依赖实例的模式数据库解决24个难题。收录于：SARA 2005，第248-260页（2005）
[10] Fikes R.，Nilsson N.：STRIPS：应用定理证明解决问题的新方法。Artif公司。智力。1, 27–120 (1971) ·Zbl 0203.49403号 ·doi:10.1016/0004-3702（70）90003-2
[11] Fink，E.：《问题表征的变化：理论与实验》。柏林施普林格出版社（2003）·Zbl 1019.68105号
[12] 赫尔默特·M：快速下行计划系统。J.阿蒂夫。智力。第26号决议，191–246（2006）·Zbl 1182.68245号 ·doi:10.1007/s10462-007-9049-y
[13] Hernando，A.，De Ledesma，L.，Laita，L.M.：在解决问题时模拟表征变化现象的系统。数学。计算。模拟。78, 89–106 (2008) ·Zbl 1140.68493号 ·doi:10.1016/j.matcom.2007.06.009
[14] Hernando，A.，De Ledesma，L.，Laita，L.M.：显示线性丢番图方程组中解的不存在性。数学。计算。模拟。79(11), 3211–3220 (2009) ·兹伯利1238.11114 ·doi:10.1016/j.matcom.2009.03.004
[15] Hoffmann J.，Nebel B.：FF计划系统：通过启发式搜索快速生成计划。J.阿蒂夫。智力。第14号决议，253–302（2001年）·Zbl 0970.68044号
[16] Holte，R.C.，Mkadmi，T.，Zimmer，R.M.，MacDonald，A.J.：通过抽象加速问题解决：面向图形的方法。Artif公司。智力。85, 321–361 (1996) ·doi:10.1016/0004-3702（95）00111-5
[17] Holte R.C.、Felner A.、Newton J.、Meshulam R.、Furcy D.：在多模式数据库上实现最大化可以加快启发式搜索。Artif公司。智力。170, 1123–1136 (2006) ·Zbl 1130.68323号 ·doi:10.1016/j.artint.2006.09.002
[18] Kautz，H.，Selman B.：黑匣子：统一基于SAT和基于图形的规划。In：程序。IJCAI-99，第318–325页。瑞典斯德哥尔摩（1999）
[19] Kautz，H.、Selman B.、Hoffmann，J.：Satplan：规划作为可满足性。收录：第16届国际自动规划与调度大会工作说明中的国际规划竞赛特别小册子（ICAPS-06）。加利福尼亚州蒙特利（2006）
[20] Knoblock C.A:生成抽象层次：减少规划中搜索的自动化方法。Kluwer学术出版社，马萨诸塞州波士顿（1993）·Zbl 0822.68102号
[21] Korf，R.E.，Felner A.：不相交模式数据库启发式。Artif公司。智力。134(1–2), 9–22 (2002) ·Zbl 0992.68190号 ·doi:10.1016/S0004-3702（01）00092-3
[22] Korf，R.E.：面向表征变化模型。Artif公司。智力。14, 41–78 (1980) ·doi:10.1016/0004-3702（80）90033-8
[23] Newell，A.，Simon，H.A.：人类问题解决。Prentice-Hall，Englewood Cliffs（1972年）
[24] Roberts，M.，Howe，A.：从规划师的表现中学习。Artif公司。智力。173, 536–561 (2009) ·Zbl 1191.68640号 ·doi:10.1016/j.artint.2008.11.009
[25] Sturtevant，N.，Jansen，R.：基于地图的抽象和细化分析。在：SARA 2007。LNAI，第4612卷，第344-358页（2007年）
[26] van Beek P.，Chen X.：规划：规划的约束规划方法。In：程序。AAAI-99，第585-590页。佛罗里达州奥兰多（1999）
[27] Vossen，T.、Ball，M.、Lotem，A.、Nau，D.：关于人工智能规划中整数编程模型的使用。In：程序。IJCAI-99，第304-309页。瑞典斯德哥尔摩（1999）
[28] Zhang L.，Malik S.：寻求有效的布尔可满足性解算器。In：程序。国际计算机辅助验证会议（CAV-02），第17–36页（2002年）·Zbl 1010.68530号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。