73、分布式形式语义框架与弱保守性研究

分布式形式语义框架与弱保守性研究

1. 分布式形式语义框架概述

分布式形式语义（DFS）提供了与分布式语义相似的分布式意义表示。不同的是，DFS的意义表示提供了反映世界状态的概率信息，而非语言共现信息，这为意义表示提供了一个互补的视角。通过从世界的高层规范中推导DFS意义空间，可以自然地捕捉形式语义中的一些知名概念，如组合性和蕴含关系。在增量式意义构建模型中，它还能自然地捕捉子命题意义和推理。由dfs - tools实现的DFS框架，在形式和分布式方法之间实现了强大的协同作用，为形式意义表示和构建的新研究铺平了道路。

在求任意合式公式的补时，可通过递归应用以下翻译规则，其中φ′是φ的补：
| 原公式 | 补公式 |
| ---- | ---- |
| ¬φ | ¬φ′ |
| φ ⊻ψ | (φ′ ∧ψ′) ∨(¬φ′ ∧¬ψ′) |
| ∃x.φ | ∀x.φ′ |
| φ ∧ψ | φ′ ∨ψ′ |
| φ →ψ | ¬φ′ ∨ψ′ |
| ∀x.φ | ∃x.φ′ |
| φ ∨ψ | φ′ ∧ψ′ |
| φ ↔ψ | (¬φ′ ∧ψ′) ∨(φ′ ∧¬ψ′) |
| p | p |

2. 弱保守性研究背景

在自然语言语义学中，一个广为人知的语义普遍性与限定词的指称限制有关，即所有限定词都表示受保守性属性限制的函数，也就是所有限定词都是保守的。这里主要关注一元限定词，即接受一个普通名词（CN）作为参数并形成可充当动词参数的表达式的限定词，重点研究主语位置的限定词。

经典保守性的定义如下：设F是一个接受两个集合作为参数并给