Download PDFOpen PDF in browser

Automated Reasoning from Polarized Parse Trees

EasyChair Preprint no. 225

11 pagesPublished: June 2, 2018


This paper contributes to symbolic inference from text, including naturally occurring text. The idea is to take sentences in a framework like CCG, and then run a polarizing algorithm like the one in Hu and Moss 2018 to determine inferential polarity markings of all the constituents. From this, it is just a small step to obtain an inference engine which is both simple to describe and implement and at the same time is surprisingly powerful. We have implemented the basic inference step. This paper is work in progress, also going into detail on our projected next steps. The overall goal is to have a working symbolic inference system which covers "in-practice" inference and also is correct and efficient.

Keyphrases: CCG, inference, monotonicity, polarity

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Hai Hu and Thomas Icard and Larry Moss},
  title = {Automated Reasoning from Polarized Parse Trees},
  howpublished = {EasyChair Preprint no. 225},
  doi = {10.29007/69wv},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser