[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f4Q-jaR7tcQHlRpQkWd34DRAvNKATsBZt9Le9FVmMZUI":3},{"answer":4,"createTime":5,"id":6,"options":7,"origin":12,"question":19,"related":20,"source":30,"type":31},[],"2024-05-17 21:49:21",144302415,[8,9,10,11],"子句间是没有析取词的","子句间是没有合取词的","子句中可以有析取词","子句通过合取词连接句子",{"count":13,"courseId":14,"courseImg":15,"courseName":16,"workId":17,"workName":18},10,"8bbb97f998a533b0210d61a11c5cafb6","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F2abfda980c06780cab891e2d70a68690.jpg","人工智能原理-2022智能","533843741f61461db57cf090ea779444","化为子句集","下列那个不是子句的特点",[21,32,35,44,53,62,71,80,90,99],{"answer":22,"createTime":5,"id":23,"options":24,"question":29,"source":30,"type":31},[],144302414,[25,26,27,28],"Skolem 函数","依赖函数","决定函数","多元函数","在公式\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fe738110a6017128ebbdfc75ecb9d65ff.webp\">中存在量词是在全称量词的辖城内,我们允许所存在的x可能依赖于y值.令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x这种函数叫做( )","v1",0,{"answer":33,"createTime":5,"id":6,"options":34,"question":19,"source":30,"type":31},[],[8,9,10,11],{"answer":36,"createTime":5,"id":37,"options":38,"question":43,"source":30,"type":31},[],144302416,[39,40,41,42],"~Q","Q","~P","P","子句\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fc71203fec10f06826c6bd8f26b9b24fa.webp\">和P经过消解以后,得到( )",{"answer":45,"createTime":5,"id":46,"options":47,"question":52,"source":30,"type":31},[],144302417,[48,49,50,51],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F26c9d2d4fcb0fe133b4e0dc99231e523.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fd6c28b3ff42ccf13c2191815752d3b4f.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F39cd7c53b92617170e1e89bf85b91bdd.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F26bf2ab3418f17a5ad0df170b949bd6b.webp\">","已知谓词公式\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fd128e0b2532af17b39fb032cb0230def.webp\">将其化为子句集的结果正确的是",{"answer":54,"createTime":5,"id":55,"options":56,"question":61,"source":30,"type":31},[],144302418,[57,58,59,60],"把目标的否定化成子句式,并用重言式表示","消去存在量词","把母式化为合取范式","化为前束形","‎化子句集的步骤不包括以下哪个选项",{"answer":63,"createTime":5,"id":64,"options":65,"question":70,"source":30,"type":31},[],144302419,[66,67,68,69],"﹁,∨, ∧, →","∧,∨,﹁,→","﹁, ∧, ∨,, →","﹁, ∧, ∨, →","在谓词公式中,连接词的优先级别从高到低排列是( )",{"answer":72,"createTime":5,"id":73,"options":74,"question":79,"source":30,"type":31},[],144302420,[75,76,77,78],"G都为真","G都为假","G有时为假有时为真","G可为真也可为假","谓词公式G是不可满足的,当且仅当对所有的解释( )",{"answer":81,"createTime":5,"id":82,"options":83,"question":88,"source":30,"type":89},[],144302421,[84,85,86,87],"\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F60b4aaebdd8aac3b2cefaa2f23de3654.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F92a9acf5a1b2e6c0e5c4319b317457ea.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fce38c1d9dd97a53ca9c5a989b3a709a3.webp\">","\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fa4c4185df307354a7bf92e4c028bdd59.webp\">","已知\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F3721cec100d7f990225810b50f82a50b.webp\">,\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fe2847a583fcec11ccbc0760dd325d122.webp\">, G为F的逻辑结论,将F与~G化子句集后,子句集中含有的子句包括( )",1,{"answer":91,"createTime":5,"id":92,"options":93,"question":98,"source":30,"type":89},[],144302422,[94,95,96,97],"~P(x)","P(x)","P(x)→Q(x)","D.P(x)+Q(x)→R(x)","下列( )是谓词公式.‌",{"answer":100,"createTime":5,"id":101,"options":102,"question":107,"source":30,"type":89},[],144302423,[103,104,105,106],""文字"与"文字的非"结合后成为空子句","空子句是可满足的","文字的析取构成子句","转换合取范式时,存在量词可直接去掉","以下关于归结原理叙述不正确的有()"]