北语17春《人工智能导论》在线作业答案
北语17春《人工智能导论》在线作业4一、单选题：
1.将结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，所得到的树称为＿。 (满分:4)
A. 归结树
B. 证明树
C. 修改证明树
D. 置换
2.在公式（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）
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.设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的＿。 (满分:4)
A. 合一复合
B. 一致置换
C. 一致解图
D. 合一者
8.基于规则的正向演绎系统的子句形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
9.基于规则的正向演绎系统的的子集形式：＿。 (满分:4)
A. 子句的合取式（合取范式）
B. 子句的析取式（析取范式）
C. 文字的析取式
D. 文字的合取式
10.基于规则的正向演绎系统的初始综合数据库是＿。 (满分:4)
A. 事实表达式的与或树
B. 目标公式的与或树
C. 与或树
D. 证明树
二、多选题：
1.置换集一致的充分必要条件是该置换集存在合一复合。 (满分:4)
A. 错误
B. 正确
2.一般人工智能系统所用到的知识分为三种类型：陈述知识、过程知识和控制知识。 (满分:4)
A. 错误
B. 正确
3.正是由于PROLOG语言自己决定"如何做"，使得求解问题的效率比较低，严重影响了它的使用。 (满分:4)
A. 错误
B. 正确
三、判断题：
4.LISP语言的基本结构是S－表达式，其中最常用的是原子和表这两种形式。 (满分: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.EQ、EQL和EQUAL是三个判断相等的谓词函数，其区别是判断相等的"标准"不一样。 (满分:4)
A. 错误
B. 正确
1.在LISP语言中，总是试图对任何S-表达式进行求值。在求值的过程中，有这样几个基本约定：＿。 (满分:4)
A. 如果S-表达式是一个数字，则它的值就是数字本身。
B. 如果S-表达式是一个文字原子，则它的值是在此之前，通过赋值函数赋给该原子的值。
C. 如果S－表达式是一个表，则该表被认为是一个函数。
D. 符号"'"是阻止求值符号，如果一个S－表达式前面有符号"'"，则其值就是该S－表达式本身。
2.表述有关问题的知识分为两类：＿。 (满分:4)
A. 规则
B. 事实
C. 陈述知识
D. 控制知识
3.关于演绎系统的搜索策略的说法正确的是：＿。 (满分:4)
A. 在寻找完所有解图之后，再判断解图的一致性。
B. 首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
C. 在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
D. 建立规则连接图结构，从而提高系统的求解效率。
17春《人工智能导论》作业3
一、单选题：
1.在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。问第一步的最好着法是把棋子下在＿。 (满分:4)
A. 左上位置
B. 中上位置
C. 中央位置
D. 中左位置
2.在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。设程序方MAX的棋子用（×）表示，对手MIN的棋子用（○）表示，MAX先走。静态估计函数f（p）规定如下：若p对任何一方来说都不是获胜的格局，则f（p）＝（所有空格都放上MAX的棋子之后，MAX的三子成线（行、列、对角）的总－（所有空格都放上MIN的棋子之后，MIN的三子成线（行、列、对角）的总数）。当×在中央位置，○在中上位置时，则可得f（p）＝＿。 (满分:4)
A. 1
B. 2
C. 4
D. 6
3.在进行α-β剪枝时，比较都是在＿间进行的。 (满分: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。开始时，初始节点n0，n0被扩展，生成出节点n1、n4和n5，一个1－连接符指向n1，一个2－连接符指向n4和n5。这两个连接符之间是"或"的关系。问指针将指向＿。 (满分:4)
A. n0的1－连接符
B. n0的2－连接符
C. n4
D. n5
5.若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可＿的，这个置换s称作{Ei}的＿者。 (满分:4)
A. 置换 置换
B. 合一 合一
C. 归结 归结
D. 递归 递归
6.在搜索解图的过程中，若解图的耗散值记为k（n，N），则若n是N的一个元素，则k（n，N）＝ 。 (满分:4)
A. n
B. N
C. N-n
D. 0
7.在极小极大过程中，用端节点的静态估计函数f（p）求倒推值时，两位选手应采取不同的策略，从下往上逐层交替使用＿的选值方法。 (满分: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。假设此时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都是不能解节点。
9.在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－连接符。
10.在搜索解图的过程中，若解图的耗散值记为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）
二、多选题：
1.归结过程就是"寻找"空子句的过程。 (满分:4)
A. 错误
B. 正确
2.α剪枝是指若任一极小值层节点的β值小于或等于它任一先辈极大值居节点的α值，即α（先辈层）≥β（后继层），则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。 (满分:4)
A. 错误
B. 正确
3.对分钱币问题，所有终节点均表示该选手必输的情况，取胜方的目标是设法使棋局发展为结束在对方走步时的终节点上。 (满分:4)
A. 错误
B. 正确
三、判断题：
4.一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。 (满分:4)
A. 错误
B. 正确
5.当连接符全部为1－连接符时，局部图就是一个路径，选择一个耗散值最小的局部图扩展，与从OPEN表中选择一个f值最小的节点扩展是一致的。 (满分:4)
A. 错误
B. 正确
6.归结方法的特点是简单，易于程序实现。 (满分:4)
A. 错误
B. 正确
7.对于与或图来说，可以像普通图搜索那样，通过对某一个节点的评价来实现对整个局部图的评价。 (满分:4)
A. 错误
B. 正确
8.归结法中，可以通过修改证明树的方法得到问题的解答。 (满分:4)
A. 错误
B. 正确
9.同A算法类似，若s→N集存在解图，当h（n）≤h*（n）且h（n）满足单调限制条件时，则AO*一定能找到最佳解图，即AO*具有可采纳性。 (满分:4)
A. 错误
B. 正确
10.归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。 (满分:4)
A. 错误
B. 正确
11.对于每一个已经扩展了的节点，AO*算法都有一个指针，指向该节点的后继节点中，耗散值大的那个连接符。 (满分:4)
A. 错误
B. 正确
12.对变量作必要的换名，使每一量词只约束一个唯一的变量名。由于变量名可任意设定，因而该过程不影响合式公式的真值。 (满分:4)
A. 错误
B. 正确
1.用归结法证明定理的过程＿。 (满分:4)
A. 将已知条件化作子句集
B. 将结论的否定化作子句集
C. 从所有子句集中选取两个可归结的子句进行归结
D. 重复以上过程，直到出现空子句NIL为止
E.
2.极小极大搜索方法中，关于f（p）取值下列说法正确的是：＿。 (满分:4)
A. 一般规定有利于MAX的势态，f（p）取正值。
B. 有利于MIN的势态，f（p）取负值。
C. 势均力敌的势态，f（p）取0值。
D. 若f（p）＝＋∞，则表示MAX赢，若f（p）＝－∞，则表示MIN赢。
3.下面关于不能解节点（UNSOLVED）的定义，正确的是＿。 (满分:4)
A. 没有后裔的非终节点是不能解节点。
B. 若非终节点有"或"子节点时，当且仅当所有子节点均不能解时，该非终节点才不能解。
C. 若非终节点有"与"子节点时，当至少有一子节点不能解时，该非终节点才不能解。
D. 端节点是不能解节点。
17春《人工智能导论》作业2
一、单选题：
1.问题的规模是指＿。 (满分:4)
A. 问题全状态空间
B. 搜索空间
C. 最优解
D. 解路径
2.如果我们给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)
3.八数码游戏的初始状态为"283450716"，而结束状态为"123456780"。问初始状态的"不在位的将牌数"是＿。 (满分:4)
A. 2
B. 3
C. 4
D. 5
4.有时问题的解，又可以称为＿。 (满分:4)
A. 问题全状态空间
B. 搜索空间
C. 最优解
D. 解路径
5.利用评价函数f（n）＝g（n）＋h（n）来排列OPEN表节点顺序的图搜索算法称为＿。 (满分:4)
A. 深度优先算法
B. 宽度优先算法
C. 盲搜索算法
D. A算法
6.后继节点操作符（相当于可应用规则）作用到节点（对应于某一状态描述）上，生成出其所有后继节点（新状态），并给出连接弧线的耗散值（相当于使用规则的代价），这个过程叫做＿。 (满分:4)
A. 节点深度
B. 扩展一个节点
C. 路径耗散值
D. 路径
7.八数码问题取不同启发函数，应用A*算法求得最佳解时所扩展和生成的节点数最少的是：＿。 (满分:4)
A. h(n)≤h*(n)
B. h(n)=0
C. h(n)=W(n)
D. h(n)=P(n)
8.产生式系统求解问题时，如果控制系统保留住所有规则应用后生成并链接起来的数据库（状态）记录图，则称工作在这种方式下的控制系统使用了＿。 (满分:4)
A. 回溯搜索策略
B. 图搜索策略
C. 盲目搜索
D. 启发式搜索
9.在A算法中，当h(n)≡0时，则A算法演变为＿。 (满分:4)
A. 爬山法
B. 动态规划法
C. A*算法
D. 深度优先算法
10.图搜索策略最大的优点是＿。 (满分:4)
A. 当回溯出现时，回溯点处进行的搜索将被算法"忘记"，其好处是节省了存储空间。
B. 被回溯掉的已经搜索过的部分，不能被以后使用。
C. 搜索过的路径除了可以重复利用。
D. 可以更有效地利用与问题有关的一些知识，从而达到启发式搜索的目的。
二、多选题：
1.简单的BACKTRACK过程设置四个以上回溯点，可用于求解N－皇后这类性质的问题。 (满分:4)
A. 错误
B. 正确
2.在出现相同的f值时，A算法并没有规定首先扩展哪个节点，可以任意选择其中的一个节点首先扩展。 (满分:4)
A. 错误
B. 正确
3.对有限图，如果从初始节点s到目标节点t有路径存在，则算法A一定成功结束。 (满分:4)
A. 错误
B. 正确
三、判断题：
4.在A*算法结束之前，OPEN表中任何满足f(n)<f*(s)的节点n，一定被扩展。 (满分:4)
A. 错误
B. 正确
5.修正的A*算法有可能会减少重复节点的扩展，而又不会比A*多扩展节点。 (满分:4)
A. 错误
B. 正确
6.A*选作扩展的任一节点n，有f(n)≤f*(s)。 (满分:4)
A. 错误
B. 正确
7.在深度优先搜索中，每次选择深度最深的节点首先扩展，而宽度优先搜索则正好相反，每次选择深度最浅的节点优先扩展。 (满分:4)
A. 错误
B. 正确
8.一般图搜索算法中，OPEN表记录的是已经被扩展过的节点；CLOSED表记录的是已经被生成出来，但还没有被扩展的节点。 (满分:4)
A. 错误
B. 正确
9.无信息图搜索属于盲目搜索 (满分:4)
A. 错误
B. 正确
10.图搜索策略的一个特点就是只保留了从初始状态到当前状态的一条路径，从而节省了存储空间。 (满分:4)
A. 错误
B. 正确
11.当问题有解时，A*算法不但一定能找到解，而且一定能找到最优解，这一点称为可采纳性。 (满分:4)
A. 错误
B. 正确
12.在回溯策略中，可以通过引入一些与问题有关的信息来加快搜索到解的速度，如皇后问题。 (满分:4)
A. 错误
B. 正确
1.关于一般图搜索算法，下列说法正确的是：＿。 (满分:4)
A. 关键是算法的第8步，按不同的原则对OPEN表进行排序，将得到不同的图搜索算法。
B. 算法中有两个表：OPEN表和CLOSED表。
C. OPEN表记录的是已经被生成出来，但还没有被扩展的节点。
D. CLOSED表记录的是已经被扩展过的节点。
2.A*算法求解问题时，出现重复扩展节点问题的解决方案是：＿。 (满分:4)
A. 对h函数的定义给出限制，使得h满足单调性。
B. 对A*算法加以改进，使用修正的A*算法进行搜索。
C. 提高计算机处理能力。
D. 失去可采纳性为代价，改进算法。
3.A*算法求解问题时，出现重复扩展节点问题的原因：＿。 (满分:4)
A. 如果h函数定义不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，就有可能被多次扩展。
B. 特别是如果这样的节点处于问题的最优解路径上时，则一定会被多次扩展。
C. h(n)≤h*(n)。
D. A*算法效率低。
17春《人工智能导论》作业1
一、单选题：
1.要用产生式系统来求解一个具体的问题，需要把这个问题的叙述转化为产生式系统的三个组成部分，在人工智能中通常称为＿。 (满分:4)
A. 问题的表示
B. 产生式规则集
C. 控制系统
D. 综合数据库
2.在＿年，人工智能作为一门学科正式诞生于美国。 (满分:4)
A. 1950
B. 1954
C. 1956
D. 1960
3.用产生式系统来描述一个具体问题。设字符转换问题规则如下：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)
4.在用产生式系统描述一个问题时，除了产生式系统的三要素外，一般还要求给出问题＿。 (满分:4)
A. 综合数据库
B. 规则集合
C. 初始状态和结束状态（目标状态）
D. 搜索策略
5.用产生式系统来描述一个具体问题。设字符转换问题规则如下：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
6.用产生式系统来描述一个具体问题。设字符转换问题规则如下：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}。当可触发规则为＿时，执行被触发规则（2）。 (满分:4)
A.(3)(5)
B.(2)(5)
C.(2)(3)
D.(4)(5)
7.使用回溯策略首要的问题是＿。 (满分:4)
A. 要研究在什么情况下应该回溯，即要确定回溯条件的问题。
B. 如何利用有用知识进行规则排序，以减少回溯次数。
C. 在问题求解过程中，有时会发现应用一条不合适的规则会阻挠或拖延达到目标的过程。
D. 先试一试某一条规则，如果以后发现这条规则不合适，则允许退回去，另选一条规则来试。
8.我国是从＿年才开始人工智能课题的研究，主要在定理证明、汉语自然语言理解、机器人及专家系统方面设立课题，并取得一些初步成果。 (满分:4)
A. 1978
B. 1960
C. 1950
D. 1959
9.一组＿相当于系统的知识库，它采用"IFTHEN "的形式，来表达求解问题所需要的知识。 (满分: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}。下列结束条件正确的是：＿。 (满分:4)
A. F∈{x}，当目标F在综合数据库中出现时，则F被求得。
B. F∈{x}，当目标F在综合数据库中出现时，则F一定不被求得。
C. F不包含于{x}，当目标F不在综合数据库中出现时，则F被求得。
D. F不包含于{x}，当目标F不在综合数据库中出现时，则F一定被求得。
二、多选题：
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. 正确
1.用产生式系统求解某一个问题时，如果按照规则使用的方式或者说按推理方向来划分的话，产生式系统可分为＿。 (满分:4)
A. 单向
B. 正向
C. 逆向
D. 双向
2.对八数码游戏，回溯应发生在以下几种情况：＿。 (满分:4)
A. 新生成的状态在通向初始状态的路径上已出现过
B.
C. 从初始状态开始，应用的规则数目达到所规定的数目之后还未找到目标状态
D.
E. 对当前状态，再没有可应用的规则。
F. 沿着单独的一条路向下延伸搜索下去
3.和其他学科的发展一样，人工智能目前也总结出若干个对实现人工智能系统具有一般意义的核心课题，这就是：＿。 (满分:4)
A. 知识的模型化和表示方法
B. 启发式搜索理论
C. 各种推理方法（演绎推理、规划、常识性推理、归纳推理等）
D. 人工智能系统结构和语言
页:
[1]