Normative conflict resolution in multi-agent systems

Autonomous Agents and Multi-Agent Systems

Volumn 19, Issue 2, 2009, Pages 124-152

  Vasconcelos, Wamberto W ^a   Kollingbaum, Martin J ^b   Norman, Timothy J ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Detection and resolution of normative conflicts; Norms

Indexed keywords

EID: 67650067601     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-008-9070-9     Document Type: Article

References (47)

1. Alchourron, C. E., & Bulygin, E. (1981). The expressive conception of norms. In R. Hilpinen (Ed.), New studies in deontic logics (pp. 95-124). London: D. Reidel.
2. Apt, K. R. (1997). From logic programming toprolog. UK: Prentice-Hall.
3. Charalambides, M., Flegkas, P., Pavlou, G., Bandara, A., Lupu, E., Russo, A., Dulay, N., Sloman, M., & Rubio-Loyola, J. (2005). Policy conflict analysis for quality of service management. In 6th IEEE Workshop on Policies for District System & Networks (Policy 2005), June. Washington, D.C.
4. Conte, R., & Castelfranchi, C. (1995). Understanding the functions of norms in social groups through simulation. In N. Gilbert & R. Conte (Eds.), Artificial societies: The computer simulation of social life (pp. 252-267). London.: UCL Press.
5. Dignum, F. (1999). Autonomous agents with norms. Artificial Intelligence and Law, 7, 69-79.
6. Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and N-person games. Artificial Intelligence, 77(2), 321-357.
7. Elhag, A. A. O., Breuker, J. A. P. J., & Brouwer, P. W. (2000). On the formal analysis of normative conflicts. Information and Communication Technology Law, 9(3), 207-217.
8. Esteva, M. (2003). Electronic institutions: From specification to development. PhD thesis, Universitat Politècnica de Catalunya (UPC). IIIA monography, Vol. 19.
9. Fasli, M. (2006). On the relationship between roles and power: Preliminary report. In H. Haddad (Ed.), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) (pp. 313-318). Dijon, France, 23-27 April 2006. ACM.
10. Fitting, M. (1990). First-order logic and automated theorem proving. New York, USA: Springer.
11. Ford, D. N., & Sterman, J. (1997). Expert knowledge elicitation to improve mental and formal models. Technical report WP 3953-97, Sloan School of Management, MIT.
12. French, J., & Raven, B. (1956). The bases of social power. In D. Cartwright (Ed.), Studies in Social Power (pp. 150-167). Michigan, USA: University of Michigan Press.
13. Gaertner, D., García-Camino, A., Noriega, P., Rodríguez- Aguilar, J.-A., & Vasconcelos, W. W. (2007). Distributed norm management in regulated multi-agent systems. In Proceedings of the 6th International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS'07). Honolulu, Hawai'i, May.
14. García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., & Vasconcelos, W. W. (2006). A distributed architecture for norm-aware agent societies. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Proceedings of the 3rd International Worskhop on Declarative Agent Languages and Technologies (DALT 2005), Selected and Revised Papers, Lecture Notes in Computer Science (Vol. 3904, pp. 89-105). Utrecht, The Netherlands: Springer, 25 July 2005, 2006.
15. García-Camino, A., Rodríguez-Aguilar, J.-.A., Sierra, C., & Vasconcelos, W. W. (2006). A rule-based approach to norm-oriented programming of electronic institutions. ACM SIGecom Exchanges, 5(5), 33-40.
16. García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., & Vasconcelos, W. W. (2006). Constraint rulebased programming of norms for electronic institutions. Journal of Autonomous Agents & Multiagent Systems (to appear).
17. Jaffar, J., & Maher, M. J. (1.994). Constraint logic programming: A survey. Journal of Logic Programming, 19/20, 503-581.
18. Jaffar, J., Maher, M. J., Marriott, K., & Stuckey, P. J. (1998). The semantics of constraint logic programs. Journal of Logic Programming, 37(1-3), 1-46.
19. Kagal, L., & Finin, T. (2005). Modeling communicative behavior using permissions and obligations. In R Dignum, R. van Eijk, & M.-P. Huget (Eds.), Developments in Agent Communication (Vol. 3396, pp. 120-133). Springer.
20. Kagal, L., & Finin, T. (2007). Modeling conversation policies using permissions and obligations. Journal of Autonomous Agents & Multiagent Systems, 14(2), 187-206.
21. Kollingbaum, M. J., Norman, T. J., Preece, A., & Sleeman, D. H. (2006). Norm refinement: Informing the re-negotiation of contracts. In G. Boella, O. Boissier, E. Matson, & J. Vazquez-Salceda (Eds.), ECAI 2006 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@ECAI 2006 (pp. 46-51).
22. Kollingbaum, M. J., Vasconcelos, W. W., García-Camino, A., & Norman, T. J. (2008). Conflict resolution in norm-regulated environments via unification and constraints. In Proceedings of the 5th International Worskhop on Declarative Agent Languages and Technologies (DALT 2007), Selected and Revised Papers, Lecture Notes in Computer Science (Vol. 4897, pp. 158-174). Springer.
23. Kollingbaum., M. J., Vasconcelos, W. W., García-Camino, A., & Norman, T. J. (2008). Managing conflict resolution in norm-regulated environments. In Proceedings of 8th Annual International Workshop "Engineering Societies in the Agents World" (ESAW 07), Lecture Notes in Computer Science (Vol. 4995, pp. 55-7.1). Springer.
24. Leite, J. A., Alferes, J. J., & Pereira, L. M. (2001). Multi-dimensional dynamic knowledge representation, Lecture Notes in Artificial Intelligence (Vol. 2.173). Springer.
25. Makinson, D., & van der Torre, L. (2000). Input-output logics. Journal of Philosophical Logic, 29, 383-408.
26. Manna, Z. (1974). Mathematical theory of computation. Tokio, Japan: McGraw-Hill Kogakusha, Ltd.
27. McCallum, M., Vasconcelos, W. W., & Norman, T. J. (2008). Organisational change through influence. Journal of Autonomous Agents á Multiagent Systems, 17(2), 157-189.
28. Moffett, J., & Sloman, M. (1994). Policy conflict analysis in distributed systems management. Journal of Organizational Computing, 4(1), 1-22.
29. Oren, N., Luck, M., Miles, S., & Norman, T. J. (2008). An argumentation-inspired heuristic for resolving normative conflict. In Proceedings of the 5th Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN@AAMAS), Estoril, Portugal.
30. Pacheco, O., & Carmo, J. (2003). A role based model for the normative specification of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems, 6(2), 145-184.
31. Ross, A. (1958). On law and justice. Stevens & Sons.
32. Sartor, G. (1991). The structure of norm conditions and nonmonotonic reasoning in law. In Proceedings of the 3rd International Conference on Artificial Intelligence and Law ICAIL'9l (pp. 155-164). Oxford, U.K.
33. Sartor, G. (1993). A simple computational model for nonmonotonic and adversarial legal reasoning. In Proceedings of the 4th Inter-national Conference on Artificial Intelligence and Law ICAIL'93 (pp. 192-201). Amsterdam, The Netherlands.
34. Searle, J. R. (1997). The construction of social reality. Free Press, January.
35. Sergot, M. (2001). A computational theory of normative positions. ACAi Transactions on Computational Logic, 2(4), 581-622.
36. Shapiro, L., & Sterling, E. Y. (1994). The art of prolog: Advanced programming techniques. The MIT Press, April.
37. Spell, B. (2000). Professional Java programming. Wrox Press Inc.
38. Swedish Institute of Computer Science. (2005). SICStus prolog. http://www.sics.se/isl/sicstuswww/s.ite/index.html, viewed on 10 Feb 2005 at 18.16 GMT.
39. Vasconcelos, W. W. (2004). Norm verification and analysis of electronic institutions, In J. Leite, A. Omicini, P. Torroni, P. Yolum (Eds.), Selected and revised papers of the International Workshop on Declarative Agent Languages and Technologies (DALT), New York, U.S.A., July 2004. Lecture Notes in Computer Science. (Vol. 3476, pp. 166-182). Springer-Verlag.
40. Vasconcelos, W W., Esteva, M., Sierra, C., & Rodríguez- Aguilar, J. A. (2004). Verifying norm consistency in electronic institutions. In Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice (pp. 8-1.4). San José, California, USA, July 25-29 2004. Technical Report WS-04-02.
41. Vasconcelos, W. W., Kollingbaum, M. J., & Norman, T. J. (2007). Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proceedings of the 6th International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2007) (pp. 632-639). Hawai'i, U.S.A., May 2007. IFAAMAS.
42. Vasconcelos, W. W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., & Wooldridge, M. (2004). Rapid prototyping of large multi-agent systems through logic programming. Annals of Mathematics and Artificial Intelligence, 41(2-4), 135-169.
43. von Wright, G. H. (1963). Norm and action: A logical inquiry. London: Routledge and Kegan Paul.
44. von Wright, G. H. (1967). Logical studies. Routledge and Kegan Paul.
45. von Wright, G. H. (1968). An essay in deontic logic and the general theory of action. North-Holland Publishing Company, 1968.
46. White, S. M. (2006). Requirements for distributed mission-critical decision support systems. In Proceedings of the 13th Annual IEEE International Symposium & Workshop on Engineering of Computer-Based Systems (ECBS'06). Washington, D.C.
47. Wooldridge, M. (2002). An intmduction to multiagent systems. Chichester, UK: Wiley, Feb.