人工智能课程必背知识点

人工智能课程必背知识点

一、必背填空题/名词解释

图灵测试的目的是：验证机器是否有智能
中文屋子实验是为了证明 ：即使通过图灵测试也不能说明计算机能思维
人工智能的近期目标：研究计算机如何实现那些只有靠人的智力才能做的工作
人工智能的终极目标是：探讨智能形成的机理，利用自动机模拟人的思维过程
机器感知：使机器（计算机）具有类似于人的感知能力。 以机器视觉与机器听觉为主。
知识表示：将人类知识形式化或者模型化
个体域：个体变元的取值范围，它可以是无限集
信息：是对数据的解释，在特定场合下的具体含义
知识：把有关信息关联在一起所形成的信息称为知识，是人类在长期的生活及社会实践、科学研究及实验中积累的认识与经验
数据：记录信息的符号，是信息的载体和表示
约束变元：辖域内与量词中同名的变元称为约束变元
辖域：位于量词后面的原子谓词或者用括号括起来的谓词公式
启发式知识：指与问题有关且能加快推理进程、求得问题最优解的知识。
自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑的推理规则推出结论的过程。
产生式系统：把一组产生式放在一起，一个产生式的结论可以供另一个产生式作为已知事实使用，以求得问题的解，这种系统称为产生式系统
纵向联系：具有继承关系的上下层框架之间的联系
匹配：在知识库的语义网络中寻找与待求解问题相符的语义网络模式
语义网络：通过概念及其语义关系来表达知识的一种有向图
前束形范式：谓词公式的所有量词均非否定地出现在公式的最前面，且它的辖域一直延伸到公式之末，同时公式中不出现连接词
斯克林范式：在前束范式的首标中不出现存在量词
文字：原子谓词公式及其否定称为文字
子句：任何文字的析取式称为子句，由子句构成的集合称为子句集。
空子句：不包含任何文字的子句称为空子句
归结式 ：设C1与C2是子句集中的任意两个子句，且C1中的文字L1与C2中的文字L2互补，令：C12={C1-L1} ∨ {C2-L2}，则称C12为C1与C2的归结式，C1、C2为C12的亲本子句，L1，L2称为消解文字
互补文字：若P是原子谓词公式，则称P和～P为互补文字
二元归结式：设C1、C2是两个无相同变元的子句，且L1、L2分别是C1、C2中的文字，若L1与~L2合一为σ，则称C12={C1σ-{L1σ}} ∪ {C2σ-{L2σ}}为C1与C2 的二元归结式
最一般合一（mgu）：设σ是公式集F的一个合一，如果对于F的任何一个合一θ，都存在替换λ，使得：θ=σ·λ，则称σ是F的最一般合一
问题的解：从问题的初始状态集，经过一系统列的算符运算，到达目标状态，所经过算符的序列叫问题的解
问题归约：把一个复杂问题分解或变换为一组本原问题的过程称作问题归约
搜索：根据问题的实际情况，不断寻找可利用知识，从而构造一条代价最小的推理路线，使问题得以解决的过程
智能搜索：利用搜索过程得到的中间信息来引导搜索项最优方向发展的算法
启发信息：用于指导搜索过程且与具体问