Sep, 2013

基于 Lambda 依赖的组合语义学

TL;DR介绍了一种新的正式语言, lambda依赖组合语义(lambda DCS),用于表示语义解析中的逻辑形式。lambda DCS逻辑形式通过消除变量并使存在量词隐式化,通常比lambda演算中的形式更紧凑。