人工智能之知识表示与知识图谱（谓词公式）

已于 2022-08-30 07:57:44 修改
阅读量7.8k 收藏 59
点赞数 9
分类专栏： 人工智能学习笔记 文章标签： 学习
于 2022-08-25 20:50:13 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ShyBee23/article/details/126531755
版权

第二章知识表示与知识图谱

文章目录

一，知识的特征

  1. 相对正确性
  2. 不确定性
    （1）随机性引起的不确定性
    （2）模糊性引起的不确定性
    （3）经验引起的不确定性
    （4）不完全性引起的不确定性
    3.可代表性和可利用性

二，一阶谓词逻辑表示法（重点）

1. 谓词：P（x1,x2,x3…xn）

个体 x1,x2…xn：某个独立存在的事物或者某个抽象概念
谓词名 P：刻画个体的性质，状态或个体间的关系

（1）个体是常量（一个或者一组指定的个体）

一元谓词：“老张是一个教师”

教师（老张）

二元谓词：“5>3”

Greater（5，3）

三元谓词：“Smith作为一个工程师在IBM工作”

Work（Smith,emgineer,IBM）

（2）个体是变元（变量）

such：“x<5”：

Less（x，5）

（3）个体是函数

such：“小李的父亲是教师”：

Teacher（father（Li））

（4）个体是谓词

such：“Smith作为一个工程师在IBM工作”：

Work（engineer（Smith），IBM）

三，谓词公式

1.连接词

（1）“¬”：非

such：“二号机器人不在二号房间”

 ¬inroom(robot2,room2)

（2）“∨”：或

such：“李鹏打篮球或踢足球”

Plays（Li，basketball）∨ Plays（Li，football）

（3）“^”：与

such：我喜欢画画和游泳

Like（I，painting）^ Like（I，swiming）

（4）“→”：“蕴含”或“条件”

such：如果李华跑得快，那就会拿到冠军

Runs（Li，fast）→Get（Li，champion）

连接词的优先级

在这里插入图片描述

什么是谓词公式

单个谓词是谓词公式，称为原子谓词公式。
通过连接词连接谓词公式的也是谓词公式。

例题

例1：小王比他的父亲高
解:	设:	Higher(x，y)：x比y高	, Wang：小王 , LaoWang：小王的父亲
	Higher(Wang，LaoWang)
	因为：无法显示个体之间的依赖关系
	所以：定义函数
	father(Wang)=Wang的父亲
	综上所述：Higher(Wang， father(Wang))

例2：如果Jones制造了一个传感器，且这个传感器不能用，那么他或者在晚上进行维修，或者第二天吧它交给工程师。表示为

在这里插入图片描述

2.量词

（1）全称量词

符号表示：在这里插入图片描述
表示的意义：对个体域中的所有个体x
such：所有的机器人都是灰色的（用谓词公式表示）
谓词定义：
ROBOT(x):x是机器人
COLOR(x,y):x的颜色是y
在这里插入图片描述

（2）存在量词

符号表示：在这里插入图片描述
表示的意义：在个体域中存在个体x
such：1号房间有个物体（用谓词公式表示）
谓词定义：
INROOM(x,y):y房间有x
在这里插入图片描述

全称量词和存在量词的举例

F（x，y）：x有朋友y

such 1 ：
在这里插入图片描述
谓词公式表示的含义：在个体域中所有的x，都在y的个体域中的y是朋友。
用一个现实中的例子来举例，假设x代表一班的同学，y代表二班的同学，其中x的个体域是一班，y的个体域是二班。
那么谓词公式表示的含义：一班的所有同学在二班都有朋友。
我们也可以用图形的形式来进行理解：（两个圆圈重叠的部分就是朋友）
在这里插入图片描述

such 2 :
在这里插入图片描述
谓词公式表示的含义：在个体域中存在x和个体域中的所有y是朋友。
实际的例子：一班中有同学和二班的所有同学都是朋友。
在这里插入图片描述

such 3 :
在这里插入图片描述
谓词公式表示的含义：在个体域中存在x和个体域中的某些y是朋友。
实际的例子：一班中某些同学和二班的某些同学是朋友。
在这里插入图片描述

such 4 :
在这里插入图片描述
谓词公式表示的含义：在个体域中的所有x都和个体域中的任意一个y是朋友
实际的例子：一班的所有同学和二班的所有同学都是朋友。
在这里插入图片描述

全称量词和存在量词的次序影响着命题的含义

