问题求解问题表示有状态空间、问题归约、博弈问题、定理证明等表示方式
所有这些表示方式，都广泛采用数学上的有向图（包括树）作为描述手段
状态空间表示 如果一个问题求解系统运用正向推理，而且每次算子对全局数据库操作后都生成一新状态，则该系统采用的解题方法就称状态空间表示法
图1中树的节点标号代表状态，其中I为初始状态，F为目标状态；有向弧线的标号代表算子；从初始状态到达目标状态经历I→②→③→F的状态变换
这时问题的一个解便是能将问题初始状态最终变换为目标状态的一个有限的算子序列
本例中即为P2-P2-P4
而寻找问题的解，也就是寻找适用的算子序列的过程，这称为搜索
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
