This presentation is concerned with the problem of obtaining
predictable interactions between groups of agents in open environments
when individual agents do not expose their BDI logic. The most
popular
approaches to this in practise have been to model interaction protocols
and to model the deontic constraints imposed by individual agents. Both
of these approaches are appropriate and necessary but their combination
creates the practical problem of ensuring that interaction protocols
are meshed with agents that possess compatible deontic
constraints.
This is essentially an issue of property checking dynamically at
run-time. We show how model checking can be applied to this
problem.