谓词定义
Emplyee(x):x是雇员
Manager(y,x):y是x的经理
在这里插入图片描述
谓词公式的含义：所有的雇员都有一个经理
在这里插入图片描述
谓词公式的含义：存在一个经理是所有雇员的经理

量词的辖域

1.什么是辖域

位于量词后面的单个谓词或者用括弧括起来的谓词公式

2.约束变元

辖域内与量词同名的变元（注意！！！一定是辖域内的）

3.自由变元

不同名的变元

综合以上，举个例子：
在这里插入图片描述
注意！！！注意区分哪个x是自由变元，哪个是约束变元。

4.综合例子练习

如何规范书写

首先定义谓词
再得出谓词公式

⑴ 任何整数或者为正或者为负.

定义谓词：
I(x):x是整数
P(x):x是正数
N(x):x是负数
则谓词公式为：
在这里插入图片描述

(2)我喜爱音乐和绘画.

定义谓词：
LIKE(x,y):x喜欢y
则谓词公式为：
在这里插入图片描述

⑶ 所有机器人都是灰色的.

定义谓词：
R(x):x是机器人
G(x):x是灰色的
则谓词公式为：
在这里插入图片描述

⑷ 如果该书是何平的，那么它是蓝色的.

定义谓词：
BELONG(x,y):x是y的
BULE(x):x是蓝色的
则谓词公式为：
在这里插入图片描述

⑸ 李明打篮球或踢足球。

定义谓词：
PLAY(x,y):x玩y
则谓词公式为：
在这里插入图片描述

(6)有些女同志既是教练员又是运动员

定义谓词：
W(x):x是女同志
J(x):x是教练员
P(x):x是运动员
则谓词公式为：
在这里插入图片描述

