Expressive Power of Abstract Meaning Representations
Author(s) -
Johan Bos
Publication year - 2016
Publication title -
computational linguistics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.314
H-Index - 98
eISSN - 1530-9312
pISSN - 0891-2017
DOI - 10.1162/coli_a_00257
Subject(s) - syntax , negation , quantifier (linguistics) , computer science , decidability , meaning (existential) , translation (biology) , sentence , fragment (logic) , simple (philosophy) , scope (computer science) , expressive power , natural language processing , artificial intelligence , programming language , theoretical computer science , psychology , philosophy , biochemistry , chemistry , epistemology , messenger rna , gene , psychotherapist
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom