Knowledge, consensus and communication.

Title: Knowledge, consensus and communication.
Identifier: AAI8914769
identifier: 8914769
Creator: Krasucki, Paul J.
Contributor: Adviser: Rohit Parikh
Date: 1988
Language: English
Publisher: City University of New York.
Subject: Computer Science
Abstract: We investigate what levels of knowledge of a formula are attainable in a distributed system depending on available types of communication. Systems with ability for synchronous broadcasts are investigated as well as purely asynchronous systems. Levels of knowledge are defined in a language with knowledge operators and also in a language with common knowledge operators. Characterization of attainable levels of knowledge is given extending the results of (PK1).;We also analyze systems where private information is not communicated directly. Instead, processes communicate values of a certain function. Here we give some sufficient and necessary conditions for reaching consensus between processes on the value of this function. Special consideration is given to the case when values of one-bit functions (the decision functions) are communicated. The results of (PK2) are considerably extended.
Type: dissertation
Source: PQT Legacy CUNY.xlsx
degree: Ph.D.