Knowledge and implicit knowledge in a distributed environment
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Distributed Computing
Model checking knowledge, strategies, and games in multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
| Hi-index | 0.00 |
In this work we investigate two approaches for representing and reasoning about knowledge evolution in Multi-Agent System MAS. We use the language of the Logic of Time and Knowledge TKL [5] as a specification language for the whole system, and for each agent, we use Knowledge Based Programs KBP,[4]. We propose a method to translate a a KBP system into a set of TKL formulas. The translation method presented provides an strategy to model and prove properties of MAS without being attached to local or global representations, giving the alternative to switch from one representation to another. We also present a formal model of computation to our KBP system and prove the correctness our translation function w.r.t. this model.In order to illustrate usefulness of the translation method two examples are presented: the Muddy Children Puzzle and the Bit Exchange Protocol.