人工智能填空与选择题精编：关键概念与技术回顾

在人工智能复习资料中，涵盖了多个重要的知识点，包括： 1. **谓词逻辑基础**：填空题中提到，紧接于量词后的谓词公式称为该量词的**辖域**，与量词指导变元相同的变元称为**指导变元**，其余变元称为**参数**。这些概念对于理解谓词逻辑的结构至关重要。 2. **逻辑推理**：假言推理中，(A→B)∧A推出**B**，即如果A蕴含B并且A是真的，那么结论B也一定为真。假言三段论中，(A→B)∧(B→C)推出**(A→C)**，表明如果A导致B，而B又导致C，那么A间接导致C。 3. **归结策略**：常用的归结策略有**一致性策略**，即不断尝试消除矛盾直到得出一致性；**支持集策略**，根据当前归结集找出最小的支持集合；**线性归结**，按线性顺序进行归结；**输入归结**，将目标子句直接加入归结集；**单元归结**，每次只归结一个子句。 4. **人工智能应用**：在走迷宫、下棋等游戏中，使用的核心技术是**搜索算法**，特别是**图搜索**，通过构建状态空间图来解决问题，其中的状态通常用图表示。 5. **启发式搜索**：启发式搜索中，**估价函数**（Heuristic Function）用来衡量从当前节点到目标节点的非确定性路径的成本，提供解决复杂问题的指引。 6. **选择题部分**：涉及到了国际象棋AI竞赛中的计算机名称（深蓝），人工智能系统的知识构成要素，谓词逻辑的归结规则，不同类型的图（或图），人工智能学派（机会主义除外），人工智能概念的提出者（图灵），以及机器学习的基本概念。 7. **专家系统**：包括用户交互、综合数据库、推理机和知识库的组成部分，以及产生式系统中的推理类型（排除简单推理）和证据对结论可信度的影响。 8. **符号逻辑与概率计算**：C(B|A)解释为条件概率，表示在规则A->B下，A为真时B发生的概率。反演归结证明定理时，空子句意味着定理已得证。 9. **存在量词的处理**：Skolem函数的作用是为存在量词引入一个具体的函数表达形式，使得存在依赖关系清晰。 10. **逻辑运算与消解**：子句~P(Q)经过消解后，得到的是P的否定，即~P。 11. **搜索算法**：如果问题存在最优解，不同的搜索算法如贪心、深度优先搜索、广度优先搜索等各有适用场景。 以上知识点展示了人工智能领域的基础知识和核心概念，有助于理解并掌握人工智能的基础理论和实践应用。