全局数据库对应（）知识。

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

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

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

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

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

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