搜索的语言
人工智能
2011-10-13 v1
摘要
本文关注一类在命题知识库上执行穷举搜索的算法。我们证明，这些算法中的每一个都定义并生成一种命题语言。具体而言，我们表明搜索的轨迹可被解释为组合电路，而搜索算法则定义了一种命题语言，该语言由算法在所有可能执行过程中生成的电路组成。特别是，我们证明了多种版本的穷举 DPLL 搜索对应于诸如 FBDD、OBDD 以及 d-DNNF 的精确子集等众所周知的语言。通过将搜索算法映射到命题语言，我们提供了一个统一且实用的框架，在此框架内，成功的搜索技术可被用于将知识编译成各种感兴趣的语言；同时提供了一种新方法，即通过考察相应命题语言的易处理性和简洁性，来理解搜索算法的能力与局限性。
引用
@article{arxiv.1110.2734,
title = {The Language of Search},
author = {A. Darwiche and J. Huang},
journal= {arXiv preprint arXiv:1110.2734},
year = {2011}
}