北语17秋《人工智能导论》作业1234资料
17秋《人工智能导论》作业1一、单选题:【10道,总分:40分】
1.用产生式系统来描述一个具体问题。设字符转换问题规则如下：1. A∧B→C；2. A∧C→D；3. B∧C→G；4. B∧E→F；5. D→E；已知：A，B 求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。当可触发规则为(3)(5)时，执行被触发规则为＿。 (满分:4) A.(2)
B.(3) C.(4)
D.(5)
2.在用产生式系统描述一个问题时，除了产生式系统的三要素外，一般还要求给出问题＿。 (满分:4)
A. 综合数据库
B. 规则集合
C. 初始状态和结束状态（目标状态）
D. 搜索策略
3.使用回溯策略首要的问题是＿。 (满分:4)
A. 要研究在什么情况下应该回溯，即要确定回溯条件的问题。
B. 如何利用有用知识进行规则排序，以减少回溯次数。
C. 在问题求解过程中，有时会发现应用一条不合适的规则会阻挠或拖延达到目标的过程。
D. 先试一试某一条规则，如果以后发现这条规则不合适，则允许退回去，另选一条规则来试。
4.要用产生式系统来求解一个具体的问题，需要把这个问题的叙述转化为产生式系统的三个组成部分，在人工智能中通常称为＿。 (满分:4)
A. 问题的表示
B. 产生式规则集
C. 控制系统
D. 综合数据库
5.在＿年，人工智能作为一门学科正式诞生于美国。 (满分:4)
A. 1950
B. 1954
C. 1956
D. 1960
6.如果一个产生式系统可以分解为几个子问题，当子问题得以求解时，则原始问题被求解。这样的产生式系统称为＿。 (满分:4)
A. 双向产生式系统
B. 可交换的产生式系统
C. 可分解的产生式系统
D. 正向产生式系统
7.在句法分析问题中，为了实现目标条件，最后执行的文法重写规则是＿。 (满分:4)
A. P DNP→PP
B. DNP PP→DNP
C. V DNP→VP
D. DNP VP→S
8.对于五城市旅行商问题，求从A出发经B、C、D、E再回到A的最短路径。如果用s表示当前状态，L(s)表示已经走过的城市数，Goto(x)表示走向城市x，则其规则可以表示为：1，IF L(s)=5 THEN Goto(A)；2，IF L(s)<5 THEN Goto(B)；3，IF L(s)<5 THEN Goto(C)；4，IF L(s)<5 THEN Goto(D)；5，IF L(s)<5 THEN Goto(E)。若当前状态s=(A)为初始状态，则可触发规则为＿。 (满分:4)
A.(2)
B.(2)(3)
C.(2)(3)(4)
D.(2)(3)(4)(5)
9.下面哪个不是图搜索方式的特点＿。 (满分:4)
A. 图中的每一个节点代表问题的状态，节点间的弧代表应用的规则。
B. 就是从隐含图中搜索出含有解路径的子图来。
C. 对每一个状态可应用的所有规则都要去试，并把结果记录下来。
D. 沿着单独的一条路向下延伸搜索下去。
10.用产生式系统来描述一个具体问题。设字符转换问题规则如下：1. A∧B→C；2. A∧C→D；3. B∧C→G；4. B∧E→F；5. D→E；已知：A，B 求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。当执行被触发规则(1)后，综合数据库中字符为＿。 (满分:4)
A. AB
B. ABC
C. ABCD
D. ABCDG
二、判断题:【12道,总分:48分】
1.PRODUCTION相当于对问题直接进行求解，而SPLIT则是对问题进行归约求解。 (满分:4)
A. 错误
B. 正确
2.用产生式系统求解问题时的主要任务就是如何把问题的知识组织成陈述、过程和控制这三种组成部分，以便在产生式系统中更充分地得到应用。 (满分:4)
A. 错误
B. 正确
3.问题的表示是研究形式化表示方法的问题，好的问题表示方法既简单又能反映问题的本质，也有利于提高求解的效率。 (满分:4)
A. 错误
B. 正确
4.高效率的求解过程与有效的控制策略紧密相关，而问题的表示（即综合数据库和规则集的描述）往往对求解时耗费的工作量也有很大的影响。 (满分:4)
A. 错误
B. 正确
5.可交换的产生式系统，简单的说，指的是这样一类产生式系统，问题的求解与规则的使用次序关系极大。 (满分:4)
A. 错误
B. 正确
6.规则表达的可以是与待求解的问题有关的客观规律方面的知识，也可以是对求解问题有帮助的策略方面的知识。 (满分:4)
A. 错误
B. 正确
7.当一个规则的前件被综合数据库中的数据满足时，该规则称为被触发规则。 (满分:4)
A. 错误
B. 正确
8.在语言学中，决定任意一个符号序列是不是一个句子的问题，是一个句法分析问题，我们可以用产生式系统来分析这个问题。 (满分:4)
A. 错误
B. 正确
9.可分解的产生式系统原始问题都可以被划分为几个独立的子问题来求解，从而提高问题求解的效率。 (满分:4)
A. 错误
B. 正确
10.双向产生式系统则是正向推理和逆向推理同时使用的产生式系统。 (满分:4)
A. 错误
B. 正确
11.从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。 (满分:4)
A. 错误
B. 正确
12.产生式系统的综合数据库是指对问题状态的一种描述，这种描述必须便于在计算机中实现，因此它实际上就是人工智能系统中所使用的数据结构。 (满分:4)
A. 错误
B. 正确
三、多选题:【3道,总分:12分】
1.用产生式系统求解某一个问题时，如果按照规则使用的方式或者说按推理方向来划分的话，产生式系统可分为＿。 (满分:4)
A. 单向
B. 正向
C. 逆向
D. 双向
2.可交换的产生式系统具有如下的特征：＿。 (满分:4)
A. 问题的求解与规则的使用次序无关。
B. 就是从已知数据出发，一步步应用规则，一直到推出结论。
C. 规则的使用次序只可能影响到求解的效率，不影响是否能得到问题的解。
D. 可以分解为几个子问题，当子问题得以求解时，则原始问题被求解。
3.对于五城市旅行商问题，求从A出发经B、C、D、E再回到A的最短路径。如果用s表示当前状态，L(s)表示已经走过的城市数，Goto(x)表示走向城市x，则其规则可以表示为：1，IF L(s)=5 THEN Goto(A)；2，IF L(s)<5 THEN Goto(B)；3，IF L(s)<5 THEN Goto(C)；4，IF L(s)<5 THEN Goto(D)；5，IF L(s)<5 THEN Goto(E)。若当前状态s=(A××)，则执行的被触发规则可能是＿。 (满分:4)
A.(2)
B.(3)
C.(4)
D.(5)
17秋《人工智能导论》作业2
一、单选题:【10道,总分:40分】
1.图搜索策略最大的优点是＿。 (满分:4)
A. 当回溯出现时，回溯点处进行的搜索将被算法"忘记"，其好处是节省了存储空间。
B. 被回溯掉的已经搜索过的部分，不能被以后使用。
C. 搜索过的路径除了可以重复利用。
D. 可以更有效地利用与问题有关的一些知识，从而达到启发式搜索的目的。
2.在A算法中，当h(n)≡0时，则A算法演变为＿。 (满分:4)
A. 爬山法
B. 动态规划法
C. A*算法
D. 深度优先算法
3.如果我们给h(n)加上如下的限制条件，＿，则A算法转换为A*算法。 (满分:4)
A. h(n)≥h*(n)
B. h(n)≤h*(n)
C. h(n)≥g*(n)
D. h(n)≤g*(n)
4.后继节点操作符（相当于可应用规则）作用到节点（对应于某一状态描述）上，生成出其所有后继节点（新状态），并给出连接弧线的耗散值（相当于使用规则的代价），这个过程叫做＿。 (满分:4)
A. 节点深度
B. 扩展一个节点
C. 路径耗散值
D. 路径
5.问题的规模是指＿。 (满分:4)
A. 问题全状态空间
B. 搜索空间
C. 最优解
D. 解路径
6.产生式系统求解问题时，如果控制系统保留住所有规则应用后生成并链接起来的数据库（状态）记录图，则称工作在这种方式下的控制系统使用了＿。 (满分:4)
A. 回溯搜索策略
B. 图搜索策略
C. 盲目搜索
D. 启发式搜索
7.回溯策略可以有多种实现的方法，其中用＿实现也许是最简单的方法了。 (满分:4)
A. 枚举法
B. 递归法
C. 反证法
D. 迭代法
8.利用评价函数f（n）＝g（n）＋h（n）来排列OPEN表节点顺序的图搜索算法称为＿。 (满分:4)
A. 深度优先算法
B. 宽度优先算法
C. 盲搜索算法
D. A算法
9.有时问题的解，又可以称为＿。 (满分:4)
A. 问题全状态空间
B. 搜索空间
C. 最优解
D. 解路径
10.八数码问题取不同启发函数，应用A*算法求得最佳解时所扩展和生成的节点数最少的是：＿。 (满分:4)
A. h(n)≤h*(n)
B. h(n)=0
C. h(n)=W(n)
D. h(n)=P(n)
二、判断题:【12道,总分:48分】
1.一般情况下，当问题有解时，深度优先搜索不但不能保证找到最优解，也不能保证一定能找到解。 (满分:4)
A. 错误
B. 正确
2.若h(n)满足单调限制条件，则A*扩展了节点n之后，就已经找到了到达节点n的最佳路径。 (满分:4)
A. 错误
B. 正确
3.简单的BACKTRACK过程设置四个以上回溯点，可用于求解N－皇后这类性质的问题。 (满分:4)
A. 错误
B. 正确
4.一条路径的耗散值等于连接这条路径各节点间所有弧线耗散值的总和。 (满分:4)
A. 错误
B. 正确
5.图搜索算法成功结束的判断方法，是当从OPEN表中取出一个节点后，再判断该节点是否是目标节点，而不是在扩展节点，生成新节点时判断。 (满分:4)
A. 错误
B. 正确
6.在深度优先搜索中，每次选择深度最深的节点首先扩展，而宽度优先搜索则正好相反，每次选择深度最浅的节点优先扩展。 (满分:4)
A. 错误
B. 正确
7.若h(n)满足单调限制，则由A*所扩展的节点序列，其f值是递减的 (满分:4)
A. 错误
B. 正确
8.在A*算法结束之前，OPEN表中任何满足f(n)<f*(s)的节点n，一定被扩展。 (满分:4)
A. 错误
B. 正确
9.A*选作扩展的任一节点n，有f(n)≤f*(s)。 (满分:4)
A. 错误
B. 正确
10.在A算法中，满足单调条件的h必然满足A*算法的条件。 (满分:4)
A. 错误
B. 正确
11.当问题有解时，A*算法不但一定能找到解，而且一定能找到最优解，这一点称为可采纳性。 (满分:4)
A. 错误
B. 正确
12.在回溯策略中，可以通过引入一些与问题有关的信息来加快搜索到解的速度，如皇后问题。 (满分:4)
A. 错误
B. 正确
三、多选题:【3道,总分:12分】
1.下列关于启发式搜索的说法正确的是：＿。 (满分:4)
A. 就是利用知识来引导搜索，达到减少搜索范围，降低问题复杂度的目的。
B. 一般来说，启发信息强，可以降低搜索的工作量，但可能导致找不到最优解。
C. 而启发信息弱，一般会导致搜索的工作量加大。
D. 启发信息弱，极端情况下演变为盲目搜索，但有可能找到最优解。
2.递归过程BACKTRACK1（DATALIST）比递归过程BACKTRACK（DATA）增加的回溯点是：＿。 (满分:4)
A. 有环路出现，过程返回FAIL，必须回溯。
B. 状态不合法，则过程返回FAIL，必须回溯。
C. 当搜索深度大于给定值BOUND时，则过程返回FAIL，必须回溯。
D. 规则用完未找到目标，过程返回FAIL，必须回溯。
3.A*算法求解问题时，出现重复扩展节点问题的原因：＿。 (满分:4)
A. 如果h函数定义不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，就有可能被多次扩展。
B. 特别是如果这样的节点处于问题的最优解路径上时，则一定会被多次扩展。
C. h(n)≤h*(n)。
D. A*算法效率低。
17秋《人工智能导论》作业3
一、单选题:【10道,总分:40分】
1.在进行α-β剪枝时，比较都是在＿间进行的。 (满分:4)
A. 极大节点和极大节点
B. 极小节点和极小节点
C. 极小节点和极大节点
D. 以上全选
2.在搜索解图的过程中，若解图的耗散值记为k（n，N），则若n是N的一个元素，则k（n，N）＝ 。 (满分:4)
A. n
B. N
C. N-n
D. 0
3.若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可＿的，这个置换s称作{Ei}的＿者。 (满分:4)
A. 置换 置换
B. 合一 合一
C. 归结 归结
D. 递归 递归
4.在AO*算法中，已知h（n）函数对一个已知与或图中各节点的假想估值如下：h（n0）＝3，h（n1）＝2，h（n2）＝4，h（n3）＝4，h（n4）＝1，h（n5）＝1，h（n6）＝2，h（n7）＝h（n8）＝0（目标节点）。且k-连接符的耗散值为k。假设此时n5刚被扩展成n6、n7和n8三个节点。一个1－连接符指向n6，一个2－连接符指向n7和n8。则有关能解节点的说法正确的是＿。 (满分:4)
A. n7和n8是能解节点，n5不是能解节点。
B. n7和n8是不能解节点，n5是能解节点。
C. n7、n8和n5都是能解节点。
D. n7、n8和n5都是不能解节点。
5.在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。设程序方MAX的棋子用（×）表示，对手MIN的棋子用（○）表示，MAX先走。静态估计函数f（p）规定如下：若p对任何一方来说都不是获胜的格局，则f（p）＝（所有空格都放上MAX的棋子之后，MAX的三子成线（行、列、对角）的总－（所有空格都放上MIN的棋子之后，MIN的三子成线（行、列、对角）的总数）。当×在中央位置，○在中上位置时，则可得f（p）＝＿。 (满分:4)
A. 1
B. 2
C. 4
D. 6
6.在AO*算法中，已知h（n）函数对一个已知与或图中各节点的假想估值如下：h（n0）＝3，h（n1）＝2，h（n2）＝4，h（n3）＝4，h（n4）＝1，h（n5）＝1，h（n6）＝2，h（n7）＝h（n8）＝0（目标节点）。且k-连接符的耗散值为k。假设此时n5刚被扩展成n6、n7和n8三个节点。一个1－连接符指向n6，一个2－连接符指向n7和n8。下列说法正确的是＿。 (满分:4)
A. n5的修正耗散值q=3，指针指向1－连接符。
B. n5的修正耗散值q=2，指针指向2－连接符。
C. n5的修正耗散值q=3，指针指向2－连接符。
D. n5的修正耗散值q=2，指针指向1－连接符。
7.对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合一，且s是其合一者，则(C1∨C2)s是其＿式。这一过程称作＿。 (满分:4)
A. 置换 置换
B. 合一 合一
C. 归结 归结
D. 递归 递归
8.在AO*算法中，已知h（n）函数对一个与或图中各节点的假想估值如下：h（n0）＝3，h（n1）＝2，h（n2）＝4，h（n3）＝4，h（n4）＝1，h（n5）＝1，h（n6）＝2，h（n7）＝h（n8）＝0（目标节点）。此外假设k-连接符的耗散值为k。开始时，初始节点n0，n0被扩展，生成出节点n1、n4和n5，一个1－连接符指向n1，一个2－连接符指向n4和n5。这两个连接符之间是"或"的关系。问指针将指向＿。 (满分:4)
A. n0的1－连接符
B. n0的2－连接符
C. n4
D. n5
9.在搜索解图的过程中，若解图的耗散值记为k（n，N），则若n是一个外向连接符指向后继节点{n1，…，ni}，并设该连接符的耗散值为Cn，则k（n，N）＝。 (满分:4)
A. Cn
B. k（n1，N） + … + k（ni，N）
C. 0
D. Cn+ k（n1，N） + … + k（ni，N）
10.在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。问第一步的最好着法是把棋子下在＿。 (满分:4)
A. 左上位置
B. 中上位置
C. 中央位置
D. 中左位置
二、判断题:【12道,总分:48分】
1.归结方法的特点是简单，易于程序实现。 (满分:4)
A. 错误
B. 正确
2.β剪枝是指若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α（后继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。 (满分:4)
A. 错误
B. 正确
3.归结过程就是"寻找"空子句的过程。 (满分:4)
A. 错误
B. 正确
4.归结法中，可以通过修改证明树的方法得到问题的解答。 (满分:4)
A. 错误
B. 正确
5.同A算法类似，若s→N集存在解图，当h（n）≤h*（n）且h（n）满足单调限制条件时，则AO*一定能找到最佳解图，即AO*具有可采纳性。 (满分:4)
A. 错误
B. 正确
6.对分钱币问题，所有终节点均表示该选手必输的情况，取胜方的目标是设法使棋局发展为结束在对方走步时的终节点上。 (满分:4)
A. 错误
B. 正确
7.归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。 (满分:4)
A. 错误
B. 正确
8.对变量作必要的换名，使每一量词只约束一个唯一的变量名。由于变量名可任意设定，因而该过程不影响合式公式的真值。 (满分:4)
A. 错误
B. 正确
9.对于与或图来说，可以像普通图搜索那样，通过对某一个节点的评价来实现对整个局部图的评价。 (满分:4)
A. 错误
B. 正确
10.对于每一个已经扩展了的节点，AO*算法都有一个指针，指向该节点的后继节点中，耗散值大的那个连接符。 (满分:4)
A. 错误
B. 正确
11.α剪枝是指若任一极小值层节点的β值小于或等于它任一先辈极大值居节点的α值，即α（先辈层）≥β（后继层），则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。 (满分:4)
A. 错误
B. 正确
12.任何一个合适公式，都可以等价地转化为一个前束范式。 (满分:4)
A. 错误
B. 正确
三、多选题:【3道,总分:12分】
1.基于归结法的问题提取回答的过程：＿。 (满分:4)
A. 先用归结法证明结论成立，并画出归结树
B. 找出结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，得到修改证明树
C. 在原来归结树中空子句所在位置得到一个子句，该子句即为问题的回答。
D. 重复以上过程，直到出现空子句NIL为止。
E.
2.基于归结法的问题提取回答的过程：＿。 (满分:4)
A. 先用归结法证明结论成立，并画出归结树
B. 找出结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，得到修改证明树
C. 在原来归结树中空子句所在位置得到一个子句，该子句即为问题的回答。
D. 重复以上过程，直到出现空子句NIL为止。
E.
3.AO*算法可划分成哪两个操作阶段:＿。 (满分:4)
A. 第一阶段是4-6步，完成自顶向下的图生成操作，先通过有标记的连接符，找到目前为止最好的一个局部解图，然后对其中一个非终节点进行扩展，并对其后继节点赋估计耗散值和加能解标记。
B. 第二阶段是7-12步，完成自下向上的耗散值修正计算、连接符（即指针）的标记以及节点的能解标记。
C. 第一阶段1-3步，完成初始化。
D. 第二阶段，扩展节点
17秋《人工智能导论》作业4
一、单选题:【10道,总分:40分】
1.在公式（v）（Q（v，u）∧~（（R（v）∨P（v））∧S（u，v）））中，Q（v，u）是一个主合取元，是另一个主合取元。 (满分:4)
A. （R（v）∨P（v））∧S（u，v）
B. S（u，v）
C. （R（v）∨P（v））
D. R（v）
2.基于规则的正向演绎系统的的子集形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
3.基于规则的正向演绎系统的初始综合数据库是＿。 (满分:4)
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
4.基于规则的逆向演绎系统的子句形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
5.基于规则的正向演绎系统的子句形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
6.基于规则的逆向演绎系统的初始综合数据库是＿。 (满分:4)
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
7.基于规则的逆向演绎系统的子集形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
8.基于规则的正向演绎系统的目标公式为＿。 (满分:4)
A. 文字析取形
B. 任意形式
C. 子句的合取式
D. 文字合取形
9.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 (满分:4)
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
10.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。 (满分:4)
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
二、判断题:【12道,总分:48分】
1.基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式） (满分:4)
A. 错误
B. 正确
2.规则公式不以蕴涵形给出，是表示该问题领域的专门知识。 (满分:4)
A. 错误
B. 正确
3.EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。 (满分:4)
A. 错误
B. 正确
4.对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。 (满分:4)
A. 错误
B. 正确
5.人工智能是一门综合技术，所处理的问题非常广泛，因此任何一种语言都不可能对所有的问题处理起来都很灵活、方便，至于究竟使用哪种语言，应根据问题的性质来决定。 (满分:4)
A. 错误
B. 正确
6.在逆向系统中，事实表达式限定为是文字的合取，并且进行了普通的Skolem化简，变量受全称量词约束。 (满分:4)
A. 错误
B. 正确
7.PROLOG中的表与LISP中的表，在概念上是一致的，且表示形式也完全相同。 (满分:4)
A. 错误
B. 正确
8.当多次使用同一规则时，需要对规则中的变量进行换名，使得规则在不同的使用处，其变量名是不相同的。 (满分:4)
A. 错误
B. 正确
9.PROLOG属于逻辑程序设计语言，其理论基础是一阶谓词逻辑。 (满分:4)
A. 错误
B. 正确
10.基于规则的演绎系统将类似于P→Q这样的蕴涵关系作为规则使用，直接用于推理，故这类方法又称为直接法。 (满分:4)
A. 错误
B. 正确
11.置换集一致的充分必要条件是该置换集存在合一复合。 (满分:4)
A. 错误
B. 正确
12.谓词逻辑，除了要对事实和规则进行处理外，与命题逻辑最大的差别是在匹配时需要进行合一，而且还要检查同一个解图中的合一置换是否是一致的。 (满分:4)
A. 错误
B. 正确
三、多选题:【3道,总分:12分】
1.基于规则的逆向演绎系统的使用条件：＿。 (满分:4)
A. 事实表达式是文字合取形式
B. 事实表达式是任意形式
C. 规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
D. 目标公式是任意形式
2.基于规则的正向演绎系统对事实、规则和目标的化简过程：＿。 (满分:4)
A. 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
B. 对规则的处理同（*）式。
C. 用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词约束。
D. 用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
3.在基于规则的逆向演绎系统中，如何用与或树表示目标表达式？＿。 (满分:4)
A. 在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是相反的。
B. 目标表达式中的"∧"号在与或树中表达为"或"的关系，"∨"号在与或树中表达为"与"的关系。
C. 在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是一致的。
D. 目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
页:
[1]