Programming normative artifacts with declarative obligations and prohibitions

Proceedings - 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009

Volumn 2, Issue , 2009, Pages 145-152

  Tinnemeier, N A M ^a   Dastani, M M ^a   Meyer, J J Ch ^a   Van Der Torre, L ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

ENFORCEMENT MECHANISMS; NORM ENFORCEMENT; OBSERVABLE BEHAVIOR; OPERATIONAL SEMANTICS; PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; SOFTWARE AGENTS;

LAW ENFORCEMENT;

EID: 84863403171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI-IAT.2009.144     Document Type: Conference Paper

References (20)

1. F. Dignum, "Autonomous agents with norms," AI & Law, vol. 7, pp. 69-79, 1999.
2. J.-J. C. Meyer and R. J. Wieringa, Eds., Deontic logic in computer science: normative system specification. New York, NY, USA: John Wiley & Sons, Inc., 1994.
3. H. Prakken and M. J. Sergot, "Contrary-to-duty obligations," Studia Logica, vol. 57, no. 1, pp. 91-115, 1996.
4. F. Dignum, J. Broersen, V. Dignum, and J.-J. C. Meyer, "Meeting the deadline: Why, when and how," in FAABS, 2004, pp. 30-40.
5. M. J. Sergot and R. Craven, "The deontic component of action language nc+," in DEON, 2006, pp. 222-237.
6. G. Boella, J. Broersen, and L. van der Torre, "Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations," in PRIMA. Springer, 2008, pp. 86-97.
7. F. Lopez y Lopez, M. Luck, and M. d'Inverno, "A normative framework for agent-based systems," Computational & Mathematical Organization Theory, vol. 12, no. 2-3, pp. 227-250, October 2006.
8. J. Vázquez-Salceda, H. Aldewereld, D. Grossi, and F. Dignum, "From human regulations to regulated software agents' behavior," AI & Law, vol. 16, no. 1, pp. 73-87, 2008.
9. M. Esteva, J. Rodríguez-Aguilar, B. Rosell, and J. Arcos, "Ameli: An agent-based middleware for electronic institutions," in Proc. of AAMAS'04, New York, US, 2004.
10. A. Garcia-Camino, P. Noriega, and J. A. Rodriguez-Aguilar, "Implementing norms in electronic institutions," in Proc. of AAMAS '05. New York, NY, USA: ACM, 2005, pp. 667- 673.
11. V. Silva, "From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents," JAAMAS, vol. 17, no. 1, pp. 113-155, 2008.
12. N. H. Minsky and V. Ungureanu, "Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems," ACM Trans. Softw. Eng. Methodol., vol. 9, no. 3, 2000.
13. N. Fornara and M. Colombetti, "Specifying and enforcing norms in artificial institutions," in Proc. of DALT'08, 2009.
14. H. L. Cardoso and E. Oliveira, "Electronic institutions for b2b: dynamic normative environments," AI & Law, vol. 16, no. 1, pp. 107-128, 2008.
15. M. Dastani, N. A. M. Tinnemeier, and J.-J. C. Meyer, "A programming language for normative multi-agent systems," in Multi-Agent Systems: Semantics and Dynamics of Organizational Models, V. Dignum, Ed. IGI Global, 2008, ch. 16.
16. F. Meneguzzi and M. Luck, "Norm-based behaviour modification in BDI agents," in Proc. of AAMAS'09, 2009.
17. G. D. Plotkin, "A structural approach to operational semantics," University of Aarhus, Tech. Rep. DAIMI FN-19, 1981.
18. R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah- Seghrouchni, Eds., Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005, vol. 15.
19. J. R. Searle, The Construction of Social Reality. Free Press, 1995.
20. N. Tinnemeier, M. Dastani, and J.-J. C. Meyer, "Roles and norms for programming agent organizations," in Proc. of AAMAS'09, 2009.