知识可分为三种：叙述性知识、（）知识和控制性知识。

状态空间图中，结点表示状态，有向边（弧）表示（）。

填空题状态空间图中，结点表示状态，有向边（弧）表示（）。

状态空间中，若问题可能具有的初始状态的集合为S，操作的集合为F，目标状态的集合为G，则其三元组表示为（）。

填空题状态空间中，若问题可能具有的初始状态的集合为S，操作的集合为F，目标状态的集合为G，则其三元组表示为（）。

由一个问题的全部状态以及可以使用的全部操作所构成的集合就称为该问题的（）。

填空题由一个问题的全部状态以及可以使用的全部操作所构成的集合就称为该问题的（）。