17、自然逻辑与自然语言推理：原理、应用与评估

自然逻辑与自然语言推理：原理、应用与评估

1. 量词的投射特征

量词在自然语言推理中扮演着重要角色，其投射特征反映了它们如何处理不同的语义关系。以下是常见二元广义量词在两个参数位置上的投射特征总结：
| 量词 | 第一个参数投射特征（≡ ⊏ ⊐ ∧ | ⌣ #） | 第二个参数投射特征（≡ ⊏ ⊐ ∧ | ⌣ #） |
| — | — | — |
| some | ≡ ⊏ ⊐ ⌣† # ⌣† # | ≡ ⊏ ⊐ ⌣† # ⌣† # |
| no | ≡ ⊐ ⊏ |† # |† # | ≡ ⊐ ⊏ |† # |† # |
| every | ≡ ⊐ ⊏ |‡ # |‡ # | ≡ ⊏ ⊐ |† |† # # |
| not every | ≡ ⊏ ⊐ ⌣‡ # ⌣‡ # | ≡ ⊐ ⊏ ⌣† ⌣† # # |

从这个表格中，我们可以得出以下几点观察：
- 所有量词（和大多数其他语义函数一样）对 ≡ 和 # 进行无变化投射。
- 表格证实了一些已知的单调性属性：“no”在两个参数上都是向下单调的，“every”在其第一个参数上是向下单调的，“not every”在其第二个参数上是向下单调的。
- 关系“|”经常被量词“阻塞”，即被投射为“#”。例如，“no fish talk # no birds talk”和“someone was early # someone was late”。但“every”在其第二个参数上是个例外，“|”关系得以保留，如“everyone was early | everyone was late”。
- 由于“no”是“some”的否定，“no”的投射特征可以通过“some