Anzeige
Erschienen in:
2014 | OriginalPaper | Buchkapitel
Common Knowledge Semantics of Armstrong’s Axioms
verfasst von : Zachary Heckle, Pavel Naumov
Erschienen in: Logic, Language, Information, and Computation
Verlag: Springer Berlin Heidelberg
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
Armstrong’s axioms were originally proposed to describe functional dependency between sets of attributes in relational databases. The database semantics of these axioms can be easily rephrased in terms of distributed knowledge in multi-agent systems. The paper proposes alternative semantics of the same axioms in terms of common knowledge. The main technical result of this work is soundness and completeness of Armstrong’s axioms with respect to the proposed semantics. An important implication of this result is an unexpected duality between notions of distributed and common knowledge.