A modular architecture for the wide-coverage translation of natural language texts into predicate logic formulas

Yusuke Miyao, Alastair Butler, Kei Yoshimoto, Jun'ichi Tsujii

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We present a new method for translating unrestricted natural language texts into predicate logic formulas. This relies on the semantic evaluation procedure of Scope Control Theory (SCT), a variant of Dynamic Semantic formalisms. The key benefit is that parsed syntactic structures are shown to form sufficient input for semantic evaluation, eliminating the need to build distinct semantic expressions to feed semantic evaluation. To have parsed syntactic structures for SCT to evaluate we apply an existing wide-coverage syntactic parser by converting the parser output into a form SCT can receive. This modularity has led to the rapid attainment of a broad coverage on real text. An experiment revealed our system achieved 82.7% coverage on real-world sentences, generating representations that make explicit the scopes of quantifiers (e.g., E{reversed}x), operators (e.g., negation), connectives (e.g., conjunction) and embedding predicates (e.g., thinks), while also capturing the inter and intra sentential dependencies and cross-sentential anaphoric dependencies that connect predicates.

Original languageEnglish
Title of host publicationPACLIC 24 - Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation
Pages481-488
Number of pages8
Publication statusPublished - 2010 Dec 1
Event24th Pacific Asia Conference on Language, Information and Computation, PACLIC 24 - Sendai, Japan
Duration: 2010 Nov 42010 Nov 7

Publication series

NamePACLIC 24 - Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation

Other

Other24th Pacific Asia Conference on Language, Information and Computation, PACLIC 24
CountryJapan
CitySendai
Period10/11/410/11/7

Keywords

  • Parser output
  • Predicate logic formulas
  • Semantic evaluation
  • Unrestricted natural language

ASJC Scopus subject areas

  • Language and Linguistics
  • Computer Science (miscellaneous)

Fingerprint Dive into the research topics of 'A modular architecture for the wide-coverage translation of natural language texts into predicate logic formulas'. Together they form a unique fingerprint.

Cite this