题海让大学四年没有难题
白天模式登陆

题目详情

单选题 下面几个置换,错误的是( )

A. {f(x)/y}

B. {x/f(y)}

C. {y/x}

D. {f(A)/x}

人工智能原理-2022智能课程封面

学科：人工智能原理-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">
Copyright © 2022 津ICP备2021001502号