语言-第 2 页-一流百科

演绎性分类器

演绎性分类器演绎性分类器是一种人工智能推理引擎。它将一组关于医学研究或分子生物学等领域的框架语言的声明作为输入。例如，类的名称、子类、属性和对可允...

词条百科

人工智能的编程语言列表

人工智能的编程语言列表人工智能研究人员已经为人工智能开发了几种专门的编程语言。语言AIML（意为人工智能标记语言）是一种XML方言，用于A.L.I.C.E.类型的聊...

词条百科

因素语言模型

因素语言模型因素语言模型（FLM）是JeffBilmes和KatrinKirchoff在2003年推出的传统语言模型的扩展。在FLM中，每个词被看作是一个由K个因子组成的向量。一个FL...

词条百科

Bixby（软件）

Bixby（软件）资料库github.com/orgs/bixbydevelopers/repositories编写的语言多种多样，主要是JavaScript操作系统Android（7.0Nougat及更高版本）Tizen前辈S...

词条百科

人工智能中的语言创造

人工智能中的语言创造在人工智能中，当有足够能力的人工智能代理有动力在一项任务上进行合作，并且有能力交换一套能够作为生成的语言中的标记的符号时，研究...

词条百科

语法归纳

语法归纳语法归纳（或语法推理）是机器学习中的一个过程，即从一组观察结果中学习一个正式的语法（通常作为重写规则或生成的集合，或者作为某种有限状态机或...

词条百科

本体工程

本体工程在计算机科学、信息科学和系统工程中，本体工程是一个研究建立本体的方法和手段的领域，它包含了对概念、数据和实体之间的类别、属性和关系的表示、...

词条百科

例题查询

例题查询例题查询（QBE）是一种用于关系型数据库的数据库查询语言。它是由MoshéM.Zloof在70年代中期在IBM研究院设计的，与SQL的发展并行。它是xxx种图形化的...

词条百科

语言模块

语言模块语言模块或语言能力是人脑中的一种假设结构，被认为包含了语言的先天能力，最初由诺姆-乔姆斯基提出。在今天的术语中，'模块化'指的是专业化：语言处...

词条百科

守护命令语言

简介守护命令语言（GCL）是EdsgerDijkstra在EWD472中为谓词变换器语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它的证明携...

词条百科

单元类型

单元类型简介在被称为类型理论的数理逻辑和计算机科学领域，单元类型是一种只允许一个值的类型。与单位类型相关的载体（底层集合）可以是任何单子集。任何两...

词条百科

类型安全

类型安全在计算机科学中，类型安全和类型健全是指一种编程语言阻止或防止类型错误的程度。类型安全有时也被认为是一种计算机语言设施的属性；也就是说，有些...

词条百科

类型系统

类型系统在计算机编程中，类型系统是一个由一组规则组成的逻辑系统，它为每个术语（一个词、短语或其他符号集）分配一个称为类型的属性。通常，这些术语是计...

词条百科

类型推理

类型推理类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统，但也包括计算机科学和语言学某些分支中的自然语言。非技术性...

词条百科

预组语法

预组语法预组语法（PG）是一种与分类语法密切相关的语法形式主义。与分类语法（CG）非常相似，PG是一种类型逻辑语法。然而，与CG不同的是，PG没有一个区分的...

词条百科

可空类型

可空类型可空类型是一些编程语言的特点，它允许一个值被设置为特殊值NULL，而不是数据类型的通常可能的值。在静态类型的语言中，可空类型是一个选项类型，而...

词条百科

枚举类型

枚举类型在计算机编程中，枚举类型（在R编程语言中也称为枚举、枚举或因子，在统计学中称为分类变量）是一种数据类型，由一组被称为该类型的元素、成员、枚举...

词条百科

抽象类型

简介在编程语言中，抽象类型是指记名类型系统中不能直接实例化的类型；非抽象的类型--可以实例化的类型--被称为具体类型。抽象类型的每个实例都是某个具体子...

词条百科

模糊标记语言

模糊标记语言模糊标记语言（FML）是一种基于XML的特定用途的标记语言，用于描述模糊系统的结构和行为，与专门用于承载和运行它的硬件结构无关。模糊标记语言...

词条百科

OBJ（编程语言）

简介OBJ是由JosephGoguen在1976年推出的一个编程语言系列，并由JoseMeseguer进一步研究。OBJ（编程语言）的概述它是一个陈述性超高级语言系列。它的特点是抽...

词条百科

知识交换格式

知识交换格式知识交换格式（KIF）是一种计算机语言，旨在使系统能够共享和重新使用基于知识的系统的信息。KIF与KL-One和LOOM等框架语言类似，但与这些语言不...

词条百科

维也纳开发法

维也纳开发法维也纳开发法（VDM）是基于计算机的系统开发中历史最悠久的形式化方法之一。起源于20世纪70年代IBM维也纳实验室的工作，它已经发展到包括一组基...

词条百科

语义学（计算机科学）

语义学（计算机科学）在编程语言理论中，语义学是对编程语言意义的严格的数学研究。语义学将计算意义分配给编程语言语法中的有效字符串。语义学描述了计算机...

词条百科

单数语言

什么是单数语言在计算复杂性理论中，单数语言或理数语言是一种形式语言（一组字符串），其中所有的字符串都有1k的形式，其中1可以是任何固定符号。例如，语言...

词条百科

句法（逻辑）

什么是句法（逻辑）在逻辑学中，句法是与形式语言或形式系统有关的任何东西，不考虑对它们的任何解释或意义。句法关注的是用于构建或转换语言的符号和词语的...

词条百科

符号（形式）

什么是符号（形式）逻辑符号是逻辑学中的一个基本概念，它的标记可能是形成特定模式的标记或标记的配置。虽然符号这个词在通常情况下，有些时候是指被象征的...

词条百科

形式系统

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

词条百科

字符串操作

字符串操作在计算机科学中，在形式语言理论领域，经常使用各种字符串函数；但是，所使用的符号与计算机编程所使用的符号不同，一些在理论领域常用的函数在编...

词条百科

拼接规则

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

词条百科

稀疏语言

什么是稀疏语言在计算复杂性理论中，稀疏语言是一种形式语言（一组字符串），其复杂性函数，计算语言中长度为n的字符串的数量，被n的多项式函数所约束。它们...

词条百科

1 2 3 4 5