What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior

This paper studies misalignment of commitments associated with temporal constraints. We propose a diagnosis algorithm where agents reason based on the current states of their commitments. We also provide an alignment policy that can be applied by an agent when the diagnosis algorithm identifies a misalignment. We formalize a delivery process from e-commerce using REC, and present a case study to demonstrate the workings of our approach.