Eliciting Expectations for Monitoring Social Interactions

The use of computers to mediate social interactions (e.g. blogs, chatting, facebook, second life) creates the possibility of providing software to support social awareness in a range of ways. In this paper we focus on monitoring expectations and consider how a user who is not a programmer or logician might specify expectations to be monitored. We propose a novel approach where the user provides a collection of scenarios, and then candidate formulae are induced from the scenarios. The approach is applied to examples and appears to be promising.

[1]  David Harel,et al.  Can Programming Be Liberated , 2008 .

[2]  Stephen Cranefield,et al.  Modelling and Monitoring Social Expectations in Multi-agent Systems , 2006, COIN@AAMAS/ECAI.

[3]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[4]  Louise E. Moser,et al.  Graphical specifications for concurrent software systems , 1992, International Conference on Software Engineering.

[5]  Jaime Simão Sichman,et al.  Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms, and Institutions for ... Papers (Lecture Notes in Computer Science) , 2006 .

[6]  Koushik Sen,et al.  Program monitoring with LTL in EAGLE , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[7]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[8]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[9]  Paola Inverardi,et al.  Graphical scenarios for specifying temporal properties: an automated approach , 2007, Automated Software Engineering.

[10]  Henry Lieberman,et al.  Watch what I do: programming by demonstration , 1993 .

[11]  Víctor A. Braberman,et al.  Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.

[12]  Felix A. Fischer,et al.  Adaptiveness in Agent Communication: Application and Adaptation of Conversation Patterns , 2006, AC.

[13]  Alberto Del Bimbo,et al.  Visual specification of branching time temporal logic , 1995, Proceedings of Symposium on Visual Languages.

[14]  David Harel.  Can Programming Be Liberated, Period? , 2008, Computer.

[15]  Ulrich Endriss,et al.  Temporal Logics for Representing Agent Communication Protocols , 2006, AC.

[16]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers , 2007, AOSE.

[17]  Marco Colombetti,et al.  A logical model of social commitment for agent communication , 2003, AAMAS '03.

[18]  Michael Winikoff,et al.  Designing Institutional Multi-Agent Systems , 2006, AOSE.

[19]  Frank Dignum,et al.  Agent communication and social concepts , 2006, Autonomous Agents and Multi-Agent Systems.

[20]  Rudolf Wille,et al.  Introduction to formal concept analysis , 1996 .

[21]  Michael Winikoff,et al.  Verifying social expectations by model checking truncated paths , 2009, J. Log. Comput..