什么是自动推理？(automated reasoning?)
自动推理是指计算机或其他机器可以编程来复制人类逻辑推理的结果。这种特定的技术追求是有时被称为人工智能的更大领域的一部分，在这个领域中，开发人员使用复杂的算法和其他资源来模拟人类智能。自动推理的重点是通过计算机实现逻辑结果
人工智能领域的专家可以确定一系列使用自动化进行推理的项目。其中一些更侧重于所谓的有效演绎推理，利用数学产生形式逻辑。这些类型的项目可能包括证明定理或使用特定变量创建相应的逻辑值集。其他类型的自动推理更基于语言或抽象，人类开发人员可能需要向计算机提供特定标记的目标或判断，以便获得有效的结果或决策 .
许多专业人员在自动推理项目中确定了特定的目标。例如，一些算法可能是为了提供医疗诊断，或者在计划、验证或其他任务中编写的，在这些任务中，计算机输入和编程会导致特定的决策驱动逻辑结果。在许多这样的项目中，开发人员致力于扩展这些技术，以便有效地分析现实世界的问题。许多用于推理的自动化应用都属于所谓的决策支持的范畴，其中技术被用于帮助人类在广泛的项目上做出决策。。
自动推理中使用的一些技术在其他类型的技术中也很有用。例如，那些在应用程序中从事推理自动化工作的人通常使用所谓的模糊逻辑，在这种逻辑中，算法基本上将一组广泛的数据点归结为一个更具体、更具体的结果。评估自动推理的方法可以帮助外部观察者了解这些技术应用程序是如何构建的，它们是如何工作的，以及它们对什么有用。
大多数专家都同意，在自动化推理领域还有很多工作要做。未来的项目可能包括通过包括具有自动推理能力的小型芯片，使一系列消费品更加有效的方法。大型应用程序可以为公共行政和其他高级管理领域提供极其重要的方法升级。
- 发表于 2022-01-05 22:08
- 阅读 ( 181 )
- 分类：IT
你可能感兴趣的文章
思考(thinking)和推理(reasoning)的区别
...与推理不同，思考并不总是逻辑的，也不是有意识的。 什么是思考(thinking)？ 思维可以理解为产生思想的心理过程。在哲学、心理学、生物学甚至神经学等学科中，人们都在研究思维过程。有人说，所有人都有思考的能力，尽管...
归纳的(inductive)和演绎推理(deductive reasoning)的区别
...支持或帮助支持结论的命题。 目录 1. 概述和主要区别 2. 什么是归纳推理 3. 什么是演绎推理 4. 并列比较-归纳推理与演绎推理的表格形式 5. 摘要 什么是归纳推理(inductive reasoning)？ 归纳推理是一个逻辑过程，在这种逻辑过程中...
逻辑(logic)和原因(reason)的区别
...研究，而理性则是运用逻辑来理解和判断事物。 逻辑是什么意思？ 逻辑学是对论证形式的系统研究。在逻辑学中，一个有效的论据在其假设和结论之间有一种特定的逻辑支持关系。因此，论证的有效性取决于它的形式，而不是...
如何教机器人写作
...的样子，“即使你自己写程序，也很难知道接下来会发生什么。 “在校报上工作的学生” 艾伦很快就承认了这种方法的局限性。”他说：“有多少故事需要你在几秒钟内写出数千篇文章？”。这是一个特定的利基，但它...
演绎推理(deductive reasoning)和归纳推理(inductive reasoning)的区别
在我们的日常生活中，我们根据自己的推理做出决定，但这是一个根据实际情况而变化的过程。 推理主要是指用不同的思想来创造一个有效的论点，并用来做出决定。因此，可以注意到，主要有两种类型的推理称为演绎推理和...
演绎的(deductive)和归纳的(inductive)的区别
...可能最终无效，因为归纳推理不能保证结论的有效性。 什么是演绎推理(deductive reasoning)？ 演绎推理（自上而下逻辑）与归纳推理（自下而上逻辑）不同，一般从一个或多个一般性陈述或前提出发，得出逻辑结论。如果前提是真...
归纳推理(inductive reasoning)和演绎推理(deductive reasoning)的区别
关键区别：归纳推理，也被称为“自下而上”逻辑，是一种侧重于从具体例子中创建泛化语句的推理。这种类型的推理侧重于可能证明某些事实的具体例子，然后将这些例子转化为广义概念。演绎推理不同于归纳推理，因为演...
在你的mac电脑上实现几乎所有的自动化，不需要编码
...使用这个简单（但功能强大）的工具，不管你需要自动化什么琐碎的任务。这里有一个使用它的快速指南，以及一些让齿轮转动的例子。在automator中创建简单工作流使用Automator最简单的方法之一是创建执行批处理操作的工作流。...
osx自动机概述
...需要在OSX中处理重复性任务的人，都应该阅读一下这个。什么是Automator（它能让你的生活更轻松）[MacDevCenter]
如何ace lsat逻辑推理部分(ace the lsat logical reasoning section)
...接近你的预测。如果他们都不接近，那么你知道你误解了什么，你必须重新评估。 对于强化/弱化问题，你必须确定论点所使用的推理类型，并选择支持或伤害论点的答案。对于结论性问题，您必须选择作者前提支持的答案。...
0 篇文章
