We give polynomial-time algorithms for satisfiability and enumeration of underspecified semantic representations in a canonical form. This canonical form brings several underspecification formalisms together into a uniform framework (Manshadi et al., 2008), so the algorithms can be applied to any underspecified representation that can be converted to this form. In particular, our algorithm can be applied to Canonical Form Minimal Recursion Semantics (CF-MRS). An efficient satisfiability and enumeration algorithm has been found for a subset of MRS (Niehren and Thater, 2003). This subset, however, is not broad enough to cover all the meaningful MRS structures occurring in practice. CF-MRS, on the other hand, provably covers all MRS structures generated by the MRS semantic composition process. © 2011 Springer-Verlag.
CITATION STYLE
Manshadi, M., Allen, J., & Swift, M. (2011). An efficient enumeration algorithm for canonical form underspecified semantic representations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5591 LNAI, pp. 85–101). https://doi.org/10.1007/978-3-642-20169-1_6
Mendeley helps you to discover research relevant for your work.