srcmini

2020-02-13半瓶木阅读(1136)评论(0)赞(0)

本文概述 统一条件 统一算法 算法的实现 统一是通过查找替换使两个不同的逻辑原子表达式相同的过程。统一取决于替换过程。 它使用两个文字作为输入，并使用替换使它们相同。 令Ψ1和be2是两个原子语句，????是一个统一符，使得Ψ1???? =...

2020-02-13半瓶木阅读(1485)评论(0)赞(0)

本文概述 量词的FOL推理规则 广义模态规则 一阶逻辑推理用于从现有句子中推断出新事实或句子。在理解FOL推理规则之前，让我们了解FOL中使用的一些基本术语。 代换： 替代是对术语和公式执行的基本操作。它以一阶逻辑出现在所有推理系统中。在F...

2020-02-13半瓶木阅读(1210)评论(0)赞(0)

本文概述 什么是知识工程？ 知识工程过程 什么是知识工程？ 用一阶逻辑构造知识库的过程称为知识工程。在知识工程中，研究特定领域，学习该领域的重要概念并生成对象的形式表示的人称为知识工程师。 在本主题中，我们将了解已经熟悉的电子电路领域的知识...

2020-02-13半瓶木阅读(2594)评论(0)赞(3)

本文概述 一阶逻辑 一阶逻辑的语法 一阶逻辑中的量词 存在量词 要记住的要点 量词的性质 自由和绑定变量 在命题逻辑的主题中，我们已经看到了如何使用命题逻辑表示语句。但是不幸的是，在命题逻辑中，我们只能代表事实，无论是对还是错。 PL不足以...

2020-02-13半瓶木阅读(3847)评论(0)赞(0)

本文概述 证明Wumpus在房间里（1、3） 与上一主题一样，我们了解了wumpus世界以及基于知识的代理如何发展世界。现在，在本主题中，我们将为wumpus世界创建一个知识库，并使用命题逻辑为wumpus世界获得一些证明。 代理开始从第一...

2020-02-13半瓶木阅读(6414)评论(0)赞(5)

本文概述 乌鸦世界 PEAS对Wumpus世界的描述 乌普普斯世界酒店 探索Wumpus世界 乌鸦世界 Wumpus世界是一个简单的世界示例，用于说明基于知识的代理的价值并表示知识表示。它的灵感来自于1973年格里高里·尤布（Gregory...

2020-02-13半瓶木阅读(2245)评论(0)赞(0)

本文概述 推理 推理规则 推理规则的类型 推理 在人工智能中，我们需要能够根据旧逻辑或证据创建新逻辑的智能计算机，因此从证据和事实中得出结论称为推理。 推理规则 推理规则是用于生成有效参数的模板。推理规则应用于人工智能中的证明，证明是得出预...

2020-02-13半瓶木阅读(2868)评论(0)赞(1)

本文概述 逻辑连接词 真相表 命题逻辑（PL）是逻辑的最简单形式，其中所有陈述都是由命题构成的。命题是一个陈述性陈述，它是对还是错。它是一种逻辑和数学形式的知识表示技术。 例： 以下是有关命题逻辑的一些基本事实： 命题逻辑也称为布尔逻辑，因...

2020-02-13半瓶木阅读(1303)评论(0)赞(0)

本文概述 1.逻辑表示 2.语义网络表示 3.框架表示 4.生产规则 知识表示主要有以下四种方式： 逻辑表示 语义网络表示 框架表示 生产规则 1.逻辑表示 逻辑表示是一种具有一些具体规则的语言，它处理命题并且在表示上没有歧义。逻辑表示意味...

2020-02-13半瓶木阅读(2584)评论(0)赞(0)

本文概述 代表什么 知识类型 知识与智力之间的关系 AI知识周期 知识表示方法 知识表示系统的要求 人类最擅长理解，推理和解释知识。人类知道事物，这是知识，根据他们的知识，他们在现实世界中执行各种动作。但是机器如何做所有这些事情都取决于知识...