4 ms·
It's a guide for prompting LLMs to generate Prolog for any problem that can be solved by a STRIPS-like formulation with state and robotic actions like the conta
by tannhaeuser 1y ago
It's a guide for prompting LLMs to generate Prolog for any problem that can be solved by a STRIPS-like formulation with state and robotic actions like the container packing and container shipping problems (and a few artificial ones from AI competitions). A main predicate encoding a goal selection strategy is omitted in generation and a generic one is supplied instead. The point is using language models to translate text descriptions into Prolog knowledge and state change representations guided by in-context examples, which was found to work really well in practice, and is also quite natural given Prolog's NLP roots.
- disambiguation 1y agoVery interesting, TIL about STRIPS - but if this works as well as claimed then without knowing more it seems too good to be true, and further surprising that it isn't more widely adopted. I'm curious if you have plans for this site and code, or was it your own PoC? Like I mentioned I'm curious how it would hold up to more standard benchmarks. When I finally start my own prolog journey I'll remember to revisit your site so I can fully appreciate it, nonetheless thanks for sharing and explaining.