Conflict Detection among Multiple Norms in Multi-Agent Systems

References

• Ahrendt, W., B. Beckert, R. Bubel, R. Hahnle, V. Klebanov, and P. H. Schmitt. 2016. The key book: Deductive software verification in practice. Cham, Switzerland: Springer International Publishing.
   Google Scholar
• Beirlaen, M., C. Straßer, and J. Meheus. 2013. An inconsistency-adaptive deontic logic for normative conflicts. Journal of Philosophical Logic 42 (2): 285–315. Springer Netherlands. doi: 10.1007/s10992-011-9221-3.
   Web of Science ®Google Scholar
• Blass, A., and Y. Gurevich. 2001. Inadequacy of computable loop invariants. ACM Transactions Computation Logic 2 (1): 1–11. New York, NY, USA: ACM. doi: 10.1145/371282.371285.
   Google Scholar
• Builder, G. P. 2015. GOLD Parsing System - Multi-Programming Language, Parser. Accessed 2015 May 15, http://www.goldparser.org/
   Google Scholar
• Cholvy, L., and F. Cuppens. 1995. Solving normative conflicts by merging roles. Proceedings of the 5th International Conference on Artificial Intelligence and Law, 201–09. ICAIL ’95. New York, NY, USA: ACM. doi:10.1145/222092.222241.
   Google Scholar
• Christelis, G., and M. Rovatsos. 2009. Automated norm synthesis in an agent-based planning environment. Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, 161–68. AAMAS ’09. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=1558013.1558035.
   Google Scholar
• Czelakowski, J. 2015. Freedom and enforcement in action: A study in formal action theory. Dordrecht, Netherlands: Springer Netherlands.
   Google Scholar
• da Silva, F., K. Viviane, T. da Silva, and C. de Oliveira Braga. 2011. Modeling norms in multi-agent systems with normML. Proceedings of the 6th International Conference on Coordination, Organizations, Institutions, and Norms in Agent Systems, 39–57. COIN@AAMAS’10. Berlin, Heidelberg: Springer-Verlag. http://dl.acm.org/citation.cfm?id=2018118.2018122.
   Google Scholar
• da Silva, V. T. 2008. From the Specification to the implementation of norms: An automatic approach to generate rules from norms to govern the behavior of agents. Autonomous Agents and Multi-Agent Systems 17(1):113–55. doi:10.1007/s10458-008-9039-8.
   Web of Science ®Google Scholar
• da Silva, V. T., and J. Zahn. 2013. Normative conflicts that depend on the domain. Coordination, Organizations, Institutions, and Norms in Agent Systems {IX} - {COIN} 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers, 311–26. doi:10.1007/978-3-319-07314-9_17.
   Google Scholar
• Elhag, A. A. O., J. A. Breuker, and B. W. Brouwer. 1999. On the formal analysis of normative conflicts. In JURIX 1999: The twelfth annual conference, eds. H. Jaap van den Herik, et al., 35–46. Frontiers in Artificial Intelligence and Applications. Nijmegen: GNI.
   Google Scholar
• Galeotti, J. P., C. A. Furia, E. May, G. Fraser, and A. Zeller. 2014. DynaMate: Dynamically inferring loop invariants for automatic full functional verification. In Hardware and software: Verification and testing: 10th International haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, ed. E. Yahav, 48–53. Cham: Springer International Publishing. doi:10.1007/978-3-319-13338-6_4.
   Google Scholar
• García-Camino, A., P. Noriega, and R.-A. Juan-Antonio. 2007. An algorithm for conflict resolution in regulated compound activities. Proceedings of the 7th International Conference on Engineering Societies in the Agents World VII, 193–208. ESAW’06. Berlin, Heidelberg: Springer-Verlag. http://dl.acm.org/citation.cfm?id=1777725.1777739.
   Google Scholar
• Kagal, L., and T. Finin. 2007. Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems 14 (2): 187–206. Kluwer Academic Publishers. doi: 10.1007/s10458-006-0013-z.
   Web of Science ®Google Scholar
• Kollingbaum, M. J., T. J. Norman, A. Preece, and D. Sleeman. 2007. norm conflicts and inconsistencies in virtual organisations. In Coordination, Organizations, Institutions, and Norms in Agent Systems II, eds. P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara, and E. Matson, vol. 4386, 245–58. Lecture Notes in Computer Science. Springer Berlin Heidelberg. doi:10.1007/978-3-540-74459-7_16.
   Google Scholar
• McNamara, P. 2014. Deontic Logic. In The stanford encyclopedia of philosophy, ed. E. N. Zalta. Winter, 201. Stanford: Metaphysics Research Lab, Stanford University.
   Google Scholar
• Meyer, B. 1997. Design by contract: Making object-oriented programs that work. {TOOLS} 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, 360. doi:10.1109/TOOLS.1997.681888.
   Google Scholar
• Morales, J., M. Lopez-Sanchez, J. A. Rodriguez-Aguilar, M. Wooldridge, and W. Vasconcelos. 2013. Automated synthesis of normative systems. Proceedings of the 2013 International Conference on Autonomous Agents and Multi-Agent Systems, 483–90. AAMAS ’13. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=2484920.2484998.
   Google Scholar
• Morales, J., M. López-Sánchez, J. A. Rodríguez-Aguilar, M. Wooldridge, and W. W. Vasconcelos. 2014. Minimality and simplicity in the on-line automated synthesis of normative systems. 109–16. AAMAS ’14, Paris, France: IFAAMAS.
   Google Scholar
• Oren, N., M. Luck, S. Miles, and T. J. Norman. 2008. An argumentation inspired heuristic for resolving normative conflict. Heidelberg, Germany: Springer-Verlag Berlin Heidelberg.
   Google Scholar
• Shoham, Y., and M. Tennenholtz. 1995. On social laws for artificial agent societies: Off-line design. Artificial Intelligence 73(1–2):231–52. doi:10.1016/0004-3702(94)00007-N.
   Web of Science ®Google Scholar
• Trypuz, R. 2013. Krister segerberg on logic of actions. Dordrecht, Netherlands: Springer Netherlands.
   Google Scholar
• Vasconcelos, W. W., M. J. Kollingbaum, and T. J. Norman. 2009. Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19(2):124–52. doi:10.1007/s10458-008-9070-9.
   Web of Science ®Google Scholar
• von Wright, G. H. 1951. Deontic Logic. Mind; a Quarterly Review of Psychology and Philosophy 60 (237): 1–15. Oxford University Press. doi:10.1093/mind/LX.237.1.
   Google Scholar
• Wooldridge, M. 2009. An introduction to multiagent systems, 2nd ed. Hoboken, New Jersey, USA: John Wiley & Sons.
   Google Scholar