Norms in multiagent systems: From theory to practice

Computer Systems Science and Engineering

Volumn 20, Issue 4, 2005, Pages 225-236

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

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Multiagent systems; Norm enforcement; Vefifiability

Indexed keywords

FORMAL LOGIC; LAW ENFORCEMENT; REGULATORY COMPLIANCE; THEOREM PROVING;

AGENT PLATFORM; LOGIC THEOREM; NORM ENFORCEMENT; VERIFIABILITY;

MULTI AGENT SYSTEMS;

EID: 27644572743     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem (ALFEBIITE) http://www.iis.ee.ic.ac.ukλ∼{}alfebiite/ab-home.htm
2. Artikis, A. Executable Specification of Open Norm-Governed Computational Systems, PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London (November 2003)
3. Dignum, V and Dignum, F. Modeling agent societies: Coordination frameworks and institutions. In: P. Brazdil and A. Jorge, editors, Progress In Artificial Intelligence, LNAI 2258, Springer-Verlag (2001) 191-204
4. Esteva, M, Padget, J and Sierra, C Formalizing a language for institutions and norms. In: J.-J.Ch. Meyer and M. Tambe, editors, Intelligent Agents VIII, LNAI 2333, Springer-Verlag (2001) 348-366.
5. Lomuscio, A and Nute, A. editors Proc. of the 7th Int. Workshop on Deontic Logic in Computer Science (DEON04), LNCS 3065, Springer-Verlag (2004)
6. Dignum, F, Kinny, D and Sonenberg, L From Desires, Obligations and Norms to Goals Cognitive Science Quarterly, 2 (3-4) (2002) 407-430
7. Dignum, V, Meyer, J-J Ch, Dignum, F and Weigand, H Formal Specification of Interaction in Agent Societies 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland (October 2002)
8. Broersen, J, Dignum, F, Dignum, V and Meyer, J-J Ch Designing a Deontic Logic of Deadlines. 7th Int. Workshop on Deontic Logic in Computer Science (DEON'04), Portugal (May 2004)
9. Dignum, F, Broersen, J, Dignum, V and Meyer, J-J Ch Meeting the Deadline: Why, When and How. 3rd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland (April 2004)
10. Boella, G and van der Torre, L Fulfilling or violating norms in normative multiagent systems. Proceedings of IAT 2004, IEEE (2004)
11. Boella, G and van der Torre, L Normative multiagent systems. Proceedings of Trust in Agent Societies Workshop at AAMAS '04, New York (2004)
12. Castelfranchi, C, Dignum, F, Jonker, C and Treur, J Deliberative normative agents: Principles and architectures. In: N. Jennings and Y. Lesperance, editors, ATAL'99, LNAI 1757, Berlin Heidelberg, Springer-Verlag (2000) 364-378.
13. Lopez y Lopez, F and Luck, M Towards a Model of the Dynamics of Normative Multi-Agent Systems. In: G. Lindemann, D. Moldt, M. Paolucci and B. Yu, editors, Proc. of the Int. Workshop on Regulated Agent-Based Social Systems: Theo ries and Applications (RASTA '02), volume 318 of Mitteilung, Universitat Hamburg (2002) 175-194
14. Lopez y Lopez, F, Luck, M and d'Inverno, M A framework for norm-based inter-agent dependence. Proceedings of The Third Mexican International Conference on Computer Science, SMCC-INEGI (2001) 31-40
15. Castelfranchi, C Formalizing the informal? Dynamic social order, bottom-up social control, and spontaneous normative relations. Journal of Applied Logic, 1(1-2) (February 2003) 47-92
16. Rodriguez, J A On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d'Investigacio en Intelligencia Artificial (2001)
17. Noriega, P Agent-Mediated Auctions: The Fishmarket Metaphor PhD thesis, Inst. d'Investigacio en Intelligencia Artificial (1997)
18. Esteva, M, Rodriguez-Aguilar, J A, Rosell, B and Arcos, J L AMELI: An Agent-based Middleware for Electronic Institutions. 3rd Int. Joint Conference on Autonomous Agents and Multi-agent Systems, New York, US (July 2004)
19. Java Expert System Shell (JESS)http://herzberg.ca.sandia.gov/jess/
20. Antoniou, G Nonmonotonic Reasoning. MIT Press, Cambridge, MA (1997)
21. McCarthy, J Circumscription: A form of non-monotonic reasoning. Artificial Intelligence, 13(1-2) (1980) 27-39.
22. Lifschitz, V Circumscription. In: D. Gabbay, C. J. Hogger and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming. Clarendon Press, Oxford (1994) 297-352