公理-一流百科

A公理

A公理在数学中，Smale 的公理 A 定义了一类动力系统，这些系统已被广泛研究并且其动力学相对较好地理解。混沌假说证明了此类系统的重要性，该假说指出，“出...

词条百科

资讯统整理论

资讯统整理论信息统计理论 (IIT) 试图提供一个框架，该框架能够解释为什么某些物理系统（例如人脑）是有意识的，为什么它们在特定状态下会以特定方式感受（例...

词条百科

决策论

决策论决策论（或选择理论；不要与选择理论混淆）是应用概率论的一个分支，涉及基于为各种因素分配概率并为结果分配数值结果的决策理论。决策理论的三个分支...

词条百科

可证明性逻辑

可证明性逻辑可证明性逻辑是一种模态逻辑，其中的盒式（或必然性）运算符被解释为'可以证明'。其目的是为了捕捉一个合理的丰富的形式理论的证明谓词的概念，...

词条百科

希尔伯特系统

希尔伯特系统在数学物理学中，希尔伯特系统是一个不经常使用的术语，用于描述由C*代数描述的物理系统。在逻辑学，尤其是数理逻辑学中，希尔伯特系统，有时被...

词条百科

程序的结构合成

程序的结构合成程序的结构合成（SSP）是一种基于命题微积分的（自动）程序合成的特殊形式。更确切地说，它使用直觉逻辑来描述程序的结构，使程序可以由子程序...

词条百科

形势微积分

形势微积分形势微积分是一种逻辑形式主义，用于表示和推理动态领域。形势微积分的概述情境微积分将变化的情景表示为一组一阶逻辑公式。该微积分的基本元素是...

词条百科

否定即失败

简介否定即失败（简称NAF）是逻辑编程中的一个非单调推理规则，用于推导出{displaystyle~p}，取决于推理算法的完整性，从而也取决于形式逻辑系统。取决于推理...

词条百科

框架问题

简介在人工智能领域，框架问题描述了使用一阶逻辑（FOL）来表达世界上的机器人的事实的问题。用传统的FOL来表示机器人的状态需要使用许多公理，这些公理仅仅...

词条百科

ST类型理论

ST类型理论下面的系统是门德尔森(1997,289-293)的ST类型理论。ST相当于罗素的夯实理论加上还原性公理。量化的领域被划分为类型的升序层次，所有的个体都被赋...

词条百科

新基础

什么是新基础在数理逻辑中，新基础（NF）是一种公理集合理论，由威拉德-范-奥曼-奎因设想为《数学原理》中类型理论的简化。奎因在1937年一篇题为《数学逻辑的...

词条百科

不确定性理论

不确定性理论(了解如何以及何时删除此模板信息)不确定性理论是数学的一个分支，基于常态、单调性、自偶性、可数次加性和乘积计量公理。衡量一个事件为真的可...

词条百科

Łukasiewicz逻辑

Łukasiewicz逻辑在数学和哲学中，Łukasiewicz逻辑，是一种非经典的多值逻辑。它属于t-norm模糊逻辑和亚结构逻辑的范畴。换句话说，关于未来的陈述既不是真的...

词条百科

Q0（数学逻辑）

Q0（数学逻辑）Q0是彼得-安德鲁斯（PeterAndrews）对简单类型的羔羊皮微积分的表述，为数学提供了一个可与一阶逻辑加集合论相媲美的基础。它是高阶逻辑的一种...

词条百科

普雷斯堡尔算术

普雷斯堡尔算术普雷斯堡尔算术是自然数加法的一阶理论，为纪念1929年提出的莫伊泽斯-普雷斯堡尔而命名。普雷斯堡尔算术的签名只包含加法运算和平等，完全省略...

词条百科

皮亚诺公理

简介在数理逻辑中，皮亚诺公理，也被称为戴德金-皮亚诺公理或皮亚诺公设，是19世纪意大利数学家朱塞佩-皮亚诺提出的自然数公理。这些公理在一些元数学研究中...

词条百科

罗宾斯代数

罗宾斯代数在抽象代数中，罗宾斯代数是一个包含单一二元运算的代数，通常表示为∨{displaystyle{lor}，以及一个单项运算，通常用∨表示。和一个单项运算，通常...

词条百科

形式系统

什么是形式系统形式系统是一个抽象的结构，用于根据一组规则从公理推断出定理。这些用于从公理进行推理的规则是形式系统的逻辑微积分。形式系统本质上是一个...

词条百科

行动代数

行动代数在代数逻辑中，行动代数是一种代数结构，它既是一个残差半格子，又是一个Kleene代数。它在前者中加入了后者的星形或反相闭合操作，而在后者中加入了...

词条百科