Reasoning about knowledge
Communicating sequential processes
Communications of the ACM
Modal logic
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Distributed Computing
Resource selection games with unknown number of players
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
| Hi-index | 0.00 |
In this paper we propose an explicit form of knowledge-based programming. Our initial motivation is the distributed implementation of game-theoretical algorithms, but we abstract away from the game-theoretical details and describe a general scenario, where a group of agents each have some initially private bits of information which they can then communicate to each other. We draw on existing literature to give a formal model using modal logic to represent the knowledge of the agents as well as how that knowledge changes as they communicate. We sketch an implementation which enables processes in a distributed system to explicitly evaluate knowledge formulae. Then we prove that the implementation captures the formal model, and therefore correctly reflects the general scenario. Finally we look at how our approach lends itself to generalisations, and discuss application perspectives.