Ontological aspects of the implementation of norms in agent-based electronic institutions

Computational and Mathematical Organization Theory

Volumn 12, Issue 2-3 SPEC. ISS., 2006, Pages 251-275

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

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Agents; Context; Institution; Norms; Ontology

Indexed keywords

ABSTRACT CONCEPT; AGENT DOMAINS; CONCRETE APPLICATIONS; CONTEXT; CONTEXTUAL ONTOLOGIES; ELECTRONIC INSTITUTIONS; NORMATIVE SYSTEM; NORMS;

AGENTS; CONCRETES; MACHINERY; MULTI AGENT SYSTEMS; ONTOLOGY;

SOCIETIES AND INSTITUTIONS;

EID: 33747008479     PISSN: 1381298X     EISSN: 15729346     Source Type: Journal    
DOI: 10.1007/s10588-006-9546-6     Document Type: Article

References (46)

1. Akman V, Surav M (1996) Steps toward Formalizing Context. AI Magazine 17(3):55-72
2. Alchourrón CE Bulygin E (1986) Normative Systems, Wien, Springer Verlag
3. Anderson A (1957) The Formal Analysis of Normative Concepts. Amer Sociol Rev 22:9-17
4. Anderson A (1958) A reduction of deontic logic to alethic modal logic. Mind 22:100-103
5. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2002) The Description Logic Handbook. Cambridge University Press, Cambridge
6. Benerecetti M, Bouquet P, Ghidini C (2000) Contextual reasoning distilled. J Exper Theor Art Intell (JETAI) 12(3):279-305
7. Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge University Press, Cambridge
8. Boella G, van der Torre L (2004) Regulative and Constitutive Norms in Normative Multiagent Systems. In: Proceedings of KR2004, Whistler, Canada, pp 255-266
9. Broersen J, Dignum F, Dignum V, Meyer J-JC (2004) Designing a Deontic Logic of Deadlines. In: 7th Int. workshop on deontic logic in computer science (DEON '04), Portugal
10. Bulygin E (1992) On Norms of Competence. Law and Philosoph 11:201-216
11. d'Altan P, Meyer J-JC, Wieringa R (1993) An Integrated Framework for Ought-to-be and Ought-to-do Constraints. In: Tan YH (ed) Working papers of the workshop om deontic and non-monotonic logics, Rotterdam, pp 14-45
12. 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
13. Dignum F, Kinny D, Sonenberg L (2002) From Desires, Obligations and Norms to Goals. Cogn Sci Quart 2(3-4):407-430
14. Dignum F, Broersen J, Dignum V, Meyer J-JCh (2004) Meeting the deadline: Why, when and how. In: 3rd goddard workshop on formal approaches to agent-based systems (FAABS), Maryland
15. Dignum V, Meyer J-JCh, Dignum F, Weigand H (2002) Formal Specification of Interaction in Agent Societies. In: 2nd goddard workshop on formal approaches to agent-based systems (FAABS), Maryland
16. Directive ed9546 (1995) Directive 95/46CE of the European parliament and of the council of 24 October 1995 on the protection of individuals with regard to the processing of personal data and of the free movement of such data
17. Eurotransplant Eurotransplant international foundation http://www.eurotransplant.nl
18. Giunchiglia F, Bouquet P (1997) Introduction to Contextual Reasoning. Perspectives on Cognitive Science 3
19. Ghidini C, Giunchiglia F (2001) Local models semantics, or contextual reasoning = locality + compatibility. Art Intell 127(2):221-259
20. Ghidini C, Giunchiglia F (2004) A Semantics for Abstraction. In: Mántaras Rde, Saitta L (eds) Proceedings of ECAI'2004, including PAIS 2004, pp 343-347
21. Grossi D, Dignum F (2004) From Abstract to Concrete Norms in Agent Institutions. In: Hinchey MG, Rash JL, Truszkowski WF et al (eds) Formal approaches to agent-based systems: 3rd international workshop, FAABS 2004, LNCS 3228, Springer-Verlag, pp 12-29
22. Grossi D, Dignum F, Meyer J-JCh (2005a) Context in categorization. In: Proceedings of CRR '05, international workshop on context representation and reasoning, paris
23. Grossi D, Dignum F, Meyer J-JCh (2005b) Contextual taxonomies. In: Leite J, Toroni P (eds) Proceedings of CLIMA V workshop, Lisbon, September, LNAI 3487, Springer, pp 33-51
24. Grossi D, Dignum F, Meyer J-JCh (2005c) Contextual terminologies. In: Toni F Toroni P (eds) Proceedings of CLIMA VI, 6th international workshop on computational logic in multi-agent systems, London
25. Grossi D, Meyer J-JCh, Dignum F (2005d) Modal Logic Investigations in the Semantics of Counts-as. In: Proceedings of the 10th international conference on artificial intelligence and law (ICAIL '05), ACM, pp 1-9
26. Hansson B (1969) An Analysis of Some Deontic Logics. Nous (3):373-398
27. Hart HLA (1961) The concept of law. Clarendon Press, Oxford
28. Jones AJI, Sergot M (1992) Deontic Logic in the Representation of Law: towards a methodology. Art Intell Law 1
29. Jones AJI, Sergot M (1993) On the Characterization of Law and Computer Systems. Deontic Logic in Comp Sci, pp 275-307
30. Krabbendam J, Meyer J-JCh (1997) Release Logics for Temporalizing Dynamic Logic. In: Barringerand H, Fischer M, Gabbay D, Gough G (eds) Proceedings 2nd International Conference on Temporal Logic (ICTL '97), Manchester, pp 19-42
31. Krabbendam J, Meyer J-JCh (2003) Contextual Deontic Logics. In: McNamara P, Prakken H (eds) Norms, Logics and Information Systems, IOS Press, Amsterdam, pp 347-362
32. Lomuscio A, Nute D (eds) (2004) Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings. vol. 3065 of Lecture Notes in Computer Science, Springer
33. Lomuscio A, Sergot M (2003) Deontic Intepreted Systems. Studia Logica 75:63-92
34. McCarthy J (1986) Notes on Formalizing Contexts. In: Kehler T, Rosenschein S (eds) Proceedings of the 5th national conference on artificial intelligence, Los Altos, Morgan Kaufmann, California, pp 555-560
35. McCarthy J (1987) Generality in Artificial Intelligence. Communi ACM 30(12):1030-1035
36. Peczenik A (1989) On law and reason. Kluwer, Dordrecht
37. Regulation er45 (2001) Regulation (EC) No. 45/2001 of the European parliament and of the council of 18 December 2000 on the protection of individuals with regard to the processing of personal data by the Community institutions and bodies and on the free movement of such data, Official Journal of the European Communities
38. Ross A (1968) Directives and norms. Routledge, & Kegan Paul London
39. Schild K (1991) A correspondence theory for terminological logics: Preliminary report. In: Proceedings of IJCAI-91, 12th international joint conference on artificial intelligence, Sidney, AU, pp 466-471
40. Searle J (1995) The Construction of Social Reality. Free Press
41. Shoham Y (1991) Varieties of context. Academic Press Professional, Inc., pp 393-407
42. van der Torre, LWN (2003) Contextual deontic logic: Normative Agents, Violations and Independence. Annals Math Art Intelli 37(1-2):33-63
43. Vázquez-Salceda J (2004) The Role of Norms and Electronic Institutions in Multi-Agent Systems. The HARMONIA framework, Whitestein Series in Software Agent Technology, Birkhäuser Verlag
44. Vázquez-Salceda J, Aldewereld H, Dignum F (2004) Implementing Norms in Multiagent Systems. In: Lindemann G, Denzinger J, Timm I, Unland R (eds) Multagent System Technologies, LNAI 3187, Springer-Verlag, pp 313-327
45. Von Wright GH (1963) Norm and action. A logical inquiry. Routledge, London
46. Wright GHV (1951) Deontic logic. Mind 60:1-15