SSP Group Meeting

11am, 25 July, 2006
Appleton 4.03
CISA, School of Informatics
University of Edinburgh

Verifying Trust in Multiagent Systems

Nardine Osman

In open and distributed systems, agents must engage in interactions of which they have no previous experience. Deontic models are widely used to describe aspects of permission, obligation, and trust anticipated by such agents, but no practical mechanism has been developed for testing deontic trust specifications against models of multi-agent interactions. In this talk, we show how our dynamic model checker may be used for verifying trust in multiagent systems.