Substitution rules for the verification of norm-compliance in electronic institutions

Electronic institutions are the agents' counterpart of human organizations, which are specifically designed for providing support, trust, and legitimacy in business applications. They function in the same way our human organizations function to create trust, prevent fraud and reduce deception by verifying rules, regulations which is as a result maintaining norms and insuring that all the participants are conforming to these norms. In this paper, we propose an algorithm for norm compliance checking in electronic institutions by introducing substitution rules that map the norms set for the electronic institution as values to normative rules that can be implemented in the protocols to govern agents' interactions.