概述 状态空间表示法是人工智能中最基本的形式化方法，是其他形式化方法和问题求解的出发点。 所谓状态就是描述某一类事物中各个不同事物之间的差异，而引入的一组变量或多维变量。 操作也称为运算符，它引起状态中的某些分量发生变化，从而使问题由一个具体状态改变到另一个具体状态。操作可以是一个机械的步骤、过程、规则或算子，指出了状态之间的关系。 问题的状态空间表示问题的全部可能的状态及其相互关系，可以用一个赋值有向图来表示。问题的状态空间常记为三元组〈S,F,G〉,其中S为问题的所有初始状态的集合，F为操作的集合，G为目标状态的集合。目标状态的集合可以用结束条件来表示。
搜索方法也成为控制策略，其目的是从问题的初始状态出发，不断的选择合适的操作改变问题的状态，直到实现目标状态为止，这是所施行的操作序列就是问题的解。控制策略的内容可分为两部分：一是选择合适的操作，一是记住所施行的操作序列及他们所产生的状态描述。 不可撤回的方式和试探性方式属非层次方法。 还有一种为层次方法，它是把整个问题的解可以表示成子问题的解的一个层次结构。这种问题求解系统称为可分解系统。 |