The paper addresses the task of monitoring and diagnosing the execution of a multi-agent plan (MAP) which involves actions concurrently executed by a team of cooperating agents. The paper describes a weak commitment strategy to deal with cases where observability is only partial and it is not sufficient for inferring the outcome of all the actions executed so far. The paper discusses the role of target actions in providing sufficient conditions for inferring the pending outcomes in a finite time window. The action outcome provides the basis for computing plan diagnosis and for singling out the goals which will not be achieved because of an action failure.
展开▼
