R·德希特。 桶消除:一个统一的推理框架。 (英语) Zbl 0939.68847号 Artif公司。智力。 113,编号1-2,41-85(1999). 摘要:Bucket消除是一个算法框架,它将动态编程推广到适应许多问题解决和推理任务。命题可满足性的方向分解、约束满足的自适应一致性、求解线性等式和不等式的傅里叶消元和高斯消元以及组合优化的动态规划等算法都可以在桶消元框架内实现。许多概率推理任务同样可以表示为bucket-elimination算法。其中包括:信念更新,找到最可能的解释,以及预期效用最大化。这些算法具有相同的性能保证;在问题的交互图的诱导宽度中,所有这些都是时间和空间指数。虽然消除策略对内存有着广泛的要求,但一类被称为“条件搜索”的对比算法只需要线性空间。此类中的算法通过实例化变量子集(称为条件集或割集)将问题分解为子问题。条件搜索算法的典型示例有:回溯(约束满足)和分支定界(组合优化)。本文将bucket-elimination框架作为概率推理任务和确定性推理任务的统一主题,并展示了如何将条件搜索扩展为系统地以空间换取时间。 引用于72文件 理学硕士: 68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等) 关键词:自动推理;推理;动态规划;后腿;约束网络;信仰网络;算法 PDF格式BibTeX公司 XML格式引用 \textit{R.Dechter},阿蒂夫。智力。113,编号1--2,41-85(1999;Zbl 0939.68847) 全文: 内政部