On the Checking of Indirect Normative Conflicts

• Jean de Oliveira Zahn UFF
• Viviane Torres da Silva UFF

Resumo

In open multi-agent systems, norms are being used to regulate the behavior of the autonomous, heterogeneous and independently designed agents. Norms describe the behavior that can be performed, that must be performed, and that cannot be performed in the system. One of the main challenges on developing normative systems is that norms may conflict with each other. Two norms are in conflict when the fulfilment of one norm violates the other and vice-versa. The majority works that deal with the checking of normative conflicts are not able to detect conflicts that depend on how the entities are related and how the actions are connected. They are only able to detect conflicts when the two norms regulate the same behavior executed by the same entity. In this paper, we present an approach able to check for conflicts between norms that regulate the execution of different, but related action. We describe four relationships that relate the actions of a domain and present an algorithm for the checking of indirect conflicts, i.e., conflicts between norms that do not govern the behavior of the same entity and/or that do not regulate the same action.

Referências

Dung, P., Sartor, G. (2011) “The modular logic of private international law”, In: Artificial Intelligence and Law. Springer, 19(2-3), pp. 233-261.

Figueiredo, K., Silva, S., Braga, C. (2011) “Modeling Norms in Multi-agent Systems with Norm-ML”, In: International Workshop on Coordination, Organizations, Institutions and Norms VI. LNAI 6541, Springer, pp. 39-57.

Gaertner, D., Garcia-Camino, A., Noriega, P., Vasconcelos, W. (2007) “Distributed Norm Management in Regulated Multi-agent Systems”, In: International Conference on Autonomous Agents and Multiagent Systems. ACM, pp. 624-631.

Garcia-Camino, A., Noriega, P., Rodrigues-Aguilar, J. (2006) “An Algorithm for Conflict Resolution in Regulated Compound Activities”, In: Engineering Societies in the Agents World VII, LNCS 4457, Springer, pp. 193-208.

Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T. (2008a) “Managing Conflict Resolution in Norm-Regulated Environments”, In: Engineering Societies in the Agents World VIII, LNCS 4995, Springer, pp. 55-71.

Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T. (2008b) “Conflict Resolution in Norm regulated Environments via Unification and Constraints”, In: Declarative Agent Languages and Technologies V, LNCS 4897,Springer,pp.158-174.

Li, T., Balke, T., De Vos, M., Padget, J., Satoh, K. (2013a) “Legal Conflict Detection in Interacting Legal Systems”, In: The 26th International Conference on Legal Knowledge and Information Systems (JURIX).

Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. (2013b) “Detecting Conflicts in Legal Systems”, In: New Frontiers in Artificial Intelligence. LNCS 7856, Springer, pp. 174-189.

Silva, V., (2013) “Normative Conflicts that Depend on the Application Domain”, In: Int. Workshop on Coordination, Organizations, Institutions and Norms, p.p. 119-130.

Vasconcelos, W., Kollingbaum, M., Norman, T. (2007) “Resolving conflict and inconsistency in norm regulated virtual organizations”, In: International Conference on Autonomous Agents and Multiagent Systems. ACM, pp. 632-639.

Vasconcelos, W., Kollingbaum, M., Norman, T. (2009) “Normative conflict resolution in multi-agent systems”, In: Journal of Autonomous Agents and Multi-Agent Systems. ACM, 19(2), pp. 124-152.

Vasconcelos, W., Norman, T. (2009) “Contract Formation through Preemptive Normative Conflict Resolution”, In: International Conference of the Catalan Association for Artificial Intelligence. ACM, pp. 179-188.