Regulative and Constitutive Norms in Normative Multiagent Systems

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 255-265

  Boella, Guido ^a   van der Torre, Leendert ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL FRAMEWORK; MENTAL ATTITUDE; NORMATIVE MULTIAGENT SYSTEMS; NORMATIVE SYSTEM; RECURSIVE MODELING; SOCIAL REALITY;

MULTI AGENT SYSTEMS;

EID: 85052885896     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. Anderson, A. R. 1958. The logic of norms. Logic et analyse 2.
2. Biagioli, C. 1997. Towards A legal rules functional micro-ontology. In Procs. of 1st LegOnt Workshop on Legal Ontologies.
3. Boella, G., and Lesmo, L. 2002. A game theoretic approach to norms. Cognitive Science Quarterly 2(3-4):492-512.
4. Boella, G., and van der Torre, L. 2003a. Attributing mental attitudes to normative systems. In Procs. of AAMAS'03, 942-943. ACM Press.
5. Boella, G., and van der Torre, L. 2003b. Game specification in the trias politica. In Procs. of BNAIC'03.
6. Boella, G., and van der Torre, L. 2003c. Local policies for the control of virtual communities. In Procs. of IEEE/WIC Web Intelligence Conference, 161-167. IEEE Press.
7. Boella, G., and van der Torre, L. 2003d. Norm governed multiagent systems: The delegation of control to autonomous agents. In Procs. of IEEE/WIC Intelligent Agent Technology Conference, 329-335. IEEE Press.
8. Boella, G., and van der Torre, L. 2003e. Permissions and obligations in hierarchical normative systems. In Procs. of ICAIL'03, 81-82. ACM Press.
9. Boella, G., and van der Torre, L. 2003f. Rational norm creation: Attributing mental attitudes to normative systems, part 2. In Proceedings of ICAIL'03, 109-118. ACM Press.
10. Boella, G., and van der Torre, L. 2004. ∆: The social delegation cycle. In Procs. of DEON'04 Workshop.
11. Breuker, J.; Valente, A.; and Winkels, R. 1997. Legal ontologes: A functional view. In Procs. of 1st LegOnt Workshop on Legal Ontologies, 23-36.
12. Broersen, J.; Dastani, M.; Hulstijn, J.; and van der Torre, L. 2002. Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4):428-447.
13. Castelfranchi, C.; Dignum, F.; Jonker, C. M.; and Treur, J. 2000. Deliberate normative agents: Principles and architecture. In Intelligent Agents VI (ATAL-99). Springer-Verlag. 364-378.
14. Castelfranchi, C. 2000. Engineering social order. In Procs. of ESAW'00, 1-18. Springer Verlag.
15. Dellarocas, C. 2001. Negotiated shared context and social control in open multi-agent systems. In Conte, R., and Dellarocas, C., eds., Social Order in MAS. Kluwer.
16. Dennett, D. C. 1987. The Intentional Stance. Cambridge, MA: The MIT Press.
17. Dignum, F.; Morley, D.; Sonenberg, E. A.; and Cavedon, L. 2000. Towards socially sophisticated BDI agents. In Procs. of ICMAS'00, 111-118. IEEE press.
18. Gangemi, A.; Sagri, M.; and Tiscornia, D. 2003. Metadata for content description in legal information. In Procs. of LegOnt Workshop on Legal Ontologies.
19. Gelati, J.; Governatori, G.; Rotolo, N.; and Sartor, G. 2002. Declarative power, representation, and mandate. A formal analysis. In Procs. of JURIX 02. IOS press.
20. Hart, H. L. A. 1961. The Concept of Law. Oxford: Clarendon Press.
21. Jones, A., and Carmo, J. 2001. Deontic logic and contrary-to-duties. In Gabbay, D., ed., Handbook of Philosophical Logic. Kluwer. 203-279.
22. Jones, A., and Sergot, M. 1996. A formal characterisation of institutionalised power. Journal of IGPL 3:427-443.
23. Lang, J.; van der Torre, L.; and Weydert, E. 2002. Utilitarian desires. Autonomous Agents and Multi-agent Systems 329-363.
24. Lopez y Lopez, F.; Luck, M.; and d'Inverno, M. 2001. A framework for norm-based inter-agent dependence. In Procs. of 13rd Mexican International Conference on Computer Science, 31-40.
25. Lopez y Lopez, F.; Luck, M.; and d'Inverno, M. 2002. Contraining autonomy through norms. In Procs. of AAMAS'02, 674-681. ACM press.
26. Makinson, D., and van der Torre, L. 2000. Input-output logics. Journal of Philosophical Logic 29:383-408.
27. Makinson, D., and van der Torre, L. 2001. Constraints for input-output logics. Journal of Philosophical Logic 30(2):155-185.
28. Neal, S.; Cole, J.; Linington, P. F.; Milosevic, Z.; Gibson, S.; and Kulkarni, S. 2003. Identifying requirements for business contract language: a monitoring perspective. In Procs. of EDOC'03, 50-62. IEEE press.
29. Rao, A. S., and Georgeff, M. P. 1998. Decision procedures for BDI logics. Journal of Logic and Computation 8(3):293-343.
30. Ruiter, D. 1997. A basic classification of legal institutions. Ratio Juris 10(4):357-371.
31. Sadighi Firozabadi, B., and Sergot, M. 1999. Power and permission in security systems. In Security Protocols. Springer Verlag. 48-53.
32. Searle, J. 1969. Speech Acts: an Essay in the Philosophy of Language. Cambridge, England: Cambridge University Press.
33. Searle, J. 1995. The Construction of Social Reality. New York: The Free Press.
34. Tuomela, R. 1995. The Importance of Us: A Philosophical Study of Basic Social Notions. Standford: Stanford University Press.
35. van der Torre, L., and Tan, Y. 1999. Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27:49-78.