Formalization of two Puzzles Involving Knowledge

McCarthy, John (1987) Formalization of two Puzzles Involving Knowledge. [Preprint]

Full text available as:

[img] Postscript


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


Repository Staff Only: item control page