Abstract
This paper reports on issues confronted and solutions developed while implementing the author’s previously proposed hyMITL± logic for expressing social expectations as conditional rules. A high level overview of hyMITL± is presented, along with a discussion of new features and implementation issues. In particular, the importance of using human-oriented descriptions of time points is argued, along with the need to explicitly take time zones into consideration when defining rules, and a syntax for date/time expressions based on ISO standard 8601 is proposed. A new, more detailed, model for tracking the state of social expectations is also presented, based on the utility of enabling clients of a monitoring service to be notified of multiple instances of the violation or fulfilment of an expectation.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cortés, U.: Electronic institutions and agents. AgentLink News 15, 14–15 (2004)
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)
Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116, 123–191 (2000)
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)
Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
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)
Miller, R., Shanahan, M.: The event-calculus in classical logic - alternative axiomatizations. Electronic Transactions on Artificial Intelligence 3, 77–105 (1999)
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)
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)
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)
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)
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, New York (2002)
IIIA-CSIC: Electronic Institutions Development Environment Web site (accessed 2006-02-01), http://e-institutions.iiia.csic.es/software.html
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)
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)
Wikipedia: ISO 8601 (accessed 2006-02-01), http://en.wikipedia.org/wiki/ISO_8601
Klyne, G., Newman, C.: Date and time on the internet: Timestamps. Request for Comments 3339. The Internet Society (2002)
W3C: XML schema part 2: Datatypes 2nd edn. (2004), http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/
Joda.org: Joda Time - Java date and time API (accessed 2006-02-01), http://joda-time.sourceforge.net/
Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence 18, 853–866 (2004)
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)
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)
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)
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 (2006)
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 (2006)
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)
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: AAMAS 2003. Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 528–535. ACM Press, New York (2003)
Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43, 116–146 (1996)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, pp. 436–447. Cambridge University Press, Cambridge (2001)
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)
Stratulat, T., Clerin-Debart, F., Enjalbert, P.: Temporal reasoning: an application to normative systems. In: TIME 2001. Proceedings of the 8th International Symposium on Temporal Representation and Reasoning, pp. 41–47. IEEE Computer Society Press, Los Alamitos (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cranefield, S. (2007). Modelling and Monitoring Social Expectations in Multi-agent Systems. In: Noriega, P., et al. Coordination, Organizations, Institutions, and Norms in Agent Systems II. COIN 2006. Lecture Notes in Computer Science(), vol 4386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74459-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-74459-7_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74457-3
Online ISBN: 978-3-540-74459-7
eBook Packages: Computer ScienceComputer Science (R0)