登陆题目详情
单选题 在公式
中存在量词是在全称量词的辖城内,我们允许所存在的x可能依赖于y值.令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x这种函数叫做( )
学科：人工智能原理-2022智能
时间：2024-05-17 13:49:21
相关题目
相关作业
题目1单选题
在公式<img src="https://tihai-oss-cloud.itihey.com/img/e738110a6017128ebbdfc75ecb9d65ff.webp">中存在量词是在全称量词的辖城内,我们允许所存在的x可能依赖于y值.令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x这种函数叫做( )A. Skolem 函数B. 依赖函数C. 决定函数D. 多元函数
题目2单选题
下列那个不是子句的特点A. 子句间是没有析取词的B. 子句间是没有合取词的C. 子句中可以有析取词D. 子句通过合取词连接句子
题目3单选题
子句<img src="https://tihai-oss-cloud.itihey.com/img/c71203fec10f06826c6bd8f26b9b24fa.webp">和P经过消解以后,得到( )A. ~QB. QC. ~PD. P
题目4单选题
已知谓词公式<img src="https://tihai-oss-cloud.itihey.com/img/d128e0b2532af17b39fb032cb0230def.webp">将其化为子句集的结果正确的是A. <img src="https://tihai-oss-cloud.itihey.com/img/26c9d2d4fcb0fe133b4e0dc99231e523.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/d6c28b3ff42ccf13c2191815752d3b4f.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/39cd7c53b92617170e1e89bf85b91bdd.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/26bf2ab3418f17a5ad0df170b949bd6b.webp">
题目5单选题
‎化子句集的步骤不包括以下哪个选项A. 把目标的否定化成子句式,并用重言式表示B. 消去存在量词C. 把母式化为合取范式D. 化为前束形
题目6单选题
在谓词公式中,连接词的优先级别从高到低排列是( )A. ﹁,∨, ∧, →B. ∧,∨,﹁,→C. ﹁, ∧, ∨,, →D. ﹁, ∧, ∨, →
题目7单选题
谓词公式G是不可满足的,当且仅当对所有的解释( )A. G都为真B. G都为假C. G有时为假有时为真D. G可为真也可为假
题目8多选题
已知<img src="https://tihai-oss-cloud.itihey.com/img/3721cec100d7f990225810b50f82a50b.webp">,<img src="https://tihai-oss-cloud.itihey.com/img/e2847a583fcec11ccbc0760dd325d122.webp">, G为F的逻辑结论,将F与~G化子句集后,子句集中含有的子句包括( )A. <img src="https://tihai-oss-cloud.itihey.com/img/60b4aaebdd8aac3b2cefaa2f23de3654.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/92a9acf5a1b2e6c0e5c4319b317457ea.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/ce38c1d9dd97a53ca9c5a989b3a709a3.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/a4c4185df307354a7bf92e4c028bdd59.webp">
题目9多选题
下列( )是谓词公式.‌A. ~P(x)B. P(x)C. P(x)→Q(x)D. D.P(x)+Q(x)→R(x)
题目10多选题
以下关于归结原理叙述不正确的有()A. "文字"与"文字的非"结合后成为空子句B. 空子句是可满足的C. 文字的析取构成子句D. 转换合取范式时,存在量词可直接去掉
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
