谓词-一流百科

维茨之秘

品牌简介维茨之秘，隶属于福州维茨之秘生物科技有限公司，是一家专注于健康和营养领域的公司，为超重人群及控制能量摄入人群，提供更健康科学的营养轻体解决...

企业百科

谓词抽象

谓词抽象在逻辑学中，谓词抽象是指从一个句子中创建一个谓词的结果。如果Q是任何公式，那么从该句子中形成的谓词抽象是(λy.Q)，其中λ是一个抽象算子，在(λy.Q...

词条百科

循环论证（逻辑）

循环论证（逻辑）循环论证，用于正式确定常识性的假设，即除非另有规定，否则事物都是如预期的。圆周率后来被麦卡锡用于解决框架问题的尝试。为了在最初的表...

词条百科

细化类型

简介在类型理论中，细化类型是一个被赋予了谓词的类型，该谓词被认为对细化类型的任何元素都是成立的。细化类型在作为函数参数使用时可以表达前提条件，在作...

词条百科

模糊性

什么是模糊性在语言学和哲学中，模糊的谓词是指会产生边界的情况。例如，英语形容词tall是模糊的，因为对于一个中等身高的人来说，它没有明确的真实或虚假。...

词条百科

模糊分类

模糊分类模糊分类是将元素归入一个模糊集合的过程，其成员函数由模糊命题函数的真值定义。一个模糊类~C={i|~Π(i)}被定义为满足模糊分类谓词~Π的个体的模糊集~...

词条百科

流变（人工智能）

流变（人工智能）在人工智能中，流变是一种可以随时间变化的条件。在对行动进行推理的逻辑方法中，流畅性可以通过具有一个取决于时间的参数的谓词来代表一阶...

词条百科

事件微积分

事件微积分事件微积分是一种用于表示和推理事件及其影响的逻辑语言，由RobertKowalski和MarekSergot于1986年首次提出。它在20世纪90年代被MurrayShanahan和Ro...

词条百科

可满足性模数理论

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

词条百科

句法谓词

什么是句法谓词句法谓词指定在形式语法中应用生产的句法有效性，类似于指定应用生产的语义有效性的语义谓词。它是一种简单而有效的手段，通过提供任意的前瞻...

词条百科

范围串联语法

范围串联语法范围串联语法（RCG）是PierreBoullier在1998年提出的一种语法形式主义，试图描述自然语言的一些现象，如中文数字和德语词序扰乱，这些现象超出了...

词条百科

蒙塔格语法

蒙塔格语法蒙塔格语法是一种自然语言语义学的方法，特别是高阶谓词逻辑和λ微积分，并通过克里普克模型，利用了扩展逻辑的概念。Montague在20世纪60年代和70年...

词条百科

字面运动语法

字面运动语法在语言学和理论计算机科学中，字面运动语法（LMG）是一种语法形式主义，旨在描述自然语言的某些外置现象，如主题化和跨序列依赖。LMG通过引入模...

词条百科

正则数字谓词

正则数字谓词在计算机科学和数学中，更确切地说，在自动机理论、模型理论和形式语言中，正则数字谓词是一种关于整数的关系。正则数字谓词也可以被认为是一个...

词条百科

归纳逻辑编程

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

词条百科