首页/论文/1303.3036

arXiv 1303.30362013-03-12cs.LOcs.CLmath.LO

类型理论自然语言语义学：关于意义组装系统F

Type-theoretical natural language semantics: on the system F for meaning assembly

IRIT（图卢兹计算机研究所）；UPS（图卢兹第三大学）；LaBRI（波尔多计算机研究实验室）；Université de Bordeaux（波尔多大学）

Christian Retoré

发表信息：: TYPES 2013, Toulouse : France (2013)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出并扩展了我们的类型理论框架的组成治疗的自然语言语义与一些词汇功能，如touchons（例如，一个城镇到一个足球俱乐部）和copredication（例如，在一个城镇作为一组人和作为一个位置）。二阶类型λ演算被证明是一个很好的框架，在这里我们讨论如何引入预定义类型和强制子类型，这比内部编码的类似结构更自然。这些新特征的语言应用也举例说明。

英文摘要：

This paper presents and extends our type theoretical framework for a compositional treatment of natural language semantics with some lexical features like coercions (e.g. of a town into a football club) and copredication (e.g. on a town as a set of people and as a location). The second order typed lambda calculus was shown to be a good framework, and here we discuss how to introduced predefined types and coercive subtyping which are much more natural than internally coded similar constructs. Linguistic applications of these new features are also exemplified.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

用于意义组装的变量类型：由大多数

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most

Université de Bordeaux（波尔多大学）；CNRS（法国国家科学研究中心）

本文提出了一种计算类属名词短语与广义量词最对应的句子的语义的方法。我们称这些泛型为样本，它们类似于词汇语义学中的原型或原型。这些意义被视为逻辑公式，此后可以在您最喜欢的模型中进行解释。为了做到这一点，我们与主流的弗雷根观点有很大的不同，弗雷根认为宇宙是一个单一的无类型宇宙。事实上，我们的建议采用了类型论，并从希尔伯特ε-微积分（Hilbert，1922; Avigad and Zach，2008）和中世纪哲学中得到了一些提示，例如de Libera（1993，1996）。我们的类型理论分析与正在进行的词汇语义学研究有一些相似之处（Asher 2011; Bassac et al. 2010; Moot，Précourt and Retoré 2011）。我们的模型也适用于经典的例子，涉及一个类，或这个类的通用元素，这是不是说出，但提供的上下文。本研究的一个结果是，在最低限度主义-语境主义的争论中，参见Conrad（2011），如果采用类型理论的观点，术语编码纯粹的语义成分，而它们的类型是由语用决定的。

2012-03-08cs.CLcs.LOmath.LO

域上的代数和基于上下文推理的语义

Algebras over a field and semantics for context based reasoning

本文介绍了上下文代数，并展示了它们的应用相结合的逻辑和向量为基础的表示的意义。解决这个问题的其他方法试图在新的框架中重现逻辑语义的各个方面。我们在这里提出的方法是不同的：我们展示了如何逻辑语义可以嵌入在一个向量空间框架，并使用此来结合分布式语义，其中的单词的含义表示为向量，与逻辑语义，其中的句子的含义表示为逻辑形式。

2011-11-07cs.CLcs.LO

证明论语义学、否定问题与情态展望

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

本文讨论了证明论语义学，该项目规定的逻辑常数的意义方面的推理规则，他们。我专注于迈克尔达米特和达格Prawitz的哲学动机，并给出精确的特点的关键概念的和谐与稳定，放置在证明正常化的结果，在系统的自然演绎的背景下。我指出了一个问题，在这个框架中定义否定的意义和前景的解释模态算子的意义的推理规则。

2021-07-29cs.LOmath.LO

论过渡制度规范的含义

On the Meaning of Transition System Specifications

转换系统规范为编程和规约语言提供了语义。它们提供了一个封闭术语作为过程图的含义：一个标记转换系统中的状态。与此同时，它们提供了一个n元运算符的含义，或者更一般地说，一个具有n个自由变量的开放项，作为过程图上的n元运算。这样做的经典方法，闭项语义学，将开放项的含义简化为其闭实例的含义。它使运算符的含义依赖于它所使用的上下文。在这里，我提出了一个替代的过程图语义的TSS，不受这个缺点。流程图上的语义等价可以被提升，以使开放项符合封闭项或流程图语义。对于纯TSS，后者更具鉴别力。我认为五个健全的要求配备了递归结构的编程和规约语言的语义：组合性，适用于n元运算符，递归和变量，不变性下$α$ -转换，递归定义原则，说递归调用的意义应该是相应的递归方程的解决方案。我建立了四个这些要求下的TSS的闭项语义的满意度意味着他们的满意度下的过程图语义。

2019-08-23cs.LO

面向自动证明论语义：三维K3与LP的推理-行为语义

Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP

Institute for Logic, Language and Computation (ILLC) University of Amsterdam（阿姆斯特丹大学逻辑、语言与计算研究所）；Arché Research Centre University of St Andrews（圣安德鲁斯大学Arché研究中心）

本文通过案例研究将推理-行为语义（I-bS）扩展至三维相继式演算，构建K3与LP的I-bS并验证其联结词意义的保守性，为I-bS与MUltlog整合以实现多值逻辑I-bS生成的自动化奠定基础。

2026-08-05cs.LOmath.LO

组合性、同义性与意义的系统表征

Compositionality, Synonymy, and the Systematic Representation of Meaning

