搜索即通用问题求解语言

任何有目标、有约束、有选择空间的问题，都可形式化为"在状态空间中搜索最优路径"。不同领域的问题只是状态空间的结构不同，求解策略是相通的