规则-第 2 页-一流百科

关联分类器

关联分类器关联分类器（AC）是一种监督学习模型，使用关联规则来分配目标值。关联分类这一术语是由BingLiu等人创造的，在该术语中，作者定义了一个由规则组成...

词条百科

规则提取系统家族

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

词条百科

RuleML研讨会

RuleML研讨会一年一度的国际网络规则研讨会（RuleML）是一个关于规则技术的研究、应用、语言和标准的国际学术会议。自2017年起，它被组织为国际规则与推理联...

词条百科

可接受的规则

简介在逻辑学中，如果一条推理规则被添加到一个形式系统的现有规则中，该系统的定理集不会改变，那么该规则就是可接受的。换句话说，每一个可以用该规则推导...

词条百科

希尔伯特系统

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

词条百科

生产系统（计算机科学）

简介生产系统（或生产规则系统）是一个通常用于提供某种形式的人工智能的计算机程序，它主要由一套关于行为的规则组成，但它也包括在系统对世界状态做出反应...

词条百科

缺省逻辑

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

词条百科

冲突解决策略

冲突解决策略冲突解决策略用于人工智能中的生产系统，如基于规则的专家系统，以帮助选择启动哪条生产规则。当两个或多个规则的条件被目前已知的事实所满足时...

词条百科

答案集编程

答案集编程答案集编程（ASP）是一种面向困难搜索问题的声明性编程形式。它是基于逻辑编程的稳定模型语义。在ASP中，搜索问题被简化为计算稳定模型，而答案集...

词条百科

类型化规则

类型化规则在类型理论中，类型化规则是一种推理规则，它描述了类型系统如何将类型分配给一个句法结构。这些规则可以被类型系统应用来确定一个程序是否具有良...

词条百科

模糊关联矩阵

模糊关联矩阵模糊关联矩阵以表格的形式表达模糊逻辑规则。这些规则通常以两个变量作为输入，干净利落地映射到一个二维矩阵，尽管理论上任何维数的矩阵都是可...

词条百科

演进中的智能系统

演进中的智能系统在计算机科学中，进化中的智能系统是一个模糊逻辑系统，它通过进化的规则来提高自身的性能。该技术从机器学习中得知，在机器学习中，外部模...

词条百科

重要性算术

重要性算术重要性算术是一套规则（有时称为重要数字规则），用于接近科学或统计计算中不确定性的传播。这些规则可以用来寻找适当的有效数字数量来表示一个计...

词条百科

前向链

什么是前向链前向链（或前向推理）是使用推理引擎时的两种主要推理方法之一，在逻辑上可以描述为反复应用模因。前向链是专家系统、商业和生产规则系统的一种...

词条百科

弗雷格系统

简介在证明复杂性中，弗雷格系统是一个命题证明系统，其证明是使用有限的健全和隐含完整的推理规则得出的公式序列。弗雷格系统（在一般证明理论中更多地被称...

词条百科

Combs方法

Combs方法Combs方法是WilliamE.Combs在1997年描述的一种编写模糊逻辑规则的规则库还原方法。它的目的是防止模糊逻辑规则的组合爆炸。康布斯方法利用了逻辑上...

词条百科

逆向推理

逆向推理逆向推理（或逆向推理）是一种推理方法，被俗称为从目标向后工作。它被用于自动定理证明器、推理引擎、证明助手和其他人工智能应用中。逆向连锁在逻...

词条百科

排放法（离散数学）

排放法（离散数学）排放法是一种用于证明结构图理论中的公设的技术。排放法因其在四色定理证明中的核心作用而最为著名。排放法被用来证明某一类中的每一个图...

词条百科

终端和非终端符号

终端和非终端符号在计算机科学中，终端和非终端符号是用于指定构成形式语法的生产规则的词汇元素。终端符号是形式语法所定义的语言的基本符号。非终端符号（...

词条百科

SLR语法

SLR语法SLR语法是简单LR解析器所接受的形式化语法的类别。SLR语法是所有LR(0)语法的一个超集，也是所有LALR(1)和LR(1)语法的一个子集。当被SLR分析器处理时，...

词条百科

拼接规则

什么是拼接规则在数学和计算机科学中，拼接规则是对形式语言的一种转换，它将分子生物学中的基因拼接作用形式化。拼接语言是由拼接规则的反复应用而产生的语...

词条百科

重写

什么是重写在数学、计算机科学和逻辑学中，重写涵盖了用其他术语替换公式中的子项的广泛方法。这些方法可以通过重写系统（也被称为重写系统、重写引擎或还原...

词条百科

正则语法

什么是正则语法在理论计算机科学和形式语言理论中，正则语法是一种右正则或左正则的语法。虽然它们的确切定义因教科书而异，但它们都要求所有的生成规则最多...

词条百科

解析器语法引擎

简介解析器语法引擎（PGE，最初为Parrot语法引擎）是Parrot虚拟机的Raku规则的编译器和运行时。PGE使用这些规则将解析表达式语法转换成Parrot字节码。因此，...

词条百科

连接语法

什么是连接语法连接语法是在20世纪60年xxx发的一种语言描述性模型。连接语法的前提是，语言的意义可以通过语言元素的连接方式来描述和精确编纂。该模型在20世...

词条百科

全局索引语法

全局索引语法全局索引语法（GIGs）是Castaño（2004）介绍的一类语法，目的是对一些现象进行建模，包括自然语言语法和基因组语法。对GIGs最简单的描述是通过与...

词条百科

编译器描述语言

编译器描述语言编译器描述语言（CDL）是一种基于词缀语法的编程语言。它与Backus-Naur形式（BNF）符号非常相似。它是为开发编译器而设计的。它的能力和控制流...

词条百科

词缀语法

词缀语法词缀语法是一种形式语法；它被用来描述语言的语法，主要是计算机语言，使用的方法是基于自然语言的典型描述方式。词缀语法的语法规则是无语境语法的...

词条百科

结合规则

组合规则在计算化学和分子动力学中，组合规则或组合规则是提供两个不同非键合原子之间相互作用能的方程，通常用于表示范德华相互作用的部分势能。在混合物的...

词条百科

美国特许经营规则

美国特许经营规则特许经营规则定义了美国特许经营行业中不公平或具有欺骗性的行为或做法。特许经营规则由联邦贸易委员会发布。特许经营规则旨在通过要求特许...

词条百科

1 2 3