归纳

递归（计算机科学）在计算机科学中，递归是一种解决计算问题的方法，其中的解决方案取决于同一问题的较小实例的解决方案。 递归通过使用从自己的代码中调用自...

归纳概率归纳概率试图在过去事件的基础上给出未来事件的概率。它是归纳推理的基础，并为学习和感知模式提供了数学基础。它是一个关于世界的知识来源。知识的...

归纳偏见一个学习算法的归纳偏见（也称为学习偏见）是学习者用来预测它没有遇到过的给定输入的输出的一组假设。在机器学习中，人们旨在构建能够学习预测某个...

规则提取系统家族规则提取系统（RULES）家族是一个归纳学习的家族，包括几个覆盖算法。这个系列被用来建立基于给定观察的预测模型。它的工作原理是基于分离与...

简介归纳编程（IP）是自动编程的一个特殊领域，涵盖了来自人工智能和编程的研究，它解决了从不完整的规格，如输入/输出实例或约束条件，学习典型的陈述性（逻...

简介在哲学逻辑中，可抗辩推理是一种在理性上令人信服的推理，尽管在演绎上并不有效。它通常发生在给出一个规则的情况下，但该规则可能有特定的例外，或受制...

归纳类型在类型理论中，如果一个系统具有从创建该类型的常量和函数中创建新类型的设施，那么它就具有归纳类型。该功能的作用类似于编程语言中的数据结构，并...

简介在数理逻辑和计算机科学中，构造微积分（CoC）是ThierryCoquand创建的一种类型理论。它既可以作为一种类型化的编程语言，也可以作为数学的构造基础。基于...

简介结构性归纳法是一种证明方法，用于数理逻辑（例如，在证明Łoś'定理）、计算机科学、图论和其他一些数学领域。它是对自然数的数学归纳法的概括，并可进一...

归纳法概述在计算机科学中，协同归纳是一种定义和证明并发互动对象系统属性的技术。协同归纳是结构归纳的数学对偶。协同归纳定义的类型被称为codata，通常是...

归纳逻辑编程归纳逻辑编程（ALP）是一个高级知识表示框架，可用于基于归纳推理以声明方式解决问题。它通过允许某些谓词未完全定义来扩展常规逻辑编程。解决问...

璨佳文化简介璨佳文化传播有限公司主营事务：活动策划：会务会议 典礼庆典 商业巡展 展览展现 婚礼策划 比赛活动表演生意：舞蹈表演 音乐表演 鼓乐表演 掌管...