Diagnosis of Plan Execution and the Executing Agent -- Automatic Abstraction of