Social knowledge in multi-agent systems