Lots to be represented as knowledge

• Web Services
• Ontologies
• Rules
• Facts
• workflow

Good news

• Not Expert Systems
• Control not implicit in rules/facts
• ATP guarantees completeness, soundness of operator search
• Replanning incremental, managed
• Interactive help from user ok

Bad news - computational logic
programming infrastructure inadequate
but mitigated by Redux goal/operator structure
Need good action planning algorithms for Redux operators, with computational guarantees.