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.