I detta dokument 1 utvecklar vi en epistemisk logik för att specificera och resonera om informationsflödet på de underliggande kommunikationskanalerna. Genom att kombinera idéer från Dynamic Epistemic Logic (DEL) och tolkade system (IS) erbjuder våra semantik ett naturligt och snyggt sätt att modellera multiagentiska kommunikationsscenarier med olika antaganden om agenternas observationskraft. Vi relaterar vår logik till standard-DEL och IS-strategier och visar dess användning genom att studera ett telefonsamtalsscenario.
Dessutom föreslogs i REF en epistemisk logik för att resonera om informationsflödet med avseende på de underliggande kommunikationskanalerna.
Logic of Information Flow on Communication Channels
{'venue': 'DALT', 'journal': None, 'mag_field_of_study': ['Computer Science']}