General Lessons
Dual views: Detail reduction vs. Expert advice
- Detail reduction => hierarchical solving with promise of improved efficiency
- Expert advice implies further constraints on the solutions
Strong abstractions are rare
- Must take abstractions as advice that can be overridden
The interaction between abstraction and search mechanism
Emphasis on automatic generation of abstractions
- Need to consider utility issues
Emphasis on satisficing solutions
- Few quantitative guarantees on solution quality