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: |