McCarthy, John (1987) Formalization of two Puzzles Involving Knowledge. [Preprint]
Full text available as:
![]() |
Postscript
143Kb |
Abstract
This paper describes a formal system and uses it to express the puzzle of the three wise men and the puzzle of Mr. S and Mr. P. Four innovations in the axiomatization of knowledge were required: the ability to express joint knowledge of several people, the ability to express the initial non-knowledge, the ability to describe knowing what rather than merely knowing that, and the ability to express the change which occurs when someone learns something. Our axioms are written in first order logic and use Kripke-style possible worlds directly rather than modal operators or imitations thereof. We intend to use functions imitating modal operators and taking ``propositions'' and ``individual concepts'' as operands, but we haven't yet solved the problem of how to treat learning in such a formalism.
Item Type: | Preprint |
---|---|
Subjects: | Computer Science > Artificial Intelligence |
ID Code: | 427 |
Deposited By: | McCarthy, John |
Deposited On: | 27 Feb 1998 |
Last Modified: | 11 Mar 2011 08:53 |
Metadata
- ASCII Citation
- Atom
- BibTeX
- Dublin Core
- EP3 XML
- EPrints Application Profile (experimental)
- EndNote
- HTML Citation
- ID Plus Text Citation
- JSON
- METS
- MODS
- MPEG-21 DIDL
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Search Data Dump
- Simple Metadata
- YAML
Repository Staff Only: item control page