Reasoning About Knowledge: An Overview

@inproceedings{Halpern1986ReasoningAK,
  title={Reasoning About Knowledge: An Overview},
  author={Joseph Y. Halpern},
  booktitle={TARK},
  year={1986}
}
In this overview paper, I will attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse fields as philosophy, economics, linguistics, artificial intelligence, and theoretical computer sciencce. I will briefly discuss some of the more recent work, particularly in computer science, and suggest some lines for future research. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Vardi , On epistemic logic and logical omniscience , Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge

Y. M.
1986

Werlang , On Aumann ' s notion of common knowledgean alternative approach , Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge

T. C. Tan, R. S.
1986

Modelling shared understanding

J. Barwise
unpublished manuscript • 1985
View 1 Excerpt

Situations and Attitudes

J. Barwise, J. Perry
Bradford Books, MIT Press • 1983
View 2 Excerpts

Is justified true belief knowledge

S. Goldwasser, S. Micali, C. Rackoff
We can't disagree forever, Journal of Economic Theory 28:1, • 1982

Hen&ix, Computational models of beliefs and the semantics of belief sentences, Technical Note 187

G.R.C. Moore
REASONING ABOUT KNOWLEDGE: AN OVERVIEW • 1979

Similar Papers

Loading similar papers…