资源说明:二、填空题(共30分):
1.在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的 ,而在一个量词的辖域中与该量词的指导变元相同的变元称为 ,其他变元称为
2、假言推理(AB)A ,假言三段论(AB)(BC)
3、几种常用的归结策略: 、支持集策略、线形归结策略、输入归结策略、单元归结策略
4、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为
技术,解这类问题时,常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表,这种图称为
5.在启发式搜索当中,通常用 来表示启发性信息。
本源码包内暂不包含可直接显示的源代码文件,请下载源码包。