一、填空:
1.人工智能的研究途径有 心理模拟 、 生理模拟 和行为模拟。
2.任意列举人工智能的四个应用性领域难题求解 、定理证明 、智能控制 、机器翻译 。
3.人工智能的根本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。 4.谓词逻辑是一种表达能力很强的形式语言,其真值的特点和命题逻辑的区别是〔10〕。 5.谓词逻辑中,重言式〔〕的值是 真 。
6.设P是谓词公式,对于P的任何论域,存在P为真的情况,那么称P为永真式。
7.在著名的医疗专家系统中规定,假设证据A的可信度〔A〕=0,那么意味着 无关,〔A〕1,那么意味着假,〔A〕=1,那么意味着真。
8.谓词公式G是不可满足的,当且仅当对所有的解释G都为假。
退出机制
9.谓词公式及其子句集的关系是 包含。
10.利用归结原理证明定理时,假设得到的归结式为 空集,那么结论成立。 11.假设C1=┐P∨Q,C2∨┐Q,那么C1和C2的归结式R〔C1,C2〕= ┐P∨P或┐Q∨Q。
12.假设C1(x) ∨Q(x),C2=┐P(a) ∨R(y),那么C1和C2的归结式R〔C1,C2〕= 〔20〕Q〔a〕∨R〔y〕
王朝云13.有谓词公式G,置换δ,那么G·ε= 〔21〕 ,δ·ε= 〔22〕 。
14.有子句集{P(x)(y)},其 {} 。
15.在归结原理中,几种常见的归结策略并且具有完备性的是 删除策略 支持集策略 线性归结策略 16.状态图启发式搜索算法的特点是 〔27〕。
17.广度优先搜索算法中,表的数据构造实际是一个 二叉树村长轶事,深度优先搜索算法中,表的数据构造实际是一个单链表 。
18.产生式系统有三局部组成 综合数据库, 知识库和推理机。其中推理可分为 正向推理和反向推理。
19.专家系统的构造包含人机界面、 知识库 , 推理机 , 动态数据库 , 知识库答理系统 和解释模块。
20.在推理中,对证据的可信度〔A〕、〔A1〕、〔A2〕之间,规定如下关系:〔〕= 〔A〕 ,〔A1∧A2 〕= {〔A1〕,〔A2〕} ,〔A1∨A2 〕= {〔A1〕,〔A2〕} 。
21.开发专家系统所要解决的根本问题有三个,那就是知识的获取、知识的表示和知识的运用,知识表示的方法主要有 逻辑表示法〔谓词表示法〕 , 框架, 产生式和语义网络等,在语义网络表示知识时,所使用的推理方法有 和
22.亚当斯密系统中使用不确定推理,规那么A→B由专家指定其可信度〔B,A〕,假设A真支持B真,那么指定〔B,A〕〔及零比拟〕应 〔47〕 ;假设A真不支持B真,那么指定〔B,A〕应 〔48〕 。
23.机器学习的含义是 指机器面对自行为的修正或性能的改善和机器对客观规律和开展 。
24.自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息,能正确答复输入信息中的有关问题,而且还包括 语法分析 、 语用分析 、 语句分析 。
25.设{},{},{},m(A)=0.6,m(U)=0.4,U的其它子集的根本概率分配函数m值均为0,那么(A)= 〔53〕 ,(B)= 〔54〕 。
26.证据理论中集合A的信任区间为[1,1],那么其语意解释为 〔55〕 。
27.人工智能三大学派是符号主义、联结主义、行为主义
28.化成子句形式为: 。
29.从事实出发,通过规那么库求得结论的产生式系统的推理方式是 正向推理 2016浙江高考数学
30.的英文缩写是
31. 在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的辖域 ,而在一个量词的辖域中及该量词的指导变元一样的变元称为 约束变元 ,其他变元称为 自由变
元
32.假言推理〔AB〕A B ,假言三段论〔AB〕〔BC〕 A C
33.几种常用的归结策略: 删除策略 、支持集策略、线形归结策略、输入归结策略、单元归结策略
34.在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为 图搜索 技术,解这类问题时,常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表,这种图称为 状态空间图〔或状态图〕
35.在启发式搜索当中,通常用 启发函数 来表示启发性信息。。
36.在二人博弈问题中,最常用的一种分析技术是 极大极小分析法 ,这种方法的思想是先生成一棵博弈树,然后再计算其倒推值。但它的效率较低,因此人们在此根底上,又提出了 - 剪枝技术
37.某产生式系统中的一条规那么:A〔x〕B〔x〕,那么前件是 A〔x〕 ,后件是 B〔x〕 惠州空气质量
38.在框架和语义网络两种知识表示方法中, 框架 适合于表示构造性强的知识,而 语义网络 那么适合表示一些复杂的关系和联系的知识。 面向对象 不仅仅是一种知识表示方法,也是一种流行的软件设计和开发技术。
39.不确定性类型按性质分: 随机性,模糊性,不完全性,不一致性 。
40.在删除策略归结的过程中删除以下子句:含有 纯文字 的子句;含有 永真式 的子句;子句集中被别的子句 类含的子句。对证据的可信度〔A〕、〔A1〕、〔A2〕之间,规定如下关系:〔〕= (A) 、〔A1∧A2 〕= {(A1)(A2)} 、〔A1∨A2 〕= {(A1)(A2)}
41.合一算法:求非空有限具有一样谓词名的原子公式集的最一般合一