完整版人工智能例题大纲.docVIP

  • 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喜

文档评论(0)

1亿VIP精品文档

相关文档