[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f0jrC9MYHH0xBskPvKDrLu9GmKYQnQiOz7rbsi5evjeo":3},{"answer":4,"createTime":5,"id":6,"options":7,"origin":12,"question":19,"related":20,"source":31,"type":114},[],"2024-05-17 21:44:03",144301387,[8,9,10,11],"P[x,f(y),B]s1= P[z\u002Fx,f(w\u002Fy),B]","P[x,f(y),B]s2= P[q(z),A,B]","P[x,f(y),B]s1= P[z,f(w),B]","P[x,f(y),B]s2= P[q(z),f(A),B]",{"count":13,"courseId":14,"courseImg":15,"courseName":16,"workId":17,"workName":18},19,"8bbb97f998a533b0210d61a11c5cafb6","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F2abfda980c06780cab891e2d70a68690.jpg","人工智能原理-2022智能","43f055ec7cd44138a20ebf9453854fc7","演绎推理","已知表达式P[x, f(y), B]的两个置换为:s1={z\u002Fx, w\u002Fy},s2={q(z)\u002Fx, A\u002Fy},则以下选项正确的是( )",[21,33,42,51,60,69,78,87,96,105],{"answer":22,"createTime":23,"id":24,"options":25,"question":30,"source":31,"type":32},[],"2024-05-17 21:44:02",144301369,[26,27,28,29],"反向演绎从待证目标出发,又称归结原理","计算机实现自动推理最可行的方法是采用反向、演绎的方法","演绎是从一般到特殊;而反向推理以某个假设目标作为出发点,来展开推理","在规则量很大时,反向演绎仍然需要逐一计算规则的匹配,比较缓慢低效","以下关于反向演绎的说法错误的是","v1",0,{"answer":34,"createTime":23,"id":35,"options":36,"question":41,"source":31,"type":32},[],144301371,[37,38,39,40],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fa72b2db5e1c95c1d44dd73aee3c555fb.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F62c38937ba5f5200b7373cb06d0389c8.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fbfc47629b941dc0560b0e459f2ae12d8.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F4bcc6931a669a0f57fd4852f3e05ebe0.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F2985cc7231005ce5ee54f0d246e0eaf5.webp\">",{"answer":43,"createTime":5,"id":44,"options":45,"question":50,"source":31,"type":32},[],144301372,[46,47,48,49],"基替换","最一般合一","最一般替换","最一般谓词","MGU是指( )",{"answer":52,"createTime":5,"id":53,"options":54,"question":59,"source":31,"type":32},[],144301373,[55,56,57,58],"拒收律","附加律","假言推理","其他三个选项都对","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F7750b5bbbfca25a0ec7a5e41e625bf8e.webp\">是( )",{"answer":61,"createTime":5,"id":62,"options":63,"question":68,"source":31,"type":32},[],144301374,[64,65,66,67],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F35bb40fb8b37b463462256aeac0f5f0d.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fc0261933e511758a3f69ec6a13ed0292.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F1407bca25db4a516a7f12be971cb957f.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fe3bc29a9e45a8bd57818b06edd50c2e5.webp\">","与谓词演算公式\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F4416cd54cf41e410979a5f9113731052.webp\">等价的公式是( )",{"answer":70,"createTime":5,"id":71,"options":72,"question":77,"source":31,"type":32},[],144301375,[73,74,75,76],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fdc89e7b38d0ad6e10ec896e794a475b3.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fec2b5c0da78100e35ba64869a323d4b2.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F6ec06c241f3e32179286165b51223bec.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fe04b0a222479fec14e4ce21bc39df06d.webp\">","设有代换:\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F8301af147f32d77bfa01685345ae8444.webp\">则最一般合一为( )",{"answer":79,"createTime":5,"id":80,"options":81,"question":86,"source":31,"type":32},[],144301376,[82,83,84,85],"永真性:如果谓词公式P在个体域D上,存在一个解释都取得直值T则称P在D上是永真的","不可满足性: 如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永久假的,如果P每个非空个体域上均永假,则称P永假","可满足性:对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的","永真性:如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的","下列说法不正确的是( )",{"answer":88,"createTime":5,"id":89,"options":90,"question":95,"source":31,"type":32},[],144301377,[91,92,93,94],"{f(x)\u002Fy}","{x\u002Ff(y)}","{y\u002Fx}","{f(A)\u002Fx}","下面几个置换,错误的是( )",{"answer":97,"createTime":5,"id":98,"options":99,"question":104,"source":31,"type":32},[],144301378,[100,101,102,103],"分配律","德摩根律","结合律","吸收率","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F48406f370b58ccdb981a32d081b63470.webp\"> 称为",{"answer":106,"createTime":5,"id":107,"options":108,"question":113,"source":31,"type":32},[],144301379,[109,110,111,112],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fa82c645a353b9c1dc218d1c4578caacc.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F32982ae7c5bdbe6bb44052ae91502589.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F114f05bf5048fb91e111327d66fd1679.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Ff6176c25c52c67c354baeb1f9ac9ab0e.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Ff4bd68cb0e4b48908903e332f9ff296d.webp\">中,\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fc52dd0e2df33b6ca89e5700c0bb2bc3f.webp\">的辖域为( ),\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fab184d4475fd605808b582b6e9c99fc3.webp\">的辖域为( )",1]