Natural Language Based Inference Procedures Applied to Schubert’s Steamroller

Robert Givan, David McAllester, Sameer Shalaby

We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a natural language based polynomial time procedure can solve Schubert' s steamroller in a single step.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.