在最近一期的《语言学与哲学》（Linguistics and Philosophy）中，Kasmi和Pelletier（1998）（K&P），以及Westerstahl（1998）批评了Zadrozny（1994）关于任何语义都可以用组合来表示的论点。这个论点是基于Zadrozny定理，即每个意义函数m都可以由函数μ编码，使得（i）对于指定语言L的任何表达式E，m（E）都可以从μ（E）中恢复，并且（ii）μ是从L的句法结构到L的解释的同态。在这两种情况下，反对扎德罗兹尼论点的主要动机是认为他对原始意义功能的编码没有正确反映为语言设定的同义关系。在本文中，我们认为，这些技术的批评不通过。特别地，我们证明了μ正确地编码了同义关系，即如果两个表达式是同义的，那么它们的组合意义是相同的。这纠正了一些关于函数μ的误解，例如Janssen（1997）。我们认为，语义学家之所以急于将组合性作为对语义理论的一个重要约束来加以维护，是因为它被错误地视为一个条件，任何一种理论，只要它能维持一个表达式的意义与其各部分的意义之间的系统联系，就必须满足这个条件。形式语义学和计算语义学的最新发展表明，意义的系统理论不需要是组合的。

2000-01-09cs.CLcs.LO

更多相关论文收起更多论文

证明的意义是什么？证明论语义学中的弗雷格式区分

What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics

本文提出一个区分证明的含义与指称的框架，用于在自然演绎和矢列演算等不同证明系统内部及之间识别证明的意义差异，从而将单纯句法分歧与真正意义分歧区分开来。

2023-07-08cs.LOmath.LO

学习语义：有效6G通信的机会

Learning Semantics: An Opportunity for Effective 6G Communications

CEA-Leti；Université Grenoble Alpes（格勒诺布尔阿尔卑斯大学）

最近，语义通信被设想为未来6G网络的关键使能器。回到香农的信息论，长期以来，通信的目标一直是保证正确接收传输的信息，而不管它们的含义。然而，一般来说，每当通信发生传达一个意思，重要的是接收者的理解所传输的信息，而不一定是正确的重建。因此，语义通信引入了一种新的范式：只传输足够的相关信息，接收器捕获的意图可以节省显着的通信带宽。因此，这项工作探索了语义通信为超越5G网络提供的机会。特别是，我们专注于语义压缩的好处。我们把语义信息称为从“意义”底层数据中学习到的一系列格式良好的符号，这些符号必须在接收者处进行解释。这需要一个推理单元，这里是人工的，在知识库上：一个特定应用的符号知识表示。因此，我们提出并详细介绍了一种新的架构，使有效的语义通信的语义符号的表示学习。我们首先讨论理论方面，并成功地设计目标函数，这有助于学习有效的语义编码器和解码器。最后，我们展示了文本传输场景的有希望的数值结果，特别是当发送者和接收者说不同的语言时。

2021-10-14cs.AIcs.CLcs.IT

计算环境（2）持久进化语义

Computation Environments (2) Persistently Evolutionary Semantics

在题为“计算环境（1）”的手稿中，我们引入了一个称为计算环境的概念，作为计算和复杂性理论的交互模型。在该模型中，图灵机不是独立的实体，而是通过计算专家和通用处理器之间的交互来发现它们的意义，因此，由于通用处理器的进化，图灵机的意义可能会发生变化。在这份手稿中，我们讨论持续进化的内涵。我们引入了一种新的语义，称为持续进化语义，谓词逻辑的功能和谓词符号的意义是不是已经预定的，谓词和功能符号通过主体与语言的相互作用找到它们的意义。在（经典）模型论中，研究结构的数学家被认为是生活在结构之外的神，数学家的研究不会影响结构。谓词和函数符号的意义被假定为与数学家无关，这种持续进化的语义学可以被看作是模型论新范式（类似于交互计算范式）“交互模型论”的开端。在交互模型论中，我们假设一个数学结构应该由两部分组成：1）一个智能主体（主体），2）一个环境（语言），每一个事物都应该通过这两部分的交互来找到它的意义。我们引入持续进化的Kripke结构的命题和谓词逻辑。此外，我们提出了一个持续进化的Kripke语义的概念计算，其中的意图的代码的图灵机持续发展。我们表明，在这个Kripke模型的主题永远不会知道P = NP。

2012-06-30cs.LO

虚拟证据：经典逻辑的构造语义

Virtual Evidence: A Constructive Semantics for Classical Logics

本文提出了一个计算语义的经典逻辑使用建设性类型论。这样的语义似乎是不可能的，因为经典逻辑允许排中律（LEM），而在构造性逻辑中不被接受，因为它没有计算意义。然而，在逻辑推理模型中所表达的明显的神谕力量，即对于任何命题P，要么它是真的，要么它的否定是真的，而不是P，也可以用不涉及“真理的神谕”的构造性证据来解释。具有虚拟证据和否定证据的构造性不可能性的类型为经典真理提供了足够的语义基础，并且具有简单的计算意义。这个想法是使用精化类型形式化的，精化类型是自1984年以来使用的构造性类型论的概念，在这里解释。一个新的公理创建虚拟证据，充分保留了经典语境中的逻辑算子的建设性意义。关键词：经典逻辑，构造性逻辑，直觉主义逻辑，命题类型，构造性类型论，精化类型，双重否定翻译，计算内容，虚拟证据

2014-08-31cs.LO