A rule language for modelling and monitoring social expectations in multi-agent systems

This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.Unpublished[Alberti et al., 2004] M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based software tool. In R. Trappl, editor, Cybernetics and Systems 2004, volume II, pages 570–575. Austrian Society for Cybernetics Studies, 2004. [Alur et al., 1996] R. Alur, T. Feder, and T. A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116–146, 1996. [Bacchus and Kabanza, 1998] F. Bacchus and F. Kabanza. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence, 22(1-2):5–27, 1998. [Bacchus and Kabanza, 2000] F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1-2):123–191, 2000. [Blackburn et al., 2001] P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, chapter 7, pages 436–447. Cambridge University Press, 2001. [Cliffe and Padget, 2002] O. Cliffe and J. Padget. A framework for checking agent interaction within institutions. In MoChArt [2002]. [Cortés, 2004] U. Cortés. Electronic institutions and agents. AgentLink News, 15:14–15, September 2004. [Haslum, 2002] P. Haslum. Partial state progression: An extension to the Bacchus-Kabanza algorithm, with applications to prediction and MITL consistency. In Proceedings of the Workshop on Planning via Model-Checking, Sixth International Conference on AI Planning and Scheduling, pages 64–71, 2002. [Huget et al., 2002] M.-P. Huget, M. Esteva, S. Phelps, C. Sierra, and M. Wooldridge. Model checking electronic institutions. In MoChArt [2002]. [Leite et al., 2004] J. A. Leite, A. Omicini, P. Torroni, and P. Yolum, editors. Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT 2004), Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. [Mallya et al., 2004] A. U. Mallya, P. Yolum, and M. P. Singh. Resolving commitments among autonomous agents. In Advances in Agent Communication, volume 2922 of Lecture Notes in Computer Science, pages 166–182. Springer, 2004. [MoChArt, 2002] Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence, 2002. [Verdicchio and Colombetti, 2003] M. Verdicchio and M. Colombetti. 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), pages 528–535. ACM Press, 2003. [Verdicchio and Colombetti, 2004a] M. Verdicchio and M. Colombetti. A logical model of social commitment for agent communication. In F. Dignum, editor, Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, volume 2922 of Lecture Notes in Computer Science, pages 128–145. Springer, 2004. [Verdicchio and Colombetti, 2004b] M. Verdicchio and M. Colombetti. Dealing with time in content language expressions. In Proceedings of the Workshop on Agent Communication, Third International Joint Conference on Autonomous Agents and Multiagent Systems, pages 90–104, 2004