Modelling and monitoring social expectations in multi-agent Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4386 LNAI, Issue , 2007, Pages 308-321

  Cranefield, Stephen ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; SOCIETIES AND INSTITUTIONS;

AGENT SYSTEMS; EUROPEAN; INTERNATIONAL WORKSHOPS;

MULTI AGENT SYSTEMS;

EID: 36849025531     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74459-7_20     Document Type: Conference Paper

References (31)

1. Cortés, U.: Electronic institutions and agents. AgentLink News 15, 14-15 (2004)
2. Cranefield, S.: A rule language for modelling and monitoring social expectations in multi-agent systems. In: Boissier. O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski. S., Sichman. J.S., Vázquez-Salceda, J. (eds.) Coordination. Organizations. Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 246-258. Springer, Heidelberg (2006)
3. Bacchus. F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116, 123-191 (2000)
4. Esteva. M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos. J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1. pp. 236-243. ACM Press, New York (2004)
5. Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189-208 (1971)
6. McCarthy. J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B.. Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463-502. Edinburgh University Press (1969)
7. Miller, R., Shanahan, M.: The event-calculus in classical logic - alternative axiomatizations. Electronic Transactions on Artificial Intelligence 3, 77-105 (1999)
8. Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14, 99-129 (2005)
9. Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166-182. Springer. Heidelberg (2004)
10. Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 91-105. Springer, Heidelberg (2005)
11. Vázquez-Salceda, J., Aldewereld, H., Dignum. F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313-327. Springer, Heidelberg (2004)
12. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1045-1052. ACM Press (2002)
13. IIIA-CSIC: Electronic Institutions Development Environment Web site. Accessed 2006-02-01. http://e-institutions.iiia.csic.es/software.html
14. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In: Trappl, R., (ed.) Cybernetics and Systems, vol. II. Austrian Society for Cybernetics Studies, pp. 570-575 (2004)
15. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 89-105. Springer, Heidelberg (2006)
16. Wikipedia: ISO 8601. Accessed 2006-02-01. http://en.wikipedia.org/wiki/ ISO_8601
17. Klyne, G., Newman, C.: Date and time on the internet: Timestamps. Request for Comments 3339. The Internet Society (2002)
18. W3C: XML schema part 2: Datatypes 2nd edn. (2004), http://www.w3.org/TR/ 2004/REC-xmlschema-2-20041028/
19. Joda.org: Joda Time - Java date and time API, Accessed 2006-02-01, http://joda-time.sourceforge.net
20. Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence 18, 853-866 (2004)
21. Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235-247. Springer, Heidelberg (2002)
22. Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems 2, 217-236 (1999)
23. Kaminka, G., Pynadath, D., Tambe, M.: Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research 17, 83-135 (2002)
24. Cranefield, S.: Reliable group communication and institutional action in a multi-agent trading scenario. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2007)
25. Heard, J., Kremer, R.C.: Practical issues in detecting broken social commitments. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2007)
26. Kerjean, S., Kabanza, F., St-Denis, R., Thiébaux, S.: Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic Notes in Theoretical Computer Science 149, 91-104 (2006)
27. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 528-535. ACM Press, New York (2003)
28. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43, 116-146 (1996)
29. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, pp. 436-447. Cambridge University Press, Cambridge (2001)
30. Fisher, M., Owens, R.: From the past to the future: Executing temporal logic programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 369-380. Springer, Heidelberg (1992)
31. Stratulat, T., Clerin-Debart, F., Enjalbert, P.: Temporal reasoning: an application to normative systems. In: Proceedings of the 8th International Symposium on Temporal Representation and Reasoning (TIME 2001), pp. 41-47. IEEE Computer Society Press, Los Alamitos (2001)