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

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

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

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

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

知识表示模式分为外部表示模式和（）两个层次。

填空题知识表示模式分为外部表示模式和（）两个层次。