Up to this point, we have detailed algorithms for
deriving summary conditions and for reasoning about potential ()
and definite (
) interactions between tasks
based on their summary information. In addition, we
have outlined algorithms for deriving summarized resource usage but
have not yet discussed how to identify solutions at abstract levels.
In this section, we show how the interactions of summary conditions
and summarized metric resource usages identify potentially resolvable
threats and unresolvable conflicts among the plans of a group
of agents.