One thing we did with Zeus which remained proprietary was to build a graphplan planner to replace the STRIPS planner. This was better, but unfortunately it only

One thing we did with Zeus which remained proprietary was to build a graphplan planner to replace the STRIPS planner. This was better, but unfortunately it only shifted right by one step - very quickly we found that there were planning issues in the agent loop that were intractable. I think that SAT planners could help further, and I think that LLM's can play a role by suggesting subplans as well. We know that for closed domains like games RL based planners like Alphago can be spectacular, but for the kind of open domain reasoning that Agents have to do I don't think that there is a solution yet. Would be cockahoop if that's not true !