Natural Language Based Inference Procedures Applied to Schubert's Steamroller

Autor:	Givan, Robert, McAllester, David, Shalaby, Sameer
Rok vydání:	1991
Předmět:	natural language Schubert's steamroller automatedsinference automated theorem proving tractable inference Socraticsproof systems
Popis:	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.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/1721.1/5971 Zobrazit plný text záznamu