Tomáš Frydrych

ÚvodČlánek se zabývá znalostmi v

asynchronních distribuovaných systémech

Autoři představují nové pojetí definice souběžné znalosti (concurrent knowledge), založené na dvou-dimenzionální logice

Hlavní myšlenka je ukázána na příkladě třech vzájemně komunikujících agentů

Souběžná znalost (Concurrent knowledge)

„ Common knowledge occurs when everybody knows and everybody knows that everybody knows and everybody knows that everybody knows that everybody knows, and so forth“

Souběžná znalost v asynchronních distribuovaných systémechAsynchronní distribuovaný systém:

Množina vzájemně komunikujících agentů Pro posílání/přijímaní zpráv používají agenti stejný

distribuovaný algoritmus Různá rychlost doručení zprávy, znamená různé „běhy“

algoritmu Zprávy v systému jsou reprezentovány událostmi

Definice:událost (event) e =[ai, si si’,m,M], kde

ai – agent i pro kterého nastala událost si – stav agenta předcházející události si’ – stav agenta po události m – zpráva přijata agentem i M – množina zpráv odeslaných agentem i

Souběžná znalost v asynchronních distribuovaných systémech

Autoři uvažují následující systém pro výpočet asynchronního distribuovaného algoritmu:Množina agentůMnožina R asynchronních běhů algoritmuMnožina E událostí ve všech bězích algoritmuMnožina C consistent cuts ve všech bězích

algoritmu

Souběžná znalost v asynchronních distribuovaných systémech

PIF (Propagation of Information with Feedback) algoritmus:

a1

a3

a2

běh algoritmu r

Souběžná znalost v asynchronních distribuovaných systémechConsistent cut:

a1

a3

a2

EP(r) EF(r)

běh algoritmu r

Souběžná znalost v asynchronních distribuovaných systémechSouběžná znalost:

Založena na schopnosti agentů „pamatovat si minulost“

Zaveden pojem agent’s past vision: množina událostí daného agenta patřící do Ep

Definice:Nechť (r, c) je stav reprezentující řez c a běh

algoritmu r. Pokud α je DUF, potom agent i má souběžnou znalost o α v (r, c), když α je pravdivá ve všech stavech, kde má agent stejnou past vision jako v (r, c).

Dvou-dimenzionální logika pro souběžnou znalost

Dvou-dimenzionální sémantika, protože formule je ohodnocována v (r, c)první dimenze představuje běh algortimudruhá dimenze představuje consistent cut

Pro ohodnocování formulí v této dvou-dimenzionální logice autoři představují vlastní důkazový systém S2M

Závěr

Článek představuje novou interpretaci souběžných znalostí založených na agent’s past vision a důkazový systém systém S2

m pro dvou-dimenzionální logiku.

V závěru je uveden poměrně rozsáhlý příklad použití na vzájemné komunikaci třech agentů.