Sammanfattning av denna webbsida: Att resonera om kunskap verkar spela en grundläggande roll i distribuerade system. Ett sådant resonemang är i själva verket en central del av de informella intuitiva argument som används vid utformningen av distribuerade protokoll. Kommunikation i ett distribuerat system kan ses som en handling av att förändra systemets tillstånd av kunskap. I detta dokument presenteras en allmän ram för formalisering och resonemang om kunskap i distribuerade system. Vi hävdar att kunskap om grupper av processorer är användbara begrepp för utformning och analys av distribuerade protokoll. I synnerhet, distribuerad kunskap motsvarar kunskap som "distribueras" bland medlemmarna i gruppen, medan gemensam kunskap motsvarar ett faktum som är "allmänt känt". Förhållandet mellan gemensam kunskap och en mängd önskvärda åtgärder i ett distribuerat system illustreras. Dessutom har det visat sig att man formellt sett inte kan uppnå gemensam kunskap i praktiska system. Ett antal svagare varianter av gemensam kunskap som är möjliga att uppnå i många fall av intresse introduceras och undersöks. * Detta är en reviderad och utökad version av ett papper med samma titel som först dök upp i
Halpern och Moses REF introducerade den för distribuerad databehandling, visade dess koppling till simultanitet, och definierade svagare varianter av gemensam kunskap som motsvarar "tillnärmningar" av simultanitet.
Knowledge and common knowledge in a distributed environment
{'venue': 'Journal of the ACM 37:3, 1990, pp. 549--587', 'journal': None, 'mag_field_of_study': ['Computer Science']}