University of Otago logo. Computer and Information Science Seminars

Seminar Homepage


Stephen Cranefield, Information Science Department


Modelling and monitoring social expectations by model checking observed histories


Archway 2 - 1:00 pm, Friday 23 May


An active topic in multi-agent systems (MAS) research is the adaptation of social constructs from human society, such as norms, commitments, reputation and trust, to help preserve some desired social order in societies of autonomous self-interested software agents.

In this talk I will discuss an approach to modelling conditional "social expecations" using temporal logic, and the adaptation of a model checking tool to allow the fulfilment and violation of expectations to be monitored. I will also sketch out some possible applications of this tool to computer-mediated human interactions, such as monitoring structured interactions in virtual worlds such as Second Life, and the deployment of this technology as a consumer-oriented service in next generation telecommunication networks.

Last modified: Tuesday, 20-May-2008 11:53:01 NZST

This page is maintained by the seminar list administrator.