Norm Formation Based on Defeasible Logic

Agents are prone to constitute virtual organization in the Internet to support novel application such as grid computing. Due to autonomous nature of agent, norm must be provided to control agent´s behavior. This paper contends that norm formation process is an argumentation process, and import defeasible logic to formalize this process. Case study shows that norm can be formed in a seamless way in the framework of defeasible logic.