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

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

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

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

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

对知识进行表示就是把知识表示成便于计算机存储和利用的某种（）。

填空题对知识进行表示就是把知识表示成便于计算机存储和利用的某种（）。