Knowledge = Observation + Memory + Computation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Knowledge = Observation + Memory + Computation

Résumé

We compare three notions of knowledge in concurrent system: mem-oryless knowledge, knowledge of perfect recall, and causal knowledge. Mem-oryless knowledge is based only on the current state of a process, knowledge of perfect recall can take into account the local history of a process, and causal knowledge depends on the causal past of a process, which comprises the information a process can obtain when all processes exchange the information they have when performing joint transitions. We compare these notions in terms of knowledge strength, number of bits required to store this information, and the complexity of checking if a given process has a given knowledge. We show that all three notions of knowledge can be implemented using finite memory. Causal knowledge proves to be strictly more powerful than knowledge with perfect recall , which in turn proves to be strictly more powerful than memoryless knowledge. We show that keeping track of causal knowledge is cheaper than keeping track of knowledge of perfect recall.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
GPS15.pdf (386.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01245016 , version 1 (16-12-2015)

Identifiants

Citer

Blaise Genest, Doron Peled, Sven Schewe. Knowledge = Observation + Memory + Computation. FoSSaCS 2015, 2015, London, United Kingdom. pp.215-229, ⟨10.1007/978-3-662-46678-0_14⟩. ⟨hal-01245016⟩
582 Consultations
210 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More