Specifying artificial institutions in the Event Calculus

Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models

Volumn , Issue , 2009, Pages 335-366

  Fornara, Nicoletta ^a,b   Colombetti, Marco ^a,b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77949840067     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-256-5.ch014     Document Type: Chapter

References (40)

1. Arcos, J. L., Esteva, M., Noriega, P., Rodríguez-Aguilar, J. A., & Sierra, C. (2005). Engineering open evironments with electronic institutions. Engineering applications of artificial intelligence, 18(2), 191-204.
2. Artikis, A., Sergot, M., & Pitt, J. (2002). Animated Specifications of Computational Societies. In C. Castelfranchi and W. L. Johnson, editor, AAMAS 2002, pages 535-542. ACM Press.
3. Bach, K., & Harnish, R. M. (1979). Linguistic Communication and Speech Acts. MIT Press, Cambridge, MA.
4. Boella, G., van der Torre, L. W. N., & Verhagen, H., (eds.) (2007). Normative Multi-agent Systems, 18-23 March 2007, volume 07122 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
5. Cardoso, H. L., & Oliveira, E. (2007). Institutional reality and norms: Specifying and monitoring agent organizations. International Journal of Cooperative Information Systems, 16(1), 67-95.
6. Cardoso, H. L., & Oliveira, E. C. (2004). Virtual enterprise normative framework within electronic institutions. In ESAW 2004, 14-32.
7. Cliffe, O., Vos, M. D., & Padget, J. A. (2006). Answer set programming for representing and reasoning about virtual institututions. In Inoue, K., Satoh, K., and Toni, F., (eds.), CLIMA VII, Hakodate, Japan, May 2006, volume 4371/2007 of LNCS, pages 60-79. Springer Berlin.
8. Cliffe, O., Vos, M. D., & Padget, J. (2007). Specifying and reasoning about multiple institutions. In Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., and Matson, E., editors, COIN II, volume 4386/2007 of LNCS, pages 67-85. Springer Berlin.
9. Colombetti, M. & Verdicchio, M. (2002). An analysis of agent speech acts as institutional actions. In Castelfranchi, C. and Johnson, W. L., editors, AAMAS 2002, pages 1157-1166.
10. Dignum, V., Dignum, F., & Meyer, J.-J. (2004). An agent-mediated approach to the support of knowledge sharing in organizations. Knowl. Eng. Rev., 19(2), 147-174.
11. Esteva, M., Rodríguez-Aguilar, J. A., Sierra, C., García, P., & Arcos, J. L. (2001). On the formal specification of electronic institutions. In Dignum, F. and Sierra, C., editors, Agent Mediated Electronic Commerce, The European AgentLink Perspective, volume 1991 of LNAI, pages 126-147. Springer.
12. Farrell, A. D. H., Sergot, M. J., Sallé, M., & Bartolini, C. (2005). Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems (IJCIS), 14(2-3), 99-129.
13. Finin, T., Labrou, Y., & Mayfield, J. (1997). KQML as an agent communication language. In Bradshaw, J. M., editor, Software Agents, chapter 14, pages 291-316. AAAI Press / The MIT Press.
14. FIPA (2002). Foundation for Intelligent Physical Agents (FIPA) Communicative Act Library Specification. http://www.fipa.org.
15. Fornara, N. & Colombetti, M. (2004). A commitment-based approach to agent communication. Applied Artificial Intelligence an International Journal, 18(9-10), 853-866.
16. Fornara, N. & Colombetti, M. (2007). Specifying and enforcing norms in artificial institutions. In Boella, G., van der Torre, L., and Verhagen, H., editors, Normative Multi-agent Systems, number 07122 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.
17. Fornara, N., & Colombetti, M. (2008). Formal specification of artificial institutions using the event calculus. Technical Report 5, Università della Svizzera italiana.
18. Fornara, N., Viganò, F., & Colombetti, M. (2007). Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems, 14(2), 121-142.
19. Fornara, N., Viganò, F., Verdicchio, M., & Colombetti, M. (2008). Artificial institutions: A model of institutional reality for open multiagent systems. Artificial Intelligence and Law, 16(1), 89-105.
20. García-Camino, A., Noriega, P., & Rodríguez-Aguilar, J. A. (2005). Implementing norms in electronic institutions. In AAMAS'05, pages 667-673, New York, NY, USA. ACM Press.
21. Grossi, D., Aldewereld, H., & Dignum, F. (2007). Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., and Matson, E., editors, COIN II, volume 4386 of LNCS, pages 101-114. Springer Berlin.
22. Hart, H. L. A. (1961). The Concept of Law. Clarendon Press, Oxford.
23. Hewitt, C. (1986). Offices are open systems. ACM Trans. Inf. Syst., 4(3), 271-287.
24. Kagal, L., & Finin, T. (2005). Modeling Conversation Policies using Permissions and Obligations. In van Eijk, R., Huget, M., and Dignum, F., editors, Developments in Agent Communication, volume 3396 of LNCS, pages 123-133. Springer.
25. Kowalski, R. A., & Sergot, M. J. (1986). A logicbased calculus of events. New Generation Computing, 4(1), 67-95.
26. López y López, F., Luck, M., & d'Inverno, M. (2005). A Normative Framework for Agent-Based Systems. In Proceedings of the First International Symposium on Normative Multi-Agent Systems, Hatfield.
27. Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., & Guarino, N. (2004). Social roles and their descriptions. In Dubois, D., Welty, C., and Williams, M., editors, Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, June 2-5 2004, pages 267-277.
28. Miller, R., & Shanahan, M. (2002). Some alternative formulations of the event calculus. In Kakas, A. C. and Sadri, F., editors, Computational Logic: Logic Programming and Beyond: Essay in Honour of Robert A. Kowalski, Part II, volume LNCS 2408, pages 452-490. Springer, Berlin.
29. Mueller, E. T. (2006). Commonsense Reasoning. Morgan Kaufmann, San Francisco.
30. Mueller, E. T. (2007). Event calculus. In van Hermelen, F., Lifschitz, V., and Porter, B., (eds.), Handbook of Knowledge Representation. Elsevier, Amsterdam.
31. Noriega, P. (1997). Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autnoma de Barcelona.
32. Searle, J. R. (1995). The construction of social reality. Free Press, New York.
33. Shanahan, M. (1997). Solving the Frame Problem. MIT Press, Cambridge, MA.
34. Shanahan, M. (1999). The Event Calculus Explained. In Wooldridge, M. J. & Veloso, M. M., editors, Artificial Intelligence Today: Recent Trends and Developments, volume LNCS 1600, pages 409-430. Springer, Berlin.
35. Shanahan, M. (2000). An abductive event calculus planner. Journal of Logic Programming, 44(1-3), 207-240.
36. Smith, R. G. (1980). The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, C-29(12), 1104-1113.
37. Vázquez-Salceda, J., Dignum, V., & Dignum, F. (2005). Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems, 11(3), 307-360.
38. Viganò, F., Fornara, N., & Colombetti, M. (2006). An Event Driven Approach to Norms in Artificial Institutions. In Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Simao Sichman, J., and Vázquez-Salceda, J., (eds.), COIN I, volume LNAI 3913, pages 142-154. Springer Berlin.
39. Yolum, P., & Singh, M. (2004). Reasoning about commitment in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42, 227-253.
40. Zambonelli, F., Jennings, N. R., & Wooldridge, M. (2003). Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM), 12(3), 317-370.