人工智能：一种现代方法学习笔记（第七章）——逻辑Agent

最新推荐文章于 2024-05-29 15:41:38 发布
最新推荐文章于 2024-05-29 15:41:38 发布
阅读量950 收藏 8
点赞数 1
分类专栏： 人工智能：一种现代方法学习笔记
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44972129/article/details/109194569
版权

基于知识的Agent

基于知识的Agent的核心部件是知识库(KB)，知识库是一个语句集合，这些语句用知识表示语言表达，表示了关于世界的某些断言
当某些语句是直接给定的而不是推理的叫做公理，由公理推导出来的叫做定理。

知识库的两个基本操作： Tell(将新语句添加到知识库) 和 Ask(查询目前所知的内容)
在这里插入图片描述
在这里插入图片描述

逻辑

在这里插入图片描述
在这里插入图片描述
模型检验： 通过枚举所有可能为真的模型来检验KB为真的情况下α都为真
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

命题逻辑

语法

命题逻辑的语法定义合法语句，原子语句由单个命题词组成，每个命题词代表一个或为真或为假的命题，一般用大写字母表示命题词，如：P,Q,R
有两个命题词有固定的含义： TRUE是永真命题， FALSE是永假命题

复合句由简单语句用括号和逻辑连接词构成
在这里插入图片描述

语义

在这里插入图片描述
在这里插入图片描述

模型

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

蕴含

在这里插入图片描述

逻辑等价

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

证明方法

  1. 模型检验
  2. 逻辑等价
  3. 推理规则

在这里插入图片描述
一条语句是不可满足的即这条语句等价于false : (如果证明这条语句是不可满足的就是证明这条语句是false)
一条语句是可满足的即这条语句等价于true

模型检验

在这里插入图片描述
模型检验说白了就是穷举法，列各个变量的真值表，看这条语句的true 和 false

在这里插入图片描述
在这里插入图片描述

逻辑等价

在这里插入图片描述
在这里插入图片描述

推理规则

利用旧的语句推出新的语句
在这里插入图片描述
在这里插入图片描述

形式化为一个搜索问题

在这里插入图片描述

子句与CNF

子句： 就是所有变量之间全为析取关系
CNF: 主合取范式
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

归结原则

在这里插入图片描述

实例

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

HORN子句与限定字句

在这里插入图片描述
在这里插入图片描述

