产生式系统赖以实现问题求解的基础是（）。

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

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

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

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

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

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