什么是自动推理(Automated Reasoning)？

自动推理是指计算机或其他机器可以被编程来复制人类逻辑推理的结果。这种特殊的技术追求是人工智能领域的一部分，开发人员使用复杂的算法和其他资源来模拟人类智能。自动推理的重点是用计算机实现逻辑结果。自动推理是...

自动推理是指计算机或其他机器可以被编程来复制人类逻辑推理的结果。这种特殊的技术追求是人工智能领域的一部分，开发人员使用复杂的算法和其他资源来模拟人类智能。自动推理的重点是用计算机实现逻辑结果。自动推理是指计算机或其他机器可以被编程来复制人类逻辑推理的结果。人工领域的专家智能可以识别一系列使用自动化进行推理的项目。其中一些项目更专注于所谓的有效演绎推理，利用数学产生形式逻辑。这类项目可能包括证明定理或使用特定变量创建相应的逻辑值集。其他类型的项目包括自动化推理更多的是基于语言或抽象的，人类开发人员可能需要为计算机提供明确标记的目标或判断，以获得有效的结果或决策。许多专业人士在自动推理项目中确定特定目标。例如，有些算法可能是为了提供医疗诊断，或者在计划、验证或其他任务中编写的，计算机输入和编程会产生特定的决策驱动逻辑结果。在许多这样的项目中，开发人员致力于扩展这些技术，以便有效地分析现实世界的问题这些用于推理的自动化应用属于所谓的决策支持（decision support）的范畴，在这一类中，技术被用来帮助人们在广泛的项目上做出决策。自动化推理中使用的一些技术在其他类型的技术中也很有用例如，那些致力于应用程序推理自动化的人通常使用所谓的模糊逻辑，算法本质上是将大量的数据点归结为更具体和具体的结果。评估自动推理的方法可以帮助外部观察者了解这些技术应用是如何构建的，它们是如何工作的，以及它们的用途。大多数专家都认为，在自动推理领域的发展还有很多工作要做。未来的项目可能会包括通过包括具有自动推理能力的小型芯片使一系列消费产品更有效的方法。更大的应用程序可以提供公共行政和其他高级别管理领域方法的重大升级

发表于 2020-08-07 09:24
阅读 ( 2868 )
分类：电脑网络

什么是自动推理(Automated Reasoning)？

你可能感兴趣的文章

相关问题

0 条评论

作家榜 »

推荐文章