新城里的旧少年^_^
关注
  • 1
    点赞
  • 踩
  • 8
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
case when then else_SQL高级知识——CASE的用法
weixin_39631932的博客
11-21 1293
CASE函数的类型CASE具有两种格式，简单CASE函数和CASE搜索函数。这两种方式，大部分情况下可以实现相同的功能。简单CASE函数语法CASE column WHEN THEN value WHEN THEN value......ELSE value END示例CASE sex WHEN '1' THEN '男' WHEN '2' THEN '女'ELSE '其他' ENDCASE搜索...
Python学习笔记_9：class 类定义的属性与方法——详解
12-22
对很多没有其他语言基础的初学者来说，可能学到 python 的类定义的时候会苦恼很久 ...方法名()” 引用或使用相关的属性或方法 >>> class I: def text(self,x): print('%d'%(x**2)) >>> O = I() >>> O.text <bou
人工智能 一种现代方法 第7章 逻辑Agent（命题逻辑）
知行合一，止于至善
07-10 7556
文章目录KBA(Knowledge based agent)与逻辑KBAWumpus世界知识库KB的完备性、可靠性命题逻辑：一种简单逻辑语法语义区分⇒和╞命题逻辑定理的证明推导和证明归结证明（只针对文字的析取式：子句）单元归结全归结合取范式CNF析取范式DNF归结算法-如何证明蕴含(归结演绎推理)╞horn子句和限定子句命题逻辑的前向链接和反向链接前向链接反向链接总结资源分享 基于知识的Agent...
人工智能 ：一种现代的方法 第七章 逻辑智能体
weixin_61197809的博客
11-14 1233
KBA（knowledge based agent）与逻辑模型，有效性，可满足性，蕴含，推理过程如何证明KB蕴含a（模型检验，逻辑等价，推理规则）基于命题逻辑的Agent如何工作的。
AI知识库和Agent简介及实现
最新发布
2401_84495872的博客
05-29 888
AI知识库（Knowledge Base）是一个系统化的信息存储结构，旨在支持知识管理和推理。信息存储：通过结构化和非结构化数据的存储，知识库能够保存大量的信息，供企业内部共享和使用。知识推理：利用逻辑推理和机器学习算法，知识库可以从已有的信息中推导出新的知识，支持决策和业务优化。知识检索：高效地检索和查询相关信息，以支持员工和系统的需求，提高工作效率。智能代理（Agent）是一种能够自主执行任务的软件实体。它可以感知环境、进行决策并采取行动。
《人工智能 一种现代方法》第三版 第7章 逻辑 Agent 笔记摘录
刘莹慧的专栏
10-18 704
第7章 逻辑 Agent 基于只是的Agent 基于知识的Agent的核心部件事知识库（KB） Wumpus世界：P200 很好理解，不做笔记 逻辑 知识库由语句构成：根据表示预言的语法来表达这些语句，语法是为所有合法语句给出规范。 语言的语义：定义每个语句再每个可能世界的真值。 用术语模型取代“可能世界”：...
AI | 逻辑Agent
Joselynzhao
04-23 473
逻辑Agent1 基于知识的Agent 逻辑是作为支持基于知识的Agent 的一类通用表示。 1 基于知识的Agent 基于知识的Agent 的核心部件是其知识库，称为KB。 知识库是一个语句集合，这些语句有知识表示语言表达。 当语句是直接给定而不是推导出来得到的时候，我们将其称为公理。 将新语句添加到知识库以及查询目前所知内容的方法： TELL（告诉） ASK （询问） //不能说假话 这两...
人工智能实践：TensorFlow笔记学习（一）——人工智能概述.pdf
02-27
人工智能（Artificial Intelligence，AI）是一种模拟人类智能的科学技术，旨在构建能够像人一样思考、理解和解决问题的机器。这一领域的起源可以追溯到20世纪中叶，特别是艾伦·麦席森·图灵提出的“图灵测试”，它...
计算机视觉入门学习笔记（一）——环境搭建 计算机视觉.pdf
04-21
计算机视觉入门学习笔记（一）——环境搭建 计算机视觉是一种交叉学科，涉及计算机科学、数学、图像处理、机器学习等领域。计算机视觉的应用非常广泛，如图像识别、目标检测、图像分割、人脸识别等。为了入门学习...
学习笔记（一）——邂逅Vuejs
01-08
1 为什么学习Vuejs？ 前端必备技能，目前非常火，当然最重要的还是提升自己 2.简单认识一下Vuejs Vue是一个渐进式框架，可以将Vue作为应用的一部分嵌入其中，带来更丰富的交互体验 特点：解耦视图和数据，可复用的...
JAVA学习笔记第七天——示例代码Day07
07-19
在"JAVA学习笔记第七天——示例代码Day07"的压缩包中，你可以找到相关的示例代码，包括这些概念的实际应用。通过阅读和实践这些代码，你将更深入地理解访问修饰符、final关键字、接口以及接口和类的关系在实际编程中...
【人工智能】— 逻辑Agent、一般逻辑、Entailment 蕴涵、命题逻辑、前向链接、反向链接、Resolution归结
我们都是被分成两半的人，一边热爱生活，一边憎恨生活。面对生活，我们总是在矛盾的两端摇摆，在反复的矛盾和犹豫中，一边踉跄前行，一边重振旗鼓。我渴望改变，渴望变得更好，渴望找到出口……就像一个溺水人的挣扎，就像一个救生圈。我是一个矛盾集合体，想要变得快乐，但是
04-15 2015
合取范式（CNF）是一个逻辑学术语，它表示为文字的析取式的合取式，其中每个文字都是一个变量或者它的否定形式，而每个合取项都是由一个或多个文字的析取组成的，这些合取项被称为clauses。逻辑中的关键概念之一是蕴涵，它指的是两个命题之间的关系，其中一个命题逻辑上可以推导出另一个命题。蕴涵表示一个语句逻辑上跟随另一个语句而出现，即如果一个语句A蕴涵另一个语句B，那么当A为真时，B也必须为真。这种蕴涵关系可以用$KB |= α $来表示，其中KB是一个知识库，sentence α是一个语句。
人工智能导论实训 第七章 逻辑Agent
zumhui的博客
11-16 665
任务描述 本关任务：学习了解逻辑 Agent 相关知识并完成习题。 相关知识 为了完成本关任务，你需要掌握：1. 基于知识的Agent；2. 逻辑；3. 命题逻辑以及定理证明；4. 模型检验。 基于知识的Agent 基于知识 Agent 的核心部件是 知识库（KB）。知识库是一个语句集合，这些语句用知识表示语言表达，还表示了关于世界的某些断言。 知识库的添加：Tell 知识库的查询：Ask Agent要能够： 表示状态，行动等等 引入新的感知信息 更新世界的表示 推导世界的潜在属性 推导正确的行为 逻辑 逻
FPGA学习Verilog第三天
Lurking_studyer的博客
07-16 1028
第五章 条件语句、循环语句、块语句与生成语句 Verilog 中部分语句与C相似，但也有些与C不同，如块语句、生成语句、csesx和casez等，即使将新概念与硬件结构联系起来、 #5.1条件语句（if_else 语句） Verilog HDL语言提供了3种形式的if语句。 （1） if (a > b) out1 = int1; （2）第二种形式 if (a > b)...
verilog always语法_Verilog代码转VHDL代码经验总结
weixin_39519072的博客
11-21 1140
Verilog语言和VHDL语言是两种不同的硬件描述语言，但并非所有人都同时精通两种语言，所以在某些时候，需要把Verilog代码转换为VHDL代码。本文以通用的XHDL工具为例对Verilog转换到VHDL过程中存在的问题进行了总结，欢迎批评指正。当我们刚开始学习FPGA时，一定会遇到一个问题：学习Verilog还是VHDL？等我们学习FPGA到一定程度参加面试时，面试者也会问你一个问...
VHDL设计编程练习(2）
Wayne的CSDN博客
05-13 1406
1、用CASE语句设计3-8译码器，要求:（1）数据类型用STD LOGIC_VECTOR，(2）输入端口名a，输出端口名y，(3）实体名为T2，结构体名为bhv。 LIBRARY IEEE; USE IEEE.STD_LOGIC_1164.ALL; ENTITY T2 IS PORT(a: IN STD_LOGIC_VECTOR(2 DOWNTO 0); y: OUT STD_LOGIC_VECTOR(7 DOWNTO 0)); END T2; ARCHITECTURE bhv OF T2 IS
Verilog基础学习—条件语句
weixin_45057286的博客
07-27 2022
Verilog基础学习—条件语句。
【AI Agent】基础知识
AI_Gump的博客
05-08 179
介绍了Agent的定义综述中也介绍了AI Agent的定义说明。
Verilog 条件语句
luoganttcc的博客
11-24 2965
事例中 if 条件每次执行的语句只有一条，没有使用 begin 与 end 关键字。但如果是 if-if-else 的形式，即便执行语句只有一条，不使用 begin 与 end 关键字也会引起歧义。当然，编译器一般按照就近原则，使 else 与最近的一个 if（例子中第二个 if）相对应。例如下面代码，虽然格式上加以区分，但是 else 对应哪一个 if 条件，是有歧义的。条件语句用关键字 if 和 else 来声明，条件表达式必须在圆括号中。条件（if）语句用于控制执行语句要根据条件判断来确定是否执行。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

新城里的旧少年^_^

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值