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 喜欢编程序
U(x,computer):x 使用计算机
将知识用谓词表示为:
¬ (∀x) (S(x)→L(x, pragramming)∧U(x,computer))
2. 请用语义网络表示如下知识:
高老师从 3 月到 7 月给计算机系的学生讲“计算机网络”课。
解:
3. 判断以下子句集是否为不可满足
{P(x)∨Q(x )∨R(x), ﹁P(y)∨R(y), ﹁ Q(a), ﹁R(b)}
解:采用归结反演,存在如下归结树,故该子句集为不可满足。
4、证明 G 是 F 的逻辑结论
F: (∃x)(∃y)(P(f(x))∧(Q(f(y)))
评论0