Eliciting expectations for monitoring social interactions

Authors:
Michael Winikoff;Stephen Cranefield
Affiliations:
School of Computer Science and Information Technology, RMIT University and University of Otago, Melbourne, Australia;Department of Information Science, University of Otago, Dunedin, New Zealand
Venue:
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Year:
2008

Citing 14
Cited 1

Graphical specifications for concurrent software systems

ICSE '92 Proceedings of the 14th international conference on Software engineering
Watch what I do: programming by demonstration

Watch what I do: programming by demonstration
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Debugging multi-agent systems using design artifacts: the case of interaction protocols

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Visual specification of branching time temporal logic

VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
A logical model of social commitment for agent communication

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Visual Timed Event Scenarios

Proceedings of the 26th International Conference on Software Engineering
Agent communication and social concepts

Autonomous Agents and Multi-Agent Systems
Graphical scenarios for specifying temporal properties: an automated approach

Automated Software Engineering
Can Programming Be Liberated, Period?

Computer
Temporal Logics for Representing Agent Communication Protocols

Agent Communication II
Designing institutional multi-agent systems

AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A rule language for modelling and monitoring social expectations in multi-agent systems

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems

Policies for role maintenance through incentives: how to keep agents on track

AT'13 Proceedings of the Second international conference on Agreement Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.