This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for successful applications of multiagent systems. Protocols help build multiagent systems, but traditional representations (such as finite state machines or Petri nets) inadequately model complex interactions and exceptions therein. Emerging commitment-based representations are promising, because they declaratively reflect the semantics of an interaction. However, current approaches lack a strong treatment of exceptions. This paper treats both expected and unexpected exceptions. A commitment protocol is modeled as a set of computations, each representing an allowed interaction and showing the evolving commitments of the participants. Exceptions are modeled via preference structures induced on these sets of computations. The preference structures statically show how expected exceptions are handled whereas the ...
Ashok U. Mallya, Munindar P. Singh