Detecting Normative Indirect Conflicts: dealing with actions and states
Resumo
Norms have been used in Multi-agent Systems to describe what agents can do, must do and cannot do. It intends to regulate the behavior of the autonomous and heterogeneous entities. One of the main issues on the specification of norms is the detection of normative conflicts. Two norms are in conflict when the fulfillment of one norm violates the other and vice-versa. Although several works have been proposed to deal with normative conflicts, the majority focuses on direct normative conflicts that occur when the norms apply to the same entity and govern the same behavior. We propose a mechanism to check indirect conflicts between norms that do not regulate exactly the same behavior but related ones. In order to do so, it is important to analyze the characteristics of the multi-agent system domain while checking for the normative conflicts. In this paper, we extend our preliminary work by identifying the relationships between actions and states, presenting the relationships that can be used to link the states of the multi-agent system and discussing the checking of indirect normative conflicts that can only be found when considering these relationships. The conflict checker is able to find out conflicts between norms that do not regulate the achievement of the same states and conflicts between norms when one regulates the achievement of a state and the other the execution of an action.Referências
Aphale, M. S., Norman, T. J., Sensoy, S., “Goal Directed Conflict Resolution and Policy Refinement,” in International Workshop on Coordination, Organisations, Institutions and Norms, 2012, pp. 87-104.
Dung, P., Sartor, G., “The modular logic of private international law,” in Artificil Intelligence and Law. Springer, 19(2-3), 2011, pp. 233-261.
Figueiredo, K., Silva, S., Braga, C., “Modeling Norms in Multi-agent Systems with Norm-ML,” in International Workshop on Coordination, Organisations, Institutions and Norms VI. LNAI 6541, Springer, 2011, pp. 39-57.
Gaertner, D., Garcia-Camino, A., Noriega, P., Vasconcelos, W., “Distributed Norm Management in Regulated Multi-agent Systems,” in International Conference on Autonomous Agents and Multiagent Systems. ACM, 2007, pp. 624-631.
Garcia-Camino, A., Noriega, P., Rodrigues-Aguilar, J., “An Algorithm for Conflict Resolution in Regulated Compound Activities,” in Engineering Societies in the Agents World VII, LNCS 4457, Springer, 2006, pp. 193-208.
Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T., “Managing Conflict Resolution in Norm-Regulated Environments,” in Engineering Societies in the Agents World VIII, LNCS 4995, Springer, 2008, pp. 55-71.
Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T., “Conflict Resolution in Norm regulated Environments via Unification and Constraints,” in Declarative Agent Languages and Technologies V, LNCS 4897, Springer, 2008, pp. 158-174.
Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J., ”Detecting Conflicts in Legal Systems. In New Frontiers in Artificial Intelligence,” LNCS 7856, Springer, pp. 174-189, 2013a.
Li, T., Balke, T., De Vos, M., Padget, J., Satoh, K., “Legal Conflict Detection in Interacting Legal Systems.” in The 26th International Conference on Legal Knowledge and Information Systems (JURIX), 2013.
Russell, Stuart J., Norvig, Peter., Artificial Intelligence: a modern approach. 3rd ed., Pearson, Upper Saddle River, New Jersey, 2010.
Silva, V., “Normative Conflicts that Depend on the Application Domain,” in International Workshop on Coordination, Organisations, Institutions and Norms, 2013, pp. 119-130.
Vasconcelos, W., Kollingbaum, M., Norman, T., “Resolving conflict and inconsistency in norm regulated virtual organizations,” in International Conference on Autonomous Agents and Multiagent Systems. ACM, 2007, pp. 632-639.
Vasconcelos, W., Kollingbaum, M., Norman, T., “Normative conflict resolution in multi-agent systems,” in Journal of Autonomous Agents and Multi-Agent Systems. ACM, 19(2), 2009, pp. 124-152.
Vasconcelos, W., Norman, T., “Contract Formation through Preemptive Normative Conflict Resolution,” in International Conference of the Catalan Association for Artificial Intelligence. ACM, 2009, pp. 179-188.
Zahn, J. O., Silva, V. T., “On the Checking of Indirect Normative Conflicts,” in: Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplicações, 2014, Porto Alegre. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplicações, 2014. p. 13-24.
Dung, P., Sartor, G., “The modular logic of private international law,” in Artificil Intelligence and Law. Springer, 19(2-3), 2011, pp. 233-261.
Figueiredo, K., Silva, S., Braga, C., “Modeling Norms in Multi-agent Systems with Norm-ML,” in International Workshop on Coordination, Organisations, Institutions and Norms VI. LNAI 6541, Springer, 2011, pp. 39-57.
Gaertner, D., Garcia-Camino, A., Noriega, P., Vasconcelos, W., “Distributed Norm Management in Regulated Multi-agent Systems,” in International Conference on Autonomous Agents and Multiagent Systems. ACM, 2007, pp. 624-631.
Garcia-Camino, A., Noriega, P., Rodrigues-Aguilar, J., “An Algorithm for Conflict Resolution in Regulated Compound Activities,” in Engineering Societies in the Agents World VII, LNCS 4457, Springer, 2006, pp. 193-208.
Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T., “Managing Conflict Resolution in Norm-Regulated Environments,” in Engineering Societies in the Agents World VIII, LNCS 4995, Springer, 2008, pp. 55-71.
Kollingbaum, M., Vasconcelos, W., Garcia-Camino, A., Norman, T., “Conflict Resolution in Norm regulated Environments via Unification and Constraints,” in Declarative Agent Languages and Technologies V, LNCS 4897, Springer, 2008, pp. 158-174.
Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J., ”Detecting Conflicts in Legal Systems. In New Frontiers in Artificial Intelligence,” LNCS 7856, Springer, pp. 174-189, 2013a.
Li, T., Balke, T., De Vos, M., Padget, J., Satoh, K., “Legal Conflict Detection in Interacting Legal Systems.” in The 26th International Conference on Legal Knowledge and Information Systems (JURIX), 2013.
Russell, Stuart J., Norvig, Peter., Artificial Intelligence: a modern approach. 3rd ed., Pearson, Upper Saddle River, New Jersey, 2010.
Silva, V., “Normative Conflicts that Depend on the Application Domain,” in International Workshop on Coordination, Organisations, Institutions and Norms, 2013, pp. 119-130.
Vasconcelos, W., Kollingbaum, M., Norman, T., “Resolving conflict and inconsistency in norm regulated virtual organizations,” in International Conference on Autonomous Agents and Multiagent Systems. ACM, 2007, pp. 632-639.
Vasconcelos, W., Kollingbaum, M., Norman, T., “Normative conflict resolution in multi-agent systems,” in Journal of Autonomous Agents and Multi-Agent Systems. ACM, 19(2), 2009, pp. 124-152.
Vasconcelos, W., Norman, T., “Contract Formation through Preemptive Normative Conflict Resolution,” in International Conference of the Catalan Association for Artificial Intelligence. ACM, 2009, pp. 179-188.
Zahn, J. O., Silva, V. T., “On the Checking of Indirect Normative Conflicts,” in: Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplicações, 2014, Porto Alegre. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplicações, 2014. p. 13-24.
Publicado
01/06/2015
Como Citar
ZAHN, Jean de Oliveira; SILVA, Viviane Torres da.
Detecting Normative Indirect Conflicts: dealing with actions and states. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 9. , 2015, Niterói/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2015
.
p. 78-89.
ISSN 2326-5434.
