Natural Language Based Inference Procedures Applied to Schubert's Steamroller

Natural Language Based Inference Procedures Applied to Schubert's Steamroller

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 s...

Full description

Bibliographic Details
Main Authors: Givan, Robert, McAllester, David, Shalaby, Sameer
Language:en_US
Published: 2004
Subjects:
natural language
Schubert's steamroller
automatedsinference
automated theorem proving
tractable inference
Socraticsproof systems
Online Access:http://hdl.handle.net/1721.1/5971

Internet

http://hdl.handle.net/1721.1/5971

Similar Items