理论-第 3 页-一流百科

感觉线索

感觉线索感觉线索是感知者可以从感觉输入中提取的统计数字或信号，它表明感知者感兴趣的世界的某些属性的状态。线索是对信号中存在的数据的某种组织，它允许...

词条百科

人工心理学

人工心理学人工心理学（AP）有多种含义，可以追溯到19世纪，最近的用法与人工智能（AI）有关。1999年，王志良和谢伦提出了一个基于人工智能的人工心理学理论...

词条百科

计算控制论

计算控制论计算控制论是控制论和计算智能技术的整合。尽管控制论一词在20世纪40年代和50年代进入技术词典，但它在60年代首次作为一个流行名词被非正式地使用...

词条百科

学习的推理理论

学习的推理理论学习的推理理论（ITL）是机器学习的一个领域，它描述了由学习代理执行的推理过程。ITL由RyszardS.Michalski从1980年xxx始不断发展。xxx个已知...

词条百科

归纳概率

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

词条百科

形式化概念分析

简介在信息科学中，形式化概念分析（FCA）是一种从对象及其属性的集合中推导出概念层次结构或形式化本体的原则性方法。层次结构中的每个概念都代表了共享一些...

词条百科

特征整合理论

特征整合理论特征整合理论是AnneTreisman和GarryGelade在1980年提出的一种注意理论，该理论认为在感知刺激时，特征是早期的、自动的、平行的注册，而物体是单...

词条百科

认知架构

认知架构认知架构既指关于人类思维结构的理论，也指在人工智能（AI）和计算认知科学领域使用的这种理论的计算实例。形式化的模型可以用来进一步完善认知的综...

词条百科

小说理论

简介小说理论是一门将可能世界理论应用于文学的学科。小说理论的学者和批评家们已经阐明了植根于索尔-克里普克的模态逻辑在语义学中的应用的各种论点。借鉴可...

词条百科

缺省逻辑

简介缺省逻辑是雷蒙德-赖特提出的一种非单调逻辑，用于将带有缺省假设的推理形式化。默认逻辑可以表达诸如'在默认情况下，某物为真'的事实；相比之下，标准逻...

词条百科

ST类型理论

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

词条百科

多项式向量（类型理论）

多项式向量（类型理论）在类型理论中，多项式向量（或容器向量）是一种类型类别的内向量，与归纳和共轭类型的概念密切相关。具体来说，所有的W类型（resp.M类...

词条百科

新基础

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

词条百科

直觉类型理论

直觉类型理论直觉类型理论（又称构造类型理论，或马丁-勒夫类型理论）是一种类型理论，也是数学的另一种基础。所有的版本都保留了构造逻辑的核心设计，即使用...

词条百科

类型理论的历史

类型理论的历史类型理论最初是为了避免各种形式逻辑和重写系统中的悖论而产生的。后来，类型理论指的是一类形式系统，其中一些可以作为天真的集合理论的替代...

词条百科

类型理论

简介在数学、逻辑学和计算机科学中，类型理论是对特定类型系统的正式表述，一般来说，类型理论是对类型系统的学术研究。一些类型理论作为集合理论的替代品，...

词条百科

身份类型

身份类型在类型理论中，身份类型代表平等的概念。它也被称为命题式平等，以区别于判断式平等。类型理论中的平等性是一个复杂的话题，一直是研究的对象，比如...

词条百科

PBR定理

简介PBR定理是量子基础中的一个禁区定理，由MatthewPusey、JonathanBarrett和TerryRudolph（该定理以其命名）于2012年提出。它对于人们如何解释量子态的性质...

词条百科

网络理论

简介在图论基础上研究网络一般规律和网络流问题各种优化理论和方法的学科，是运筹学的一个分支。网络是用节点和边联结构成的图，表示研究诸对象及其相互关系...

词条百科

集合理论

集合理论门户网站集合理论是数理逻辑的一个分支，研究集合，可以非正式地描述为对象的集合。尽管任何类型的对象都可以被收集到一个集合中，但集合论作为数学...

词条百科

可满足性模数理论

可满足性模数理论在计算机科学和数理逻辑中，可满足性模数理论（SMT）是确定一个数学公式是否可满足的问题。它将布尔可满足性问题（SAT）概括为涉及实数、整...

词条百科

计算机科学中的逻辑学

计算机科学中的逻辑学计算机科学中的逻辑学涵盖了逻辑学领域和计算机科学领域之间的重叠。该主题基本上可以分为三个主要领域。理论基础和分析使用计算机技术...

词条百科

同构类型理论

同构类型理论在数理逻辑和计算机科学中，同构类型理论（HoTT/hɒt/）是指直观类型理论的各种发展路线，其基础是将类型解释为（抽象的）同构理论的直觉所适用的...

词条百科

追踪理论

什么是追踪理论在数学和计算机科学中，追踪理论旨在为并发计算和过程计算的研究提供一个具体的数学基础。这个基础是由自由部分交换单体或轨迹单体的代数定义...

词条百科

承诺理论

承诺理论承诺理论，在信息科学的背景下，是一个个体、自主行为者或xxx之间自愿合作的模型，他们以承诺的形式向彼此公布他们的意图。它是一种标记图论的形式，...

词条百科

制度模式理论

制度模式理论关于社会学中的概念，见制度理论和制度逻辑。在数理逻辑中，制度模型理论将一阶模型理论的很大一部分概括为一个任意的逻辑系统。制度模式理论的...

词条百科

组合优化

组合优化简介类别主题软件网络科学家类别:网络理论类别:图论vte组合优化是数学优化的一个子领域，包括从一个有限的对象集合中找到一个最佳对象，其中可行的解...

词条百科

分类逻辑

分类逻辑概述分类逻辑是数学的一个分支，其中类别理论的工具和概念被应用于数理逻辑的研究。从广义上讲，分类逻辑用一个类别来表示语法和语义，用一个放克来...

词条百科

算法工程

算法工程算法工程专注于计算机算法的设计、分析、实现、优化、剖析和实验评估，弥补了软件工程中算法理论和实际应用之间的差距。它是一种算法研究的一般方法...

词条百科

配体紧密堆积理论

配体紧密堆积理论在化学中，配体紧密堆积理论（LCP理论），有时也称为配体紧密堆积模型，描述了配体-配体排斥力如何影响中心原子周围的几何结构。广泛的分子...

词条百科

1 2 3 4 5 6