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
Detta är relaterat till problemet med att etablera gemensam kunskap i distribuerade system REF.
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']}