Foundations of Knowledge for Distributed Systems. Revision.

Abstract

We give a simple, yet very general definition for distributed protocols. We then define notions of knowledge and common knowledge appropriate for these protocols. We study how changes in the states of knowledge relate to more standard notions of computation. We find that by restricting our formulas to certain sets of global states we can realize different, appropriate definitions of knowledge with fundamentally different properties. Keywords: Distributed system; Logic of knowledge.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1985
Accession Number
ADA163545

Entities

People

  • Michael J. Fisher
  • Neil Immerman

Organizations

  • Yale University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Asynchronous Systems
  • Automata
  • Computations
  • Computer Science
  • Databases
  • Language
  • Machines
  • Mathematical Analysis
  • Mathematics
  • Military Research
  • Notation
  • Polynomials
  • Program Management
  • Security
  • Standards
  • Technical Information Centers

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.