人工智能-知识推理

文章介绍了基于知识的Agent的核心——知识库KB,以及如何使用TELL和ASK方法处理信息。讨论了命题逻辑和一阶逻辑的概念,包括原子语句、逻辑等价、有效性和可满足性。重点讲述了推理规则,如归结算法,以及前向链接和后向链接算法在推理过程中的应用。文章还涉及了一阶逻辑的合取范式转换和归结过程,并给出了两个谓词推理题目作为示例。
摘要由CSDN通过智能技术生成

本章可以回忆下离散中的内容,直接看最后的两个期末题↓。

1.基于知识的Agent

基于知识的Agent的核心是知识库KB,知识库中的有些语句是直接给定的而不是推导得到的为公理。基于知识的Agent使用TELL方法将新的语句添加到知识库,使用ASK询问来查询目前所知内容。每次ASK时应遵循知识库的内容。

基于知识的Agent需要使用逻辑推理来完成TELL和ASK这两个任务。下面是逻辑相关的一些定义:

  • 语义:定义句子的含义

  • 模型:模型表示可能世界,例如x+y=4,可能模型是x和y的所有可能赋值

  • 逻辑蕴含:若在使a为真的每个模型中,b也为真,则a|b

2.命题逻辑

符号主义人工智能是人工智能研究的一种学派。符号主义人工智能基于如下假设:可通过逻辑方法来对符号及其关系进行计算,实现逻辑推理,辨析符号所描述内容是否正确。

命题逻辑是形式化规则对以符号表示的描述性陈述进行推理的系统。相关的定义如下:

  • 原子语句:由单个命题词组成,每个命题词代表一个为真或假的命题

  • 任何一个命题或为真,或为假

  • 命题联结词

  • 逻辑等价:如果两个语句在同样的模型中为真,则是逻辑等价的,他们互相蕴含

  • 有效性:如果一个语句在所有的模型中都为真,则它是有效的

  • 可满足性:如果一个语句在某一个模型中为真,那么这个语句是可满足的,如果一个语句在任何一个模型中都不为真,则该语句是不可满足的

推理规则

命题逻辑中的推理规则主要有以下几条:

应用推理规则

在归结算法中,常用已有的命题进行推理,添加新的假设到已有命题中,然后继续推理,直到得到特定结果,这和搜索的过程类似。已有的命题在知识库(KB)中,已知为真,因此常将这些命题进行合取,产生一个合取范式。对于一个KB,新的假设为α,尝试证明KB蕴含α,如果可以证明,就将α加入KB,继续推理(搜索)。证明方式如下:

  • 计算KB的合取范式,与¬α合取,得到KB∧¬α

  • 对KB∧¬α进行消解,直到消解到合取范式中包含¬α和α,证明该式永假,因此KB∧¬α不可满足,KB蕴含α得证

前向链接算法与后向链接算法

  • 前向链接算法:从知识库的已知事实出发,如果蕴涵式的所有前提已知,那么就把结论添加到已知事实集

  • 反向链接算法:从查询Q开始从往前推导,已知推导目标,假定前提为真,如果前提与已知事实符合,则算法结束

前向链接是数据驱动的,会执行许多与目标无关的推导,反向推导是目标驱动的,复杂度通常要少于知识库的推导法则大小。

3.一阶逻辑(谓词逻辑)

谓词逻辑中,命题分解为个体,谓词,量词,基本元素为对象,关系,函数

 一阶逻辑进行归结,要求语句必须是合取范式(CNF)。

一阶逻辑的合取范式

将一阶逻辑式转换为合取范式的过程如下:

  • 消除蕴含词

  • 将¬内移

  • 变量标准化:重名变量改名

  • 消除存在量词:不受其他量词限定的直接替换为常量,否则替换为F(x),例如:

    • ∃x∀yP(x,y) 去除存在量词为 ∀yP(C, y)

    • ∀y∃xP(x,y) 去除存在量词为 ∀yP(F(y), y),假设原意是对于任意y都有x,如果x换成常量,语义就变成了对于任意y都有同一个常量c,然而实际语义中每一个y都可以有不同的x,例如原意为任意一个人都存在喜欢的动物,如果将动物x换成常量喵,语义就变为了任意一个人都喜欢猫,这是不正确的,因此要把x替换为f(y),表示任意一个人都喜欢一种动物(这种动物与具体的y有关)。

  • 删除全称量词:直接删除

  • 将∧分配到∨中

一阶逻辑的归结

将KB中的谓词逻辑公式转换为CNF,假设证明目标为A,将KB中的CNF与¬A消解,直到消解为空。


谓词推理题1

 谓词推理题2

a)把下列表达式转换为CNF形式(10)

b)把下列语句用一阶逻辑语句表示出来,并使用归结算法对结论进行证明.10分)

任何一个人如果通过了考试(pass exam)并且中了彩票(win a lottery)那么他是开心的(happy);任何人如果他是刻苦学习的(study hard)或者他是幸运的(lucky)那么他将通过考试;任何人如果他是幸运的那么他将中彩票;Jame是幸运的但他不刻苦学习;因此,Jame是开心的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值