FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Automated Reasoning from Polarized Parse Trees

Authors: Hai Hu, Thomas Icard and Larry Moss

Paper Information

Title:Automated Reasoning from Polarized Parse Trees
Authors:Hai Hu, Thomas Icard and Larry Moss
Proceedings:NLCS pre-workshop papers
Editors: Larry Moss, Valeria de Paiva and Ash Asudeh
Keywords:inference, monotonicity, polarity, ccg
Abstract:

ABSTRACT. 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 suprisingly 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.

Pages:10
Talk:Jul 07 16:00 (Session 31K: Contributed talks)
Paper: