[论文解读] La repr\\'esentation formelle des concepts spatiaux dans la langue

Michel Aurnague, Laure Vieu+1 more|arXiv (Cornell University)|Mar 25, 2010

Constraint Satisfaction and Optimization参考文献 26被引用 24

一句话总结

本文提出了一套形式化语义框架，用于建模法语中的空间概念，采用基于常识几何学和语用空间关系的结构化系统。通过形式化表示诸如 'sur'（在……上）、'dans'（在……内）和 'devant'（在……前方）等介词，展示了推理充分性，说明语言空间标记如何反映空间的潜在概念表征。

ABSTRACT

In this chapter, we assume that systematically studying spatial markers semantics in language provides a means to reveal fundamental properties and concepts characterizing conceptual representations of space. We propose a formal system accounting for the properties highlighted by the linguistic analysis, and we use these tools for representing the semantic content of several spatial relations of French. The first part presents a semantic analysis of the expression of space in French aiming at describing the constraints that formal representations have to take into account. In the second part, after presenting the structure of our formal system, we set out its components. A commonsense geometry is sketched out and several functional and pragmatic spatial concepts are formalized. We take a special attention in showing that these concepts are well suited to representing the semantic content of several prepositions of French ('sur' (on), 'dans' (in), 'devant' (in front of), 'au-dessus' (above)), and in illustrating the inferential adequacy of these representations.

研究动机与目标

• 识别法语空间表达中语言表达背后的基本空间概念。
• 开发一个能够捕捉空间介词语义约束的形式化系统。
• 使用形式化工具将语言语义与空间的概念表征相连接。
• 通过在空间介词形式化表示中实现推理充分性，验证该形式化系统。
• 为自然语言处理中的空间认知提供一个结构化框架。

提出的方法

• 对法语空间标记进行语义分析，以提取核心概念约束。
• 基于常识几何学设计一个形式化系统，用于建模空间关系。
• 定义功能性和语用性空间概念，如包含、支撑和方向。
• 使用几何和拓扑原始元素形式化表示介词 'sur'、'dans'、'devant' 和 'au-dessus'。
• 使用逻辑推理验证形式化表示是否准确捕捉了预期的语义推理。
• 将语言数据与形式语义学相结合，以确保概念一致性和表达力。

实验结果

研究问题

• RQ1 法语介词的语义中编码了哪些核心空间概念？
• RQ2 如何利用形式化系统建模自然语言中空间关系的几何与拓扑约束？
• RQ3 形式化表示在多大程度上能够捕捉空间介词的推理行为？
• RQ4 语用和功能性因素在空间关系概念化中扮演何种角色？
• RQ5 如何将常识几何框架整合到语言语义学中以处理空间表达？

主要发现

• 该形式化系统成功地建模了法语中的关键空间介词，包括 'sur'、'dans'、'devant' 和 'au-dessus'。
• 在形式化框架内，空间介词的语义内容被证明具有推理充分性。
• 常识几何学为自然语言中空间概念的表示提供了坚实基础。
• 功能性和语用性空间概念已通过形式化方法捕获并整合到系统中。
• 分析揭示了空间语言中系统性约束，这些约束反映了空间的深层概念表征。
• 该框架与语言数据相容，并支持对空间关系的逻辑推理。