A Formal Method of Obligation Policy for Agent Interaction

Abstract

In Multi-Agent System, obligations are actions that agents are required to take or some states of affairs which should be maintained, formal modeling and verifying obligation policy which is high-level requirements specifications or communication protocol for constraining agent interaction can enhance the correctness of the system design. Therefore, in this paper a formal framework language for modeling obligation policy is introduced. In this method, the obligations are defined as a special social commitment, the state models of obligation are defined by classifying the obligation. Then we use the policy context and state model to formal the dynamic execution of obligation policy, finally the operational semantics of the framework language is defined as a state transition system which has Kripke semantic structure and it can be as formal foundation for model checking.