Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!bellcore!ulysses!ucbvax!SU-NAVAJO.ARPA!pratt
From: pratt@SU-NAVAJO.ARPA (Vaughan Pratt)
Newsgroups: mod.ai
Subject: Seminar - Levels of Knowledge in Distributed Computing (SU)
Message-ID: <8605290032.AA08041@ucbvax.Berkeley.EDU>
Date: Tue, 27-May-86 20:52:01 EDT
Article-I.D.: ucbvax.8605290032.AA08041
Posted: Tue May 27 20:52:01 1986
Date-Received: Thu, 29-May-86 08:14:50 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 15
Approved: ailist@sri-ai.arpa

Speaker: Rohit Parikh
Date:    Thursday, June 5, 1986
Time:    9:30-10:45
Place:   MJ352
Title:   Levels of Knowledge in Distributed Computing
Abstract:
	It is well known that the notion of knowledge is a useful one for
	understanding distributed computing and in particular,
	synchronous and asynchronous communication can be distinguished
	by the possibility or impossibility of common knowledge being
	achieved. We show that knowledge of facts in distributed systems
	can be at various levels, these levels are partially ordered,
	and that a characterisation of these levels can be given which
	brings together knowledge, regular sets and well partial
	orderings (not the same as well founded partial orderings).