- 28
- 0
- 约1.29万字
- 约 25页
- 2020-07-23 发布于天津
- 举报
用谓词逻辑知识表示方法表示如下知识有人喜欢梅花有人喜欢菊花有人既喜欢梅花又喜欢菊花不是每个计算机系的学生都喜欢在计算机上编程序解定义谓词是人喜欢其中的个体域是梅花菊花将知识用谓词表示为梅花菊花梅花菊花解定义谓词是计算机系学生喜欢编程序使用计算机将知识用谓词表示为请用语义网络表示如下知识高老师从月到月给计算机系的学生讲计算机网络课解判断以下子句集是否为不可满足解采用归结反演存在如下归结树故该子句集为不可满足证明是的逻辑结论证先转化成子句集对进行存在固化有得以下两个子句对有先进行内部合一设合一则有因
1. 用谓词逻辑知识表示方法表示如下知识:
(1) 有人喜欢梅花,有人喜欢菊花,有人既喜欢梅花又喜欢菊花。
(2) 不是每个计算机系的学生都喜欢在计算机上编程序。
解:(1)
定义谓词
P(x):x是人
L(x,y):x喜欢y
其中,y的个体域是{梅花,菊花}。
将知识用谓词表示为:
(?x)(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))
解:(2)
定义谓词
S(x):x是计算机系学生
L(x, pragramming):x喜
您可能关注的文档
最近下载
- 有机磷农药中毒的急救(课件PPT).pptx VIP
- 湖北省第一届人教杯创新教学设计大赛.doc VIP
- 临床医学各类导管种类及护理.pptx VIP
- KORG科音Pa3X用户手册.pdf
- 老年共病管理临床应用专家共识(2025版).docx VIP
- 中医经典大字拼音诵读本-黄帝内经灵枢69(简体).pdf VIP
- 西门子S7-1200 PLC编程及应用(第二版):S7-1200PLC编程指令PPT教学课件.pptx
- 2025重庆江津区华信资产经营(集团)有限公司公开招聘笔试备考题库附答案解析.docx VIP
- 《中国道教(第四卷)(三)》青少年经典文学读本.pdf VIP
- 中华古籍集藏四库别集 青山集(元赵文).pdf VIP
原创力文档

文档评论(0)