Paper Info
Title
A Modular Architecture For The Wide-Coverage Translation Of Natural Language Texts Into Predicate Logic Formulas
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., there exists 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.
Year
Venue
Keywords
2010
PROCEEDINGS OF THE 24TH PACIFIC ASIA CONFERENCE ON LANGUAGE, INFORMATION AND COMPUTATION
semantic evaluation, parser output, predicate logic formulas, unrestricted natural language
Field
DocType
Citations 
Programming language,Negation,Expression (mathematics),Computer science,Natural language,Artificial intelligence,Natural language processing,Predicate functor logic,Predicate (grammar),Parsing,Syntax,Predicate logic
Conference
0
PageRank 
References 
Authors
0.34
10
4
Name
Order
Citations
PageRank
Yusuke Miyao11513125.14
Alastair Butler221.78
Kei Yoshimoto33612.04
Jun'ichi Tsujii43610232.96