Squib: Expressive Power of Abstract Meaning Representations
Squib: Expressive Power of Abstract Meaning Representations
复制标题
DOI：
10.1162/coli_a_00257
复制
发表时间：
2016-09
影响因子：
9.3
通讯作者：
Johan Bos
中科院分区：
文献类型：
--
作者：
Johan Bos
抽象意义表示(AMR)的语法可以递归地定义，并且可以指定到一阶逻辑(FOL)的系统转换，包括对否定的适当处理。没有重复变量的AMR在FOL的可判定的两变量片段中。目前AMRS的定义对通用量词的表达能力有限(每句最多一个通用量词)。对AMR语法的简单扩展和到FOL的转换提供了表示投影和范围现象的方法。
The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first-order logic (FOL) can be specified, including a proper treatment of negation. AMRs without recurrent variables are in the decidable two-variable fragment of FOL. The current definition of AMRs has limited expressive power for universal quantification (up to one universal quantifier per sentence). A simple extension of the AMR syntax and translation to FOL provides the means to represent projection and scope phenomena.