Observations on Cognitive Judgments
dc.date.accessioned | 2004-10-04T14:24:25Z | |
dc.date.accessioned | 2018-11-24T10:11:21Z | |
dc.date.available | 2004-10-04T14:24:25Z | |
dc.date.available | 2018-11-24T10:11:21Z | |
dc.date.issued | 1991-12-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/5972 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/5972 | |
dc.description.abstract | 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 but the second fact not? This paper presents an analytic theory of a class of obviousness judgments of this type. Whether or not the specifics of this analysis are correct, it seems that the study of obviousness judgments can be used to construct integrated theories of linguistics, knowledge representation, and inference. | en_US |
dc.format.extent | 10 p. | en_US |
dc.format.extent | 1015767 bytes | |
dc.format.extent | 792929 bytes | |
dc.language.iso | en_US | |
dc.subject | obviousness | en_US |
dc.subject | automated reasoning | en_US |
dc.subject | natural language | en_US |
dc.subject | smathematical induction | en_US |
dc.subject | theorem proving | en_US |
dc.subject | tractable inference | en_US |
dc.title | Observations on Cognitive Judgments | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-1340.pdf | 792.9Kb | application/pdf | View/ |
AIM-1340.ps | 1.015Mb | application/postscript | View/ |