登陆题目详情
多选题 已知表达式P[x, f(y), B]的两个置换为:s1={z/x, w/y},s2={q(z)/x, A/y},则以下选项正确的是( )
学科：人工智能原理-2022智能
时间：2024-05-17 13:44:03
相关题目
相关作业
题目1单选题
以下关于反向演绎的说法错误的是A. 反向演绎从待证目标出发,又称归结原理B. 计算机实现自动推理最可行的方法是采用反向、演绎的方法C. 演绎是从一般到特殊;而反向推理以某个假设目标作为出发点,来展开推理D. 在规则量很大时,反向演绎仍然需要逐一计算规则的匹配,比较缓慢低效
题目2单选题
<img src="https://tihai-oss-cloud.itihey.com/img/2985cc7231005ce5ee54f0d246e0eaf5.webp">A. <img src="https://tihai-oss-cloud.itihey.com/img/a72b2db5e1c95c1d44dd73aee3c555fb.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/62c38937ba5f5200b7373cb06d0389c8.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/bfc47629b941dc0560b0e459f2ae12d8.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/4bcc6931a669a0f57fd4852f3e05ebe0.webp">
题目3单选题
MGU是指( )A. 基替换B. 最一般合一C. 最一般替换D. 最一般谓词
题目4单选题
<img src="https://tihai-oss-cloud.itihey.com/img/7750b5bbbfca25a0ec7a5e41e625bf8e.webp">是( )A. 拒收律B. 附加律C. 假言推理D. 其他三个选项都对
题目5单选题
与谓词演算公式<img src="https://tihai-oss-cloud.itihey.com/img/4416cd54cf41e410979a5f9113731052.webp">等价的公式是( )A. <img src="https://tihai-oss-cloud.itihey.com/img/35bb40fb8b37b463462256aeac0f5f0d.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/c0261933e511758a3f69ec6a13ed0292.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/1407bca25db4a516a7f12be971cb957f.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/e3bc29a9e45a8bd57818b06edd50c2e5.webp">
题目6单选题
设有代换:<img src="https://tihai-oss-cloud.itihey.com/img/8301af147f32d77bfa01685345ae8444.webp">则最一般合一为( )A. <img src="https://tihai-oss-cloud.itihey.com/img/dc89e7b38d0ad6e10ec896e794a475b3.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/ec2b5c0da78100e35ba64869a323d4b2.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/6ec06c241f3e32179286165b51223bec.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/e04b0a222479fec14e4ce21bc39df06d.webp">
题目7单选题
下列说法不正确的是( )A. 永真性:如果谓词公式P在个体域D上,存在一个解释都取得直值T则称P在D上是永真的B. 不可满足性: 如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永久假的,如果P每个非空个体域上均永假,则称P永假C. 可满足性:对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的D. 永真性:如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的
题目8单选题
下面几个置换,错误的是( )A. {f(x)/y}B. {x/f(y)}C. {y/x}D. {f(A)/x}
题目9单选题
<img src="https://tihai-oss-cloud.itihey.com/img/48406f370b58ccdb981a32d081b63470.webp"> 称为A. 分配律B. 德摩根律C. 结合律D. 吸收率
题目10单选题
<img src="https://tihai-oss-cloud.itihey.com/img/f4bd68cb0e4b48908903e332f9ff296d.webp">中,<img src="https://tihai-oss-cloud.itihey.com/img/c52dd0e2df33b6ca89e5700c0bb2bc3f.webp">的辖域为( ),<img src="https://tihai-oss-cloud.itihey.com/img/ab184d4475fd605808b582b6e9c99fc3.webp">的辖域为( )A. <img src="https://tihai-oss-cloud.itihey.com/img/a82c645a353b9c1dc218d1c4578caacc.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/32982ae7c5bdbe6bb44052ae91502589.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/114f05bf5048fb91e111327d66fd1679.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/f6176c25c52c67c354baeb1f9ac9ab0e.webp">
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
