Natural Language Based Inference Procedures Applied to Schubert's Steamroller
| dc.date.accessioned | 2004-10-04T14:24:24Z | |
| dc.date.accessioned | 2018-11-24T10:11:20Z | |
| dc.date.available | 2004-10-04T14:24:24Z | |
| dc.date.available | 2018-11-24T10:11:20Z | |
| dc.date.issued | 1991-12-01 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/5971 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/5971 | |
| dc.description.abstract | 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. | en_US |
| dc.format.extent | 12 p. | en_US |
| dc.format.extent | 1093860 bytes | |
| dc.format.extent | 853931 bytes | |
| dc.language.iso | en_US | |
| dc.subject | natural language | en_US |
| dc.subject | Schubert's steamroller | en_US |
| dc.subject | automatedsinference | en_US |
| dc.subject | automated theorem proving | en_US |
| dc.subject | tractable inference | en_US |
| dc.subject | Socraticsproof systems | en_US |
| dc.title | Natural Language Based Inference Procedures Applied to Schubert's Steamroller | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| AIM-1341.pdf | 853.9Kb | application/pdf | View/ |
| AIM-1341.ps | 1.093Mb | application/postscript | View/ |