人工智能 知识表示方法：谓词逻辑和语义网络 题目练习

1. 下列说话正确的是（  ）

A 置换可以交换                     B 公式集可以合一 

C 语义网络是知识的图解表示  D “时间”是春天的实例

解：C 解析：置换具有不可交换性，即s1s2 ≠ s2s1, A错误；对于公式集F={F1,F2,…,Fn}，只有满足存在一个代换λ使得 F1λ = F2λ = … = Fnλ时，才称公式集F合一，B错误；语义网络是通过概念及其语义关系来表示知识的一种网络图，C正确；时间和春天之间没有实例关系，D错误。

2.假设P为真，Q为假，下列公式为真的是（  ）

A P∨Q       B P∧Q     C P→Q     D ~P

解：A

3.下列等价关系不成立的是（   ）

A  ~(~P) 等价于P                        B  P∨Q等价于~ P→Q

C ~ (P∨Q)等价于~ P∧ ~ Q         D P→Q等价于~ P→ ~ Q 

解析：逆否律使用错误，应该改为

4. 请用 谓词演算公式和语义网