人工智能 第43页

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

本文概述 不确定 不确定原因 概率推理 条件概率 不确定 到目前为止，我们已经确定地使用了一阶逻辑和命题逻辑学习了知识表示，这意味着我们对谓词有把握。用这种知识表示，我们可以写成A→B，这意味着如果A为真，那么B为真，但是考虑一种情况，即我...

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

人工智能中的推理有两种重要形式，即归纳推理和演绎推理。两种推理形式都有前提和结论，但是两种推理相互矛盾。以下是归纳和演绎推理之间的比较列表： 演绎推理使用可用的事实，信息或知识来得出有效的结论，而演绎推理则涉及根据特定的事实和观察进行概括。...

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

本文概述 推理 推理类型 在先前的主题中，我们学习了人工智能中知识表示的各种方法。现在，我们将学习使用不同的逻辑方案根据这些知识进行推理的各种方法。 推理 推理是从逻辑上得出结论并根据可用的知识，事实和信念做出预测的心理过程。或者我们可以说...

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

本文概述 推理机 A.前向链接 前向链证明 B.向后链接 向后证明 在人工智能中，正向和反向链接是重要的主题之一，但是在理解正向和反向链接之前，首先要了解这两个术语的来源。 推理机 推理引擎是人工智能中智能系统的组件，该引擎将逻辑规则应用于...

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

以下是正向链接和反向链接之间的区别： 顾名思义，前向链接从已知事实开始，然后通过应用推理规则来提取更多数据，然后继续前进直到到达目标为止；而后向链接从目标开始，通过使用推理规则确定后退链接满足目标的事实。 前向链接称为数据驱动的推理技术，而...

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

本文概述 解析度 解释推断规则 解决步骤 解释图的说明 解析度 解析是一种定理证明技术，通过建立反驳证明（即，矛盾证明）来进行。它是由数学家John Alan Robinson于1965年发明的。 如果给出各种陈述，则使用解决方案，我们需要...

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

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

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

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

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

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

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

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