搜索
第二章知识表示方法课后习题及答案一、选择题：1．下列说法正确的是：（C）(A)置换可以交换(B)公式集总可以合一(C)语义网络是知识的图解表示(D)“时间”是“春天”的实例2.在表示和求解比较复杂的问题时，往往采用哪些表示方法？（ABCD）(A)状态空间法(B)框架表示法(C)语义网络法(D)谓词逻辑法3.语义网络表示法一般以下哪种继承是不存在的？（D）(A)值继承(B)“如果需要”继承(C)“默认”继承(D)左右继承4.下列哪些不属于谓词逻辑的基本组成部分？（D）(A)谓词符号(B)变量符号(C)函数符号(D)操作符5.假设P为真，Q为假，下列公式为真的是（A）(A)P∨Q(B)P∧Q(C)P=Q(D)～P6.下列人物哪些提出过语义网络方法？（AC）(A)Simmons(B)Brooks(C)Slocum(D)Winner7.下列知识表示方法属于陈述式知识表达方法的是。（ABC）(A)语义网络(B)框架(C)剧本(D)过程8.下列关于知识的说法正确的是。（ABC）(A)知识是经过削减、塑造、解释和转换的信息(B)知识是经过加工的信息(C)知识是事实、信念和启发式规则(D)知识是凭空想象的9.雪是白色的，这句话是（A）(A)事实(B)规则(C)控制(D)元知识10.下列计算机语言一般属于基于对象的知识表示的人工智能语言的是（C）(A)Lisp(B)Prolog(C)Smalltalk(D)VisualBasic11.下列等价关系不成立的是（D）(A)～(～P)等价于P(B)PVQ等价于～P=Q(C)～(P∨Q)等价于～P∧～Q(D)P=Q等价于～P=～Q12.操作符可以为_____.（ABCD）A.走步B.过程C.规则D.数学算子13.在梵塔问题归约图中，某子问题属于本原问题，那么此子问题的解应该包含_____步移动.（A）A.1B.2C.3D.414.在与或图中，只要解决某个子问题就可解决其父辈问题的节点集合是指_____.（B）A.终叶节点B.或节点C.与节点D.后继节点15.下列节点中一定是不可解节点的是_____.（D）A.没有后裔的节点B.终叶节点C.后继节点D.此节点是非终叶节点，如果它有或后继节点，那么其全部后裔都是不可解的16.谓词演算的基本积木块是_____.（C）A.谓词符号B.合适公式C.原子公式D.量词17.语义网络中的推理过程主要有(CD)A.假元推理B.合一C.继承D.匹配18.在框架表示法中，为了描述更复杂更广泛的事件，可把框架发展为(B).A.专家系统B.框架系统C.槽D.语义网络19.面向对象方法和技术是一种()的方法.（C）A.归纳B.既有演绎又有归纳C.演绎D.构造20.问题归约的实质是:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的()集合.（B）A.初始问题B.本原问题C.解D.算法二、填空题：1.状态空间的三元状态是指_初始状态集合_、操作符集合_和_目标状态集合_。2.语义网络一般的节点同样可以是变量，这些变量的辖域是_整个语义网络_。3.用来辨别问题归约过程中的路标的是_关键算符。4.最初语义网络是一种心理学模型。5.状态空间法、谓词逻辑法和语义网络法一般是属于知识表示方法。三、简答题：1.试用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。解：用四元数列(nA,nB,nC,nD)来表示状态，其中nA表示A盘落在第nA号柱子上，nB表示B盘落在第nB号柱子上，nC表示C盘落在第nC号柱子上，nD表示D盘落在第nD号柱子上。初始状态为1111，目标状态为3333如图所示，按从上往下的顺序，依次处理每一个叶结点，搬动圆盘，问题得解。2.用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.解：先定义基本的谓词INTLT(x)meansxisintelligent11113333111122212221222322233333111133113311332133212221222311231123113311333333111121112111231123113311332113211321122112212221222332233223312331231123113321332133233323333333PERFORM(x,y)meansxcanperformyREQUIRE(x)meansxrequiresintelligenceCMP(x)meansxisacomputersystemHMN(x)meansxisahuman上面的句子可以表达为(任意x){(存在t)(存在y)[HMN(y)合取PERFORM(y,t)合取REQUIRE(t)合取CMP(x)合取PERFORM(x,t)]INTLT(x)}