The knowledge complexity of interactive proof-systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Three views of common knowledge
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Belief, awareness, and limited reasoning: preliminary report
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A model-theoretic analysis of monotonic knowledge
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Modular partial models: a formalism for context representation
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
The use of artificially intelligent agents with bounded rationality in the study of economic markets
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A Default Logic Based On Epistemic States
Fundamenta Informaticae
| Hi-index | 0.00 |
Understanding knowledge is a fundamental issue in many disciplines. In computer science, knowledge arises not only in the obvious contexts (such as knowledge-based systems), but also in distributed systems (where the goal is to have each processor "know" something, as in Byzantine agreement). A general semantic model of knowledge is introduced, to allow reasoning about statements such as "He knows that I know whether or not she knows whether or not it is raining." This approach more naturally models a state of knowledge than previous proposals (including Kripke structures). Using this notion of model, a model theory for knowledge is developed. This theory enables one to interpret such notions as a "finite amount of information" and "common knowledge" in different contexts.