自然语言处理 · 小纸条

对象：WSD从词义清单中按上下文选择sense；词义粒度、清单覆盖和跨域用法决定上限。；公式：sense*=argmax_s P(s|context,lexicon)。；算例：“苹果发布手机”偏组织/品牌，“吃苹果”偏水果，邻近谓词提供证据。；边界：测试定义文本进入训练；把新义强塞最近旧义不拒识。。

对象：组合原则用词义和句法结构构造句义；逻辑形式显式表示实体、谓词、量词、否定和作用域。；公式：meaning(parent)=compose(rule,meaning(children))。；算例：“每个学生读一本书”可有每人不同书或同一本书两种量词作用域。；边界：把字符串相似当语义等价；自由变量和量词范围未标。。

对象：指代把提及聚成实体簇，需性数类别、语义和篇章显著性；代词外还含名词短语与零指代。；公式：pair/link scores must produce a globally consistent clustering。；算例：“小李告诉小王他获奖了”中“他”可能指两人，句内线索不足。；边界：A同B、B同C却A不同C；只评代词不评全实体簇。。

对象：SRL识别谓词及其论元角色，关注谁对谁做了什么、何时何地；跨句省略和被动需处理。；公式：span/dep roles conditioned on predicate and sentence。；算例：“小王被老师表扬”中老师是施事、小王是受事，表面主语不等于施事。；边界：把依存主语永远标A0；一个span被不允许地分配冲突角色。。

对象：语用解释依说话者目标、共同知识和合作原则；字面真值不足以恢复讽刺、间接请求和预设。；公式：intended meaning∝literal meaning+context+speaker goal+common ground。；算例：“这里有点冷”在开窗房间可能是请求关窗，不只是温度陈述。；边界：模型凭社会刻板印象猜意图；把礼貌表达都归同一动作。。

对象：句间因果、转折、时序、详述等关系连接篇章；显式连接词不是唯一证据，结构可多层嵌套。；公式：coherence score depends on discourse relation sequence and entity continuity。；算例：“下雨了。因此比赛取消。”是显式因果；去掉“因此”关系仍可能由世界知识推断。；边界：见“但是”就固定转折而忽略范围；单句分类冒充篇章结构。。

对象：NLI判断前提是否蕴含、矛盾或中立；标签依世界是否封闭、量词、否定和常识范围。；公式：entailment means every model satisfying premise also satisfies hypothesis。；算例：前提“所有猫都是动物”蕴含“这只猫若是猫则是动物”，但不蕴含“所有动物是猫”。；边界：高词汇重叠就判蕴含；把未知事实当矛盾。。