Some Applications of Planning
Deep Space One Remote Agent (NASA)
Softbots - software robots
- Internet agents, program assistants
- AI “characters” in games, entertainment
Synthesis, bug-finding (goal = undesirable state), …
Supply Chain Management --- “just-in-time” manufacturing (SAP, I2, PeopleSoft etc. $10 billion)
Proof planning in mathematical domains (Melis 1998)