Abstract
Norms are being used in multi-agent systems as a powerful abstraction to capture social constraints. Norms regulate the behavior of the agents by describing the actions that can be performed, actions that must be performed, and actions that cannot be performed. One of the main challenges on design and implementation of normative systems is that norms may conflict with one another. Although there are several works that contribute to the checking and solving conflicts between norms, there is still a need for approaches able to check for conflicts when such conflicts are only detected when analyzing the application domain. Without considering the application domain it is not possible to identify conflicts that, for instance, regulate the execution of different, but related actions, executed by different, but related entities. In this paper we present an approach bases the checking for conflicts between the norms on the description of the application.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
By abstract action we mean the action that cannot be executed since it does only define the goals to be achieved when it is executed but no implementation is provided.
- 2.
In this paper we are not dealing with partial fulfillment.
References
Aldewereld, H., Alvarez-Napagao, S., Dignum, F., Vazquez-Salceda, J.: Making Norms Concrete. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pp. 807–814 (2010)
Deutch, M., Gerard, H.: A study of normative and informational social influence upon judgment. J. Abnorm. Soc. Psychol. 51(3), 629–636 (1955)
Dung, P., Sartor, G.: The modular logic of private international law. Artif. Intell. Law 19(2–3), 233–261 (2011)
da Silva Figueiredo, K., Torres da Silva, V., de Oliveira Braga, C.: Modeling norms in multi-agent systems with NormML. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 39–57. Springer, Heidelberg (2011)
Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)
Gaertner, D., Garcia-Camino, A., Noriega, P., Vasconcelos, W.: Distributed norm management in regulated multi-agent systems. In: 6th International Conference on Autonomous Agents and Multiagent Systems, pp. 624–631. ACM, Hawaii (2007)
GarcĂa-Camino, A., Noriega, P., RodrĂguez-Aguilar, J.-A.: An algorithm for conflict resolution in regulated compound activities. In: O’Hare, G.M., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 193–208. Springer, Heidelberg (2007)
Governatori, G.: Legal Contractions: A logical analysis. In: Proceedings of the 14th International Conference on Artificial Intelligence and Law, pp. 63–72 (2013)
Kollingbaum, M.J., Vasconcelos, W.W., GarcĂa-Camino, A., Norman, T.J.: Managing conflict resolution in norm-regulated environments. In: Artikis, A., O’Hare, G.M., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 55–71. Springer, Heidelberg (2008)
Kollingbaum, M.J., Vasconcelos, W.W., GarcĂa-Camino, A., Norman, T.J.: Conflict resolution in norm-regulated environments via unification and constraints. In: Baldoni, M., Son, T.C., van Riemsdijk, M., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 158–174. Springer, Heidelberg (2008)
Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J.: Detecting conflicts in legal systems. In: Motomura, Y., Butler, A., Bekki, D. (eds.) JSAI-isAI 2012. LNCS, vol. 7856, pp. 174–189. Springer, Heidelberg (2013)
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)
Oren, N., Luck, M., Miles, S., Norman, T.: An argumentation inspired heuristic for resolving normative conflict. In Proceedings of the International Workshop on Coordination, Organisations, Institutions and Norms in Agent Systems (COIN@AAMAS 2008) (2008)
Vasconcelos, W., Kollingbaum, M., GarcĂa-camino, A., Norman, T.: Achieving conflict freedom in norm-based societies. In: Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (2007)
Vasconcelos, W., Kollingbaum, M., Norman, T.: Resolving conflict and inconsistency in norm regulated virtual organizations. In: 6th International Joint Conference on Autonomous Agents and MultiAgent Systems, ACM (2007)
Vasconcelos, W., Kollingbaum, M., Norman, T.: Normative conflict resolution in multi-agent systems. Auton. Agent. Multi-Agent Syst. 19(2), 124–152 (2009). ACM
Vasconcelos, W., Norman, T.: Contract formation through preemptive normative conflict resolution. In: 12th International Conference of the Catalan Association for Artificial Intelligence, pp. 179–188. IOS Press (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
da Silva, V.T., Zahn, J. (2014). Normative Conflicts that Depend on the Domain. In: Balke, T., Dignum, F., van Riemsdijk, M., Chopra, A. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems IX. COIN 2013. Lecture Notes in Computer Science(), vol 8386. Springer, Cham. https://doi.org/10.1007/978-3-319-07314-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-07314-9_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07313-2
Online ISBN: 978-3-319-07314-9
eBook Packages: Computer ScienceComputer Science (R0)