码鼠-Toby
关注
专栏目录
【知识图谱】知识表示
风口IT猪的成长录
11-01 2039
【知识图谱】知识表示前言1. 概述知识定义知识分类知识表示知识表示准则2. 一阶谓词逻辑表示法基本概念：命题与联结词基本概念：个体词、谓词与量词 前言 提纲： 概述 一阶谓词逻辑表示法 产生式规则表示法 框架表示法 脚本表示法 语义网表示法 知识图谱中的知识表示 分布式知识表示 本章小结 1. 概述 知识定义 Feigenbaum 知识是经过削减、塑造、解释和转换的信息。简单地说， 知识是经过加工的信息。 Bernstein 知识是由特定领域的描述、关系和过程组成的。 Hayes-Roth
人工智能知识与知识表示
04-08
7. **知识表示的应用**：在人工智能的不同分支如自然语言处理、机器学习、知识图谱、智能推荐系统等中，知识表示都是不可或缺的组成部分，它直接影响着系统的性能和智能水平。 综上所述，人工智能中的知识表示是...
（人工智能）例题解法一（自己理解）谓词公式化为子句集
weixin_55095403的博客
03-31 712
→：称为“蕴涵”或者“条件”。P→Q表示“P蕴涵Q”，即表示“如果P，则Q”。其中，P称为条件的前件，Q称为条件的后件。全称量词（∀x）：表示“对个体域中的所有（或任一个）个体x”。它表示被它连接的两个命题具有“或”关系。﹁：称为“否定”或者“非”。存在量词（ョx）：表示“在个体域中存在个体x”。它表示被它连接的两个命题具有“与”关系。1、谓词的一般形式是：P（x1,x2,...,xn）即由P为真及P→Q为真，可推出Q为真。（1）消去谓词公式中的“→”和“：称为“等价”或“双条件”。表示“P当且仅当Q”。
一阶谓词逻辑表示法
学习日常分享
03-22 1万+
命题 命题（proposition）：一个非真即假的陈述句。 若命题的意义为真，称它的真值为真，记为 T。例如：3<5 若命题的意义为假，称它的真值为假，记为 F。例如：太阳从西边升起 一个命题可在一种条件下为真，在另一种条件下为假。例: 1＋1＝10 命题逻辑：研究命题及命题之间关系的符号逻辑系统。P：北京是中华人民共和国的首都 命题逻辑表示法：无法把它所描述的事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。P：老李是小李的父亲。P：李白是诗人；Q：杜甫也是诗人 谓词 谓词的一.
离散数学 - 谓词公式
PGZXB的博客
08-13 1万+
谓词公式 原子谓词公式定义:   由n原谓词P和n个个体变元x1, x2, …, xn构成的不包含 任何量词和命题联结词的式子P(x1, x2, …, xn )称为原子谓词公式。 谓词公式递归定义: 原子谓词公式P(x)P(x)P(x)是谓词公式; 若P(x)是谓词公式，则∀P(x)\forall P(x)∀P(x)，∃xP(x)\exists xP(x)∃xP(x) 也是谓词公式; 若AAA, BBB是谓词公式，则¬A\neg A¬A ， A∨BA\vee BA∨B, A∧BA\land BA∧B, A
谓词公式
Meskjei的博客
03-17 2万+
谓词公式 单个谓词是谓词公式，称为原子谓词公式 若A是谓词公式，则¬A\lnot A¬A也是谓词公式 若A,B都是谓词公式，则A∧B,A∨B,A→BA \land B, A \lor B, A \to BA∧B,A∨B,A→B也都是谓词公式 若A是谓词公式，则(∀X)A,(∃X)A(\forall X)A,(\exists X)A(∀X)A,(∃X)A也都是谓词公式 有限步应用1~4步所得到的公...
人工智能基础——知识的表示方法，一阶谓词逻辑表示法
HiSi_的博客
09-03 1万+
知识的表示： 就是将人类的知识形式化（符号）或模型化（结构） 这样有利于： 对知识的组织维护与管理。便于对知识的增删改查。 表示方法： 一阶谓词逻辑表示法 命题：非真即假的陈述句。若命题的意义为真，则它的真值为T，否则为F。 一个命题不可以同时为真又为假，但是可以在一种条件下为真，另一种条件下假。 命题逻辑表示有较大的局限性： 无法把它所描述的事物的结构即逻辑特征反映出来。 如”老李是小李的父亲。“用命题逻辑就是一个字母“y”.看不到内部的逻辑结构。 无法把两者共同的特征表示出来。如“李白是诗人”和“杜甫是
【人工智能】人工智能一——知识的表示一阶谓词逻辑&产生式&框架
一拳Marx
11-08 7353
@Toc 谓词 谓词的一般形式: P(x1,x2,...,xn)P(x_1,x_2,...,x_n)P(x1​,x2​,...,xn​) 谓词名P：刻画个体的性质、状态或个体间的关系(谓词是一个整体的概括)。 个体x1,x2,...,xnx_1,x_2,...,x_nx1​,x2​,...,xn​:某个独立存在的事物或者某个抽象概念。 例 （1）个体是常量： （2）个体是变元： （3）个体是函数： （4）个体是谓词 谓词公式 连接词 量词 ...
第6章 知识表示.pdf
11-30
例如，知识图谱是一种广泛应用的知识表示形式，它以图形结构展示实体、属性和关系，有助于理解和挖掘复杂的信息网络。 在6.2部分，可能详细讨论了不同的知识表示技术，包括基于框架的表示、语义网络、本体、脚本...
吉林大学软件学院人工智能原理重点与选择题.pdf
01-03
例如，“所有的人都是会呼吸的”可以表示为一个谓词公式。在AI系统中，谓词逻辑常用于知识表示和推理，解决更复杂的决策问题。 3. 知识图谱推理：知识图谱是一种结构化的知识表示方法，由实体、关系和属性构成。在...
人工智能导论章节重点习题梳理
01-18
第二章 知识表示与知识图谱是人工智能的基础。谓词公式用于形式化表达知识，虽然不单独考查，但可能与第三章内容结合。产⽣式系统是知识表示的一种形式，如P39的动物识别系统，是理解和应用的重点。语义网络是一种...
人工智能期末事项2021-111
08-04
知识表示方法是指将知识表示成计算机可以理解的形式，包括状态空间表示、问题归约表示、谓词逻辑表示、语义网络表示、框架表示和知识图谱等。 状态空间表示是指将问题或任务表示成状态空间，状态空间是指所有可能的...
【离散数学】数理逻辑 第二章 谓词逻辑(2) 谓词公式及其符号化、谓词公式的赋值
memcpy0的博客
10-07 9460
本文属于「离散数学」系列文章之一。这一系列着重于离散数学的学习和应用。由于内容随时可能发生更新变动，欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘。此外，在本系列学习文章中，为了透彻理解数学知识，本人参考了诸多博客、教程、文档、书籍等资料。以下是本文的不完全参考目录，在后续学习中还会逐渐补充： 离散数学及其应用 第七版 Discrete Mathematics and Its Applications 7th ，作者是 Kenneth H.Rosen 离散数学 第二版，武波等编著，西安电子科技大学出.
人工智能导论——谓词公式化为子句集详细步骤
一名在读大学生，正在学习深度学习，会定期分享一些该领域内容。欢迎大家一起交流学习~
02-03 1万+
所谓变量标准化就是重新命名变元，使每个量词采用不同的变元，从而使不同量词的约束变元有不同的名字。这是因为在任一量词辖域内，受到该量词约束的变元为一哑元（虚构变量），它可以在该辖域内被另一个没有出现过的任意变元统一代替，而不改变谓词公式的值。在谓词逻辑中，任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集，从而能够比较容易地判定谓词公式的不可满足性。母式中的变量仍然认为是全称量词量化的变量。对上面的例子，因为只有一个全称量词，而且已经位于公式的最左边，所以，这一步不需要做任何工作。
人工智能导论——知识表示作业
nuojiacoming的博客
06-04 1万+
人工智能知识表示作业，谓词公式，语义网络，框架
人工智能复习题
热门推荐
Bamboo
09-04 2万+
第一章（选择填空） 1.2 人工智能的定义 人工智能：就是用人工的方法在机器（计算机）上实现的智能；或者说，是人们使用机器模拟人类的智能。 1.3 人工智能研究的方法及途径 （1）.研究途径： 第一种观点主张运用计算机科学的方法进行人工智能的研究，通过研究逻辑演绎在计算机上的实现方法，实现人类智能在计算机上的模拟。这种观点称为符号主义。其原理主要为物理符号系统假设和有限合理性原理。 第二种观点主张用仿生学的方法进行研究，通过研究人脑的工作模型，搞清楚人类智能的本质，这种观点称为联结主义。其原..
离散数学学习笔记-03-谓词
weixin_44994838的博客
09-07 1562
谓词的基本概念
离散数学 --- 谓词逻辑 --- 谓词合式公式详解
qq_51947882的博客
09-05 5744
量词分配律中：全称量词只有在合取联结词出现的时候才能够进行分配，而存在量词只有在析取联结词出现的时候才能够进行分配。1.在E35中虽然都有两个变量X，但这是两个不同的变量，只是取了同一个名字而已，我们当然也可以给它们取不同的名字（E36同理）这里面的S是一个不包含个体变量x的谓词公式，所以不受量词辖域管理，所以量词辖域可收缩。1.谓词逻辑是不可判定的，因为我们无法给出它的真值表，即我们无法列出它的所有解释。1.前束范式的一切量词都得在公式的最前端，且这些聚集起来的量词中不能够出现否定词。
地磁传感器（学习笔记下）
最新发布
Gaorui678的博客
10-26 487
读到后的值，最终传入t_sQMC5883L定义的结构体,注意一下这里面的mag_reg数据变量，定义的时候是16位的3个元素，在读寄存器的时候，强制为8位指针变量，读6个字节。然后我们再写一个计算方位角的函数，使用磁力值计算方位角，最简单的方式，只需要一个公式。咱们接着学习笔记上来学习哈，首先，我们编写读取方位角程序，配置好传感器以后，我们就可以读取磁力值了，我们先定义一个结构体类型，用来存放磁力值以及方位角值。在主函数中，qmc5883l初始化以后，每间隔1秒钟计算1次方位角值，然后通过串口发送到终端。
能阅读者是识字的；猴子不识字；有些猴子是很聪明的；可以得出：有些聪明者并不能阅读。问：用谓词公式表示上面的语句；将它们转化为子句集，并给出转化过程；然后用归结原理证明上面的逻辑结论
06-13
谓词公式表示： - 识字（x） - 猴子（x） - 聪明（x） 其中，x 为个体变量，表示“某人”或“某物”。 原始语句表示为： - ∀x (识字(x) → 能阅读(x)) - ∀x (猴子(x) → ¬识字(x)) - ∃x (猴子(x) ∧ 聪明(x)) 推导出结论： - ∃x (聪明(x) ∧ ¬能阅读(x)) 子句集表示： - (¬识字(x), 能阅读(x)) - (猴子(x), ¬能阅读(x)) - (猴子(x), 聪明(x)) 转化过程： - 对每个谓词公式加上量词，得到全称量化的谓词公式。 - 对谓词公式进行否定，得到否定的全称量化的谓词公式。 - 对谓词公式进行合取和析取操作，得到所有的子句。 - 对子句中的变量进行标准化命名，使得每个子句中的变量都不同。 证明过程： - 对于子句集中的每个子句，将其化为 Skolem 标准形。 - 通过归结原理，将子句集中的子句进行归结，直到得到空子句。 - 如果得到空子句，则说明原始语句的逻辑结论成立。
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值