1985 | OriginalPaper | Buchkapitel
Towards a Theory of Knowledge and Ignorance: Preliminary Report
verfasst von : Joseph Y. Halpern, Yoram Moses
Erschienen in: Logics and Models of Concurrent Systems
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Communication in a distributed system changes the state of knowledge of the processors. But what is a state of knowledge? Here we attempt to characterize this notion. In the case where an agent’s information is completely described by a formula, we give a number of equivalent ways to characterize the agent’s state of knowledge, as well as an algorithm for computing the formulas that are true in this state. The relationship between this work and related works by Stark, Konolige, and Moore is discussed.