《人工智能》测试题答案

测试题人工智能原理一填空题1人工智能作为一门学科它研究的对象是而研究的近期目标是远期目标是2人工智能应用的主要领域有和3知识表示的方法主要有和4产生式系统由三个部分所组成即和5用归结反演方法进行定理证明时可采取的归结策略有和6宽度优先搜索对应的数据结构是深度优先搜索是7不确定知识处理的基本方法有和8AI研究的主要途径有三大学派它们是学派学派和学派9专家系统的瓶颈是它来自于两个阶段第一阶段是第二阶段是10确定因子法中函数MB是描述而函数MD是描述11人工智能研究的主要领域有和12一阶谓词逻辑可以使用的连接词有和13基于规则的演绎系统主要有和14DS证据理论中函数Bel定义为而函数Pl定义为15问题的状态空间可以记为三元组其中S为F为G为16人工智能研究的主要内容有和17知识表示的方法主要有和18世界上第一个专家系统是在年由主持研制成功的我国的第一个专家系统是在年研制成功的19神经网络可分为和广泛前向网络20在框架表示法中用若干个描述对象的属性用若干个描述属性的各个方面21产生式系统的三个基本组成部分是22知识表示方法按照控制性知识的组织方式可分为和二选择题1非结构化的知识的表示法是A语义网络表示B谓词逻辑表示C框架表示法中D面向对象表示2归结策略中是完备的线性输入策略支持集策略单文字策略祖先过滤策略ABCD3在证据理论中信任函数与似然函数对BelAPlA的值为00时表示AA为真B对A一无所知CA为假D对A为真有一定信任4在主观Bayes方法中专家给出的Ln和LS值不能出现下两种情况LN1LN1LS1LS1ABCD5在证据理论中信任函数与似然函数的关系为ABelAPlABBelAPlACBelAPlADBelAPlA6不完备的搜索过程是A广度优先搜索B深度优先搜索C有界深度优先搜索D代价树广度优先搜索7在主观Bayes方法中规则EH有LSLN1这意味AE对H没有影响BE支持HCE支持HDE支持H8在可信度方法中若证据A的可信度CFF0这意味A证据A不可信B对证据A一无所知C证据A可信D没有意义9人工智能研究的领域不包括A自然语言理解B自动程序设计C程序设计方法D自动定理证明10用归结反演证明定理时若当前归结式为则定理得证A永真式B包孕式subsumedC原子谓词D空子句11在主观Bayes方法中证据E支持结论H时有ALS0BLSCLS1DLS112在可信度方法中证据E的出现增加结论H为真时有ACFHE1BCFHE0CCFHE0DCFHE13谓词公式中量词x的辖域是ABPxCD14设个体域为整数集下列公式中其值为1的是ABCD15设Lxx是演员Jxx是老师Axyx佩服y那么命题所有演员都佩服某些老师符号化为ABCD16谓词公式xAxxAx的类型是A永真式B矛盾式C非永真式的可满足式D不属于ABC任何类型17谓词公式取真值为1的充分必要条件是A对任意y使Py都取真值1B存在一个y0使Py0取真值1C存在某些y使Py都取真值1D存在y0使Py0取真值018设GxyPxyQzw下面三个命题为真的是AG是前束范式BG不是前束范式CG不是一阶公式DG是永真式19与命题公式PQR等值的公式是APQRBPQRCPQRDPQR20命题公式PQP是A永真式B永假式C可满足式D合取范式三判断题1与或图中结点的深度必大于其父辈的深度2若问题P可以归结为与之等价的一组子问题当且仅当这些子问题全部可解时原问题P才可解3目标公式在逻辑上遵循那么满足的每个解释也满足4在图搜索算法中如果按估价函数作为OPEN表中的结点排序的依据则该算法就是算法5在图搜索中若与结点的后继结点并非全部不可解则它是可解的6任一表达式均可以转换成与或形式78专家系统的瓶颈是知识的获取9对叶子结点进行静态估计后为了计算非叶子结点的估计值必须从叶子结点向上倒推计算10人工智能所解决的问题是一般的数值计算或数据处理问题11第一个人工智能程序设计语言是表处理语言它于1960年在美国设计实现12耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合在一起并在两者间提供接口13一旦推出空子句则说明子句集S是可满足的14公式的合一唯一15与或图通常称为状态图16归结原理除了能用于对已知结果的证明外还能用于对未知结果的求解17规则演绎系统是一种基于谓词逻辑的产生式系统18OPEN表的动态数据结构用于专门登记已经考查过的节点19在与或图中无子节点的节点称为端节点20解树的代价就是树根的代价21模糊集合与其隶属函数是等价的22公式的Skolem标准型与原公式等值23产生式就是逻辑蕴涵式24正向推理是自底向上的综合过程而反向推理则是自顶向下的分析过程25框架适合表达结构性的知识26语义网络是由节点和边组成的一种有向网可用于表示事物间的关系27确定性理论是一种精确推理模型28基本概率分配函数之值是概率29黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题30自然语言理解包括语音理解和文字理解31在谓词逻辑中由于子句中含有变元所以不能直接消去互补文字需要用最一般合一对变元进行代换然后才能进行归结四名词解释1可解结点2专家系统3状态空间4产生式系统5图灵测试TuringTest6盲目搜索7估价函数8人工智能9合适公式10W的差异集合11机器学习12产生式13启发式搜索14归结原理15原子集五论述题简答题1规则演绎系统和产生式系统有哪几种推理方式各自的特点为何2从概念结构而言专家系统有哪些部分构成各部分的作用是什么3人工智能的基本技术有哪些并简述各种技术4不确定性推理与通常的确定性推理有哪些差别证明题5设有子句集其中是目标公式否定后得到的子句现要求用线性输入策略对子句集进行归结6已知FG求证G是F的逻辑结论7用海伯伦定理证明下列子句集不可满足8用归结方法证明下列公式为恒真计算题9用一阶谓词逻辑表示下列的英语句子1Acomputersystemisintelligentifitcanperformataskwhichifperformedbyahumanrequiresintelligence2Aformulawhosemainconnectiveisaisaequivalenttosomeformulawhosemainconnectiveisa3IftheinputtounificationalgorithmisasetofunifiableexpressionstheoutputisthemguiftheinputisasetofnonunifiableexpressionstheoutputisFALL10设有一组规则推理网络如图所示Rule1IFE1E2THENE3a1a2CF0206Rule2IFE5E8THENE4bCF08Rule3IFE3THENHh1h2h3CF020503Rule4IFE4THENHh1h2h3CF030401Rule5IFE6E7THENE8CF08已知CFE107CFE208CFE506CFE604CFE709试用DS证据理论求出CFH11将下列谓词公式化成相应的子句集1212将下列公式化为skolem子句形abc测试题答案人工智能原理一填空题1知识研究模拟智能程序研制智能计算2模式识别问题求解定理证明专家系统机器视觉和机器学习3一阶谓词逻辑框架语义网络脚本和Petri网络4规则库综合数据库控制系统5删除策略支持集策略线性输入策略单文字子句策略祖先过滤策略6队列堆栈7确定因子法主观Bayes法DS证据理论可能性理论8符号主义联想主义行为主义9知识获取人类领域专家获取知识系统运行过程中的知识获取10信任程度的增长不信任程度的增长11模式识别定理证明程序自动设计专家系统机器学习自然语言理解12否定合取析取蕴涵13正向演绎逆向演绎双向演绎1415初始状态集合算符集合目标状态集合16机器感知机器思维机器行为智能机构造技术机器学习17一阶谓词逻辑语义网络框架脚本产生式18DENDRAL1965Fengenbum关幼波肝病诊断与治疗专家系统197819分层前向网络反馈层向网络互连前向网络20槽侧面21综合数据库规则库控制系统22叙述性表示过程性表示二选择题1B2C3C4C5A6B7A8B9C10D11D12B13C14A15D16B17A18B19B20A三判断题1错误2错误3正确4错误5错误6正确7正确8正确9正确10错误11正确12正确13错误14错误15错误16正确17正确18错误19正确20正确21正确22错误23错误24正确25正确26正确27错误28错误29正确30正确31正确四名词解释1可解结点对应本原问题的终端节点是可解节点或节点的后继节点并非全部不可解那么该或节点是可解的与节点的后继节点均为可解节点时那么该与节点为可解节点2专家系统专家系统是一个大型的软件它的功能应该不低于人类专家解决问题的能力3状态空间状态是描述问题求解过程中任一时刻状况的数据结构通常用一组变量的有序组合表示而状态空间是问题的全部状态及一切可用算符构成的集合4产生式系统产生式系统由三个部分所组成即规则库综合数据库和控制系统5图灵测试TuringTest图灵测试是衡量计算机是否是智能机的标准图灵测试由三方组成被测试的人被测试的机器和主持测试的考官考官提出问题分别让被测试的人和机器做答如果考官分不清楚哪个答案是人作出的哪个答案是机器作出的则图灵测试认为计算机就具备智能了6盲目搜索是按预定的控制策略进行搜索在搜索的过程中获得的信息不用来改进控制策略7估价函数用来估价节点重要性的函数称为估价函数一般形式为其中gx为从初始节点到节点x已经实际付出的代价hx为从节点x到目标节点的最优估计8人工智能是一门研究知识的一门学科即如何表示知识如何获取知识如何使用知识的学科的科学9合适公式原子是合式公式若AB是合式公式则也是合式公式若是合式公式则也是合式公式除此之外再也没有其他的公式是合式公式10W的差异集合首先找出W的所有表达式中不相同的第一个符号然后从W的每个表达式中抽出占有这个位置的子表达式所有这些子表达式的集合就是W的差异集合11机器学习机器学习就是系统在运行时可以做一些适应性的变化使得系统在下一次执行类似上一次任务时比上一次更家有效更加快捷更加完善12产生式基本形式PQ其中规则的前件P为前提具体形式可以是谓词公式关系表达式和真值函数的任意与或非组合可以不精确匹配而规则的后件Q则表示规则激活时应该执行的动作或应该得出的结论13启发式搜索启发式搜索又称为有知识搜索它是在搜索中利用与应用领域有关的启发性知识来控制搜索路线的一种搜索方法由于这类方法在搜索中利用了与问题求解有关的知识不必穷尽地试验每一种可能性在任何时刻对将要搜索的节点都进行评价从中选择一个最有希望到达目标节点的节点优先搜索这就避免了无效搜索提高了搜索速度14归结原理为了证明子句集S的不可满足只要对S中可进行归结的子句进行归结并把归结式加入子句集S得到新子句集S1则S与S1在不可满足的意义上是等价的归结原理的本质思想是去检查子句集S是否包含一个空子句如果S包含则S是不可满足的如果S不包含则去检查是否可由S推导出来当然这个推理规则必须保证推出的子句是原亲本子句的逻辑结果15设S是子句集集合A所有形如Pt1tn的元素称作子句集S的原子集其中Pt1tn是出现于S中的任一谓词符号而t1tn是S的H域的任意元素五论述题简答题1规则演绎系统可分为前向演绎系统基于一组前向规则从事实出发进行推理后向演绎系统基于一组后向规则从目标出发进行推理双向演绎系统同时基于前向和后向规则同时从事实和目标出发进行推理产生式系统的推理可分为正向推理从初始事实数据出发正向使用规则进行推理朝目标方向前进反向推理从目标出发反向使用规则进行推理朝初始事实或数据方向前进2专家系统的概念结构有六部分组成知识库用以存储知识的集合推理机使用知识库中的知识进行推理而解决问题动态数据库存放初始证据事实推理结果和控制信息的场所人机界面最终用户和专家系统的交互界面解释模块负责向用户解释专家系统的行为和结果知识库管理系统是知识库的支撑软件类似于数据库管理系统对数据库的作用3人工智能的基本技术有下列五种推理技术对推理的研究往往涉及到对逻辑的研究逻辑是人脑思维的规律从而也是推理的理论基础搜索技术搜索是指连续进行推理的过程它是对推理进行引导和控制的技术知识表示和知识库技术知识表示涉及知识的逻辑结构和物理结构知识库类似于数据库由于知识是智能的基础和源泉因此知识表示和知识库是人工智能的核心技术归纳技术是指机器自动提取概念抽取知识寻找规律的技术联想技术联想是最基本最基础的思维活动其前提是联想记忆或联想存储4不确定性推理与通常的确定性推理有本质的差别不确定性推理中符号模式匹配能够成功不但要求两个符号模式本身能够匹配而且要求证据事实所含的不确定性程度必须达到一定的限度不确定推理中一个规则的触发不仅要求其前提能匹配成功而且前提条件的不确定性总程度还必须至少达到阀值不确定性推理中推得的结论是否有效也取决其不确定性程度是否达到阀值不确定性推理还要求有一套关于不确定性度量的计算方法证明题5解xyaxIxRxRyLyIxLxLaIaIaNIL6证明首先把和化为子句集12345下面进行归结61与374与685与77证此S子句集的原子集完整的语义树如下使子句PQ为假使子句PQ为假使子句PQ为假使子句PQ为假即该语义树是封闭的由海伯伦定理知该子句集不可满足证毕8证此问题既是证明公式为恒假将公式化成对应的子句集应用归结原理PN0PQQQQN21N22N23N24由归结t由归结证毕计算题91设Computersystemxx是计算机系统Intelligentxx是智能的Performtaskxx执行任务Requirexx要求的Manxx是人则有2设Formulax表示x是公式Connectivex表示x的联结词是Equivalentxyx与y等价则可以表示为3设Inputx表示x是输入算法Unificationy表示y是不能合一算法Outputx表示x是输出算法mugyy是最小合一Fallx表示x失败那么我们可以用一阶谓词逻辑表示为10解所求CFH086411解1原式2原式12解1xPxxQxxPxQxxPxxQxyPyQyyxPxQxPyQyyxPxPyQyQxPyQy化为skolem子句形PxPaQaQxPaQa2xPxyzQzyzRyzxyzvPxQzyRyv化为skolem子句形PxQzyRyv3xPxxzQxzyRxyzxPxzQxzyRxyzxzyPxQxzRxyz化为skolem子句形PaQazRayzhttpwww0206cc更多课程资料请到大学课程网www0206cc学习