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

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. 请用谓词演算公式和语义网络表示下列句子：

（1）长沙是个美丽的城市，但它不是一个沿海城市.

（2）A computer system is intelligent if it can perform a task which, if performed by a human, requires intelligence.

注意：多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。

解：（1）长沙..

B(X) means X is Beautiful

C(X) means X is coastal

ISA(Changsha, City) ∧ B(Changsha) ∧ ~C(Changsha)

（2）Computer..

①分析句子组成

X is intelligent ——ITG(x)

X can perform Y——PFM(X,Y)

X requires intelligence ——RQU(X)

X is a computer system——CMP(X)

X is a human——HMA(X)

X is a task——TASK(x)

②由上不妨设定变量X ~ Computer System;Y ~ Human;Z ~ Task

则∀X{∃Y∃Z(CMP(X)∧HMA(Y)∧TASK(Z)∧PFM(X,Z)∧RQU(Z)∧PFM(Y,Z)) → ITG(X)}

5.用语言网络表示下列信息：

（1）李三是思源公司的经理，他35岁，住在飞天胡同68号。

（2）All branch managers of DEC participate in a profit-sharing plan。

解：（1）李三..

（2）All branch managers..

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

人工智能：第二章知识表示方法
第二章知识表示方法教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示.知识推理.知识应用)之一,也是学习人工智能其他内容的基础. 教学重点:状态空间法.问题归约法.谓词逻辑法. ...
人工智能原理笔记------知识表示方法
人工智能原理笔记------知识表示方法知识表示知识表示方法非结构化方法谓词逻辑表示法命题真值论域(个体域) 谓词函数谓词逻辑组成连接词约束量词谓词公式谓词逻辑表示步骤产生 ...
《人工智能》之《知识表示方法》
教材:<人工智能及其应用>,蔡自兴等,2016m清华大学出版社(第5版) 参考书: <人工智能>之<知识表示方法> 1 状态空间法(State Space Repr ...
计算机表示法是知识表示法么,知识表示方法比较.pdf
知识表示方法比较.pdf 计算机系统应用 http://Ⅵw．c-s．a．o唱．cn 20lO年第20卷第3期知识表示方法比较① 刘建炜,燕路峰 (中南大学湘雅医学院医药信息系,长沙410013) ...
人工智能——知识表示（部分）
概述知识是人们在改造客观世界的实践中积累起来的认识和经验. 常见的知识分类如下: 事实性知识也称叙述性知识,常以"--是--"形式出现. 过程性知识:用来描述问题求解过程所需的操 ...
构建一阶谓词逻辑和有限域上多项式方程的同构
构建一阶谓词逻辑和有限域上多项式方程的同构基于命题逻辑的布尔可满足SAT存在描述能力弱.抽象层次低.求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT(或称之为FOLMS问题:一阶逻辑的可满足 ...
从零学习知识图谱——04（常见知识库及知识图谱的知识表示方法）
知识库 Cyc Cyc 是持续时间最久,影响范围较广,争议也较多的知识库项目.Cyc 知识库的知识表示框架主要由术语 Terms 和断言 Assertions 组成.Terms 包含概念.关系和实体的 ...
1.人工智能早期知识表示方法
1.一阶谓词逻辑[一阶逻辑] 原子公式:图灵奖得主(x) x是变量图灵奖得主是一元谓词 2.霍恩逻辑与霍恩子句文字:原子谓词公式及其否定称为文字 P(x),Q(x) 子句:任何文字的析取式称为子 ...
人工智能实验报告牧师与野人渡河知识表示方法
牧师与野人渡河问题编译环境 Dev C++ 5.6.1 windows 10 实验要求实验代码 #include<cstdio> #include<queue> #incl ...

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

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

最新文章

热门文章

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

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

最新文章

热门文章

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

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