3 ms·
Isn't the obvious approach to use thr LLM to write the code or definition for the STRIPS system and then use that system to search for the plan? Have they trie
by ilaksh 2y ago
Isn't the obvious approach to use thr LLM to write the code or definition for the STRIPS system and then use that system to search for the plan?
Have they tried that?
- pona-a 2y agoAnd there comes the fact LLMs are actually terrible at coding beyond advanced regurgitation, precisely because their single-pass architecture does not give them Turing completeness to model a Turing machine, which may also be the reason they model the full chain of cause and effect to formulate a coherent plan...
- FeepingCreature 2y agoTuring machines are an irrelevancy for programming, and LLMs can code ... not well, but at a higher level than regurgitation. ("Advanced" regurgitation can, of course, describe anything.)
- 60654 2y agoThere are people working on that! Google for LLM + PDDL. There are big problems with hallucinations because LLMs are not smart enough to know when they're starting to make mistakes. But there's lots of work in this area, and generally in different ways to nail neural and symbolic systems together.