Introducing Preferences into Commitment Protocols

摘要

Commitment protocols enable flexibility in agent interactions by utilizing the semantics of commitments to develop succinct declarative specifications for protocols that allow a large number of executions. As a consequence, commitment protocols enable agents to accommodate varying local policies and respond to exceptions. A consequent weakness of such protocols is that commitment protocols thus fail to distinguish between possible executions that are normal and those that may be allowed but are not ideal. This paper develops an approach for specifying preferences among executions that are allowed by a protocol. It captures sets of executions via a simple language and gives them a denota-tional characterization based on branching-time models. It shows how to incorporate the specifications into rulesets, thereby giving the specifications a natural operational characterization. The rulesets embed into a recent practical framework for protocols called OWL-P. The paper shows that the operational and denota-tional characterizations coincide.