填空题 在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为（）（或状态图）。

填空题 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

填空题 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。