From human regulations to regulated software agents' behavior: Connecting the abstract declarative norms with the concrete operational implementation. A position paper

Artificial Intelligence and Law

Volumn 16, Issue 1, 2008, Pages 73-87

  Vázquez Salceda, Javier ^a   Aldewereld, Huib ^b   Grossi, Davide ^b   Dignum, Frank ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Electronic institutions; Multi agent systems; Norm enforcement; Norms

Indexed keywords

ELECTRONIC COMMERCE; LAWS AND LEGISLATION; PROBLEM SOLVING; SOCIETIES AND INSTITUTIONS; SOFTWARE AGENTS;

ELECTRONIC INSTITUTIONS; NORM ENFORCEMENT;

MULTI AGENT SYSTEMS;

EID: 43449118690     PISSN: 09248463     EISSN: 15728382     Source Type: Journal    
DOI: 10.1007/s10506-007-9057-x     Document Type: Article

References (31)

1. Alchourrón CE, Bulygin E (1986) Normative systems. Springer Verlag, Wien
2. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2002) The description logic handbook. Cambridge University Press, Cambridge
3. Boella G, van der Torre L (2004) Normative multiagent systems. In: Proceedings of trust in agent societies workshop at AAMAS'04. New York
4. Boella G, van der Torre L (2004) Fulfilling or violating norms in normative multiagent systems. In: Proceedings of IAT 2004, IEEE Computer Society, Beijing, China
5. Broersen J, Dignum F, Dignum V, Meyer J-J Ch (2004) Designing a deontic logic of deadlines. In: Proceedings of the 7th international workshop on deontic logic in computer science (DEON'04). Portugal
6. Bulygin E (1992) On norms of competence. Law Philos 11:201-216
7. Castelfranchi C, Dignum F, Jonker C, Treur J (2000) Deliberative normative agents: principles and architectures. In: Jennings N, Lesperance Y (eds) ATAL, '99 Vol 1757 of LNAI. Heidelberg, Berlin, pp 364-378
8. Dignum F (2001) Agents, Markets, Institutions, and Protocols. In: Agent mediated electronic commerce, The European AgentLink perspective, vol 1991 of LNCS. Springer, pp 98-114
9. Dignum F (2002) Abstract norms and electronic institutions. In: Proceedings of the international workshop on regulated agent-based social systems: theories and applications (RASTA '02), Bologna, pp 93-104
10. Dignum V, Dignum F (2001) Modelling agent societies: coordination frameworks and institutions. In: Brazdil P, Jorge A (eds) Progress in artificial intelligence Vol 2258 of LNAI, pp 191-204
11. Dignum F, Kinny D, Sonenberg L (2002a) From desires, obligations and norms to goals. Cognitive Sci Quart 2(3-4):407-430
12. Dignum V, Meyer J-J Ch, Dignum F, Weigand H (2002b) Formal specification of interaction in agent societies. In: 2nd goddard workshop on formal approaches to agent-based systems (FAABS). Maryland
13. Dignum F, Broersen J, Dignum V, Meyer J-J Ch (2004) Meeting the deadline: why, when and how. In: 3rd goddard workshop on formal approaches to agent-based systems (FAABS). Maryland
14. Esteva M, Padget J, Sierra C (2001) Formalizing a language for institutions and norms. In: Meyer J-J, Tambe M (eds) Intelligent agents VIII, vol 2333 of LNAI, pp 348-366
15. Esteva M, Rodríguez-Aguilar J, Rosell B, Arcos J (2004a) AMELI: An agent-based middleware for electronic institutions. In: Third international joint conference on autonomous agents and multi-agent systems. New York, US
16. Esteva M, Vasconcelos W, Sierra C, Rodríguez-Aguilar J (2004b) Verifying norm consistency in electronic institutions. In: Proceedings of the AAAI-04 workshop on agent organizations: theory and practice (AOTP). San Jose, California
17. García-Camino A, Noriega P, Rodríguez-Aguilar J (2005) Implementing norms in electronic institutions. In: Schweighofer E (ed) The 4th international joint conference on autonomous agents and multi agent systems (AAMAS-05), pp 667-673
18. Ghidini C, Giunchiglia F (2001) Local models semantics, or contextual reasoning = locality + compatibility. Artif Intell 127(2):221-259
19. Grossi D, Dignum F, Meyer J-J Ch (2006) Contextual terminologies. In: Toni F, Torroni P (eds) Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems, vol 3900 of LNAI, pp 284-302
20. Grossi D, Aldewereld H, Vázquez-Salceda J, Dignum F (2005a) Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS'05. Hatfield, England
21. Grossi D, Dignum F, Meyer J-J Ch (2005b) Contextual taxonomies. In: Leite J, Toroni P (eds) Post-proceedings of CLIMA V, 5th international workshop on computational logic in multi-agent systems, vol 3487 of LNAI, pp 33-51
22. Hart HLA (1958) Positivism and the separation of law and morality. Harvard Law Rev 71:593-629
23. Hart HLA (1994) The concept of law, 2nd ed. Oxford 1961
24. Jones AJI, Sergot M (1993) On the characterization of law and computer systems. Deontic Logic in Computer Science. John Wiley and Sons, New York, pp 275-307
25. Lomuscio A, Nute D (eds) (2004) Proceedings of the seventh international workshop on deontic logic in computer science (DEON04), vol 3065 of LNCS. Springer Verlag
26. Rodríguez-Aguilar JA (2001) On the design and construction of agent-mediated electronic institutions. Ph.D. thesis, Inst. d'Investigació en Intel.ligència Artificial
27. Ross A (1968) Directives and norms. Routledge & Kegan Paul, London
28. Searle J (1995) The construction of social reality. Free Press, New York
29. Vázquez-Salceda J (2004) The role of norms and electronic institutions in multi-agent systems. Birkäuser Verlag AG
30. Vázquez-Salceda J, Dignum F (2003) Modelling electronic organizations. In: Marik JMV, Pechoucek M (eds) Proceedings CEEMAS'03, vol 2691 of LNAI. Berlin
31. Vázquez-Salceda J, Aldewereld H, Dignum F (2004) Implementing norms in multiagent systems. In: Lindemann G, Denzinger J, Timm I, Unland R (eds) Multiagent system technologies, vol 3187 of LNAI, pp 313-327