Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning

04/19/2018
by   Masashi Yoshikawa, et al.
0

In formal logic-based approaches to Recognizing Textual Entailment (RTE), a Combinatory Categorial Grammar (CCG) parser is used to parse input premises and hypotheses to obtain their logical formulas. Here, it is important that the parser processes the sentences consistently; failing to recognize a similar syntactic structure results in inconsistent predicate argument structures among them, in which case the succeeding theorem proving is doomed to failure. In this work, we present a simple method to extend an existing CCG parser to parse a set of sentences consistently, which is achieved with an inter-sentence modeling with Markov Random Fields (MRF). When combined with existing logic-based systems, our method always shows improvement in the RTE experiments on English and Japanese languages.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/15/2021

A Transition-based Parser for Unscoped Episodic Logical Forms

"Episodic Logic:Unscoped Logical Form" (EL-ULF) is a semantic representa...
research
06/10/2019

Multimodal Logical Inference System for Visual-Textual Entailment

A large amount of research about multimodal inference across text and vi...
research
08/04/2021

A Biologically Plausible Parser

We describe a parser of English effectuated by biologically plausible ne...
research
02/13/2019

Leveraging Newswire Treebanks for Parsing Conversational Data with Argument Scrambling

We investigate the problem of parsing conversational data of morphologic...
research
06/20/2016

A Probabilistic Generative Grammar for Semantic Parsing

We present a framework that couples the syntax and semantics of natural ...
research
05/08/2019

Automatic Inference of Minimalist Grammars using an SMT-Solver

We introduce (1) a novel parser for Minimalist Grammars (MG), encoded as...
research
06/01/2016

Improved Parsing for Argument-Clusters Coordination

Syntactic parsers perform poorly in prediction of Argument-Cluster Coord...

Please sign up or login with your details

Forgot password? Click here to reset