问题：
[填空题] 产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为（）和反向推理。
问题：
[填空题] 专家系统的结构包含人机界面、知识库，推理机，动态数据库，（）和解释模块。
问题：
[填空题] 开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。
问题：
[填空题] 自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、（）。
问题：
[填空题] 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。
问题：
[填空题] 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
问题：
[填空题] 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
问题：
[填空题] 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
问题：
[填空题] 在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为（）（或状态图）。
