登陆题目详情
简答题 证明G是F1、F2、F3的逻辑结论F1:(Vz)(A(z)Λ¬B(z)→(y)(D(z,y)ΛC(y))) F2:(
z)(E(z)ΛA(z)Λ(Vy)(D(z,y)→E(y))) F3:(Vz)(E(z)→B(z)) G:(
z)(E(z)ΛC(z))
学科：人工智能导论
时间：2024-01-01 17:02:05
相关题目
相关作业
题目1简答题
已知: ①能够阅读的都是有文化的.②海豚是没有文化的.③某些海豚是有智能的. 用归结原理证明:某些有智能的并不能阅读题目2简答题
设有如下关系: ①如果x是y的父亲.y又是z的父表,则x是z的祖父.②老李是大李的父亲.③ 大李是小李的父亲. 用归结原理回答:上述人员中谁和谁是祖孙关系题目3简答题
F1:小张(Zhang)在里,则小李(Li)莸云那里. F2:小张在学校里. 用归结原理回答:小李在哪里题目4简答题
把下列谓词公式化为相应的子句集. (Vx)(Vy)(<img src="/ananas/latex/p/9815">z)(P(x,y)→Q(x,y)VR(x,z))题目5简答题
证明G是F1、F2、F3的逻辑结论F1:(Vz)(A(z)Λ¬B(z)→(<img src="https://mooc1.chaoxing.com/ananas/latex/p/9815">y)(D(z,y)ΛC(y))) F2:(<img src="/ananas/latex/p/9815">z)(E(z)ΛA(z)Λ(Vy)(D(z,y)→E(y))) F3:(Vz)(E(z)→B(z)) G:(<img src="https://mooc1.chaoxing.com/ananas/latex/p/9815">z)(E(z)ΛC(z))下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
