Search
Now showing items 1-2 of 2
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
(1991-12-01)
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 ...
Observations on Cognitive Judgments
(1991-12-01)
It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is the first fact obvious ...