《人工智能》随堂小测验B.doc

上传人:顺腾 文档编号:5135985 上传时间:2020-12-04 格式:DOC 页数:3 大小:74.26KB
下载 相关 举报
《人工智能》随堂小测验B.doc_第1页
第1页 / 共3页
《人工智能》随堂小测验B.doc_第2页
第2页 / 共3页
《人工智能》随堂小测验B.doc_第3页
第3页 / 共3页
亲,该文档总共3页,全部预览完了,如果喜欢就下载吧!
资源描述

.1、证明G是否是F1、F2的逻辑结论;F1:x(P(x) (Q(x) R(x)F2:$x(P(x) S(x)G: $x(S(x) R(x)2、用语义网络表示下列信息:(1)胡途是思源公司的经理,他35岁,住在飞天胡同68号(2)清华大学与北京大学进行蓝球比赛,最后以89:102的比分结束。 3、用一个语义网络表示下列命题。(1) 我是一个人(2) 我有一台计算机(3) 我的计算机是PC/PIV1.8G(4) PC机是计算机(5) PC/PIV1.8G是PC机(6) PC/PIV1.8G包括硬盘、显示器、CPU、内存。4、利用谓词逻辑表示下列知识(包括已知和结论),然后化成子句集: (1)凡是干净的东西就有人喜欢; (2)人们都不喜欢老鼠 求证:老鼠是不干净的。5、设有下列语句,请用相应的谓词公式把它们表示出来: 1) 有的人喜欢足球,有的人喜欢排球,有的人既喜欢足球又喜欢排球。2) 不是每一个人都喜欢游泳。3) 如果没有利息,那么就没有人去储蓄钱。4) 对于所有

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 实用文档资料库 > 表格模板

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。