Introduction to the Calculus of Knowledge
| dc.contributor.author | Raphael, Bertram | en_US |
| dc.date.accessioned | 2004-10-04T14:37:32Z | |
| dc.date.available | 2004-10-04T14:37:32Z | |
| dc.date.issued | 1961-11-01 | en_US |
| dc.identifier.other | AIM-029 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/6071 | |
| dc.description.abstract | This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the system of a well-known reasoning problem is presented. | en_US |
| dc.format.extent | 11 p. | en_US |
| dc.format.extent | 1676818 bytes | |
| dc.format.extent | 1319757 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en_US | |
| dc.relation.ispartofseries | AIM-029 | en_US |
| dc.title | Introduction to the Calculus of Knowledge | en_US |
