next up previous
Next: 4.1 Threats on Summary Up: Abstract Reasoning for Planning Previous: 3.5.2 Resource Summarization Algorithm

4 Identifying Abstract Solutions

Up to this point, we have detailed algorithms for deriving summary conditions and for reasoning about potential ($may$) and definite ($must$) 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.


Bradley Clement 2006-12-29