←back to thread

Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)
232 points shchegrikovich | 3 comments | | HN request time: 0.311s | source
Show context
pjmlp ◴[] No.41872982[source]
So we are back to Japanese Fifth Generation plan from 1980's. :)
replies(5): >>41873176 #>>41873178 #>>41873253 #>>41873890 #>>41874052 #
tokinonagare ◴[] No.41873178[source]
Missing some LISP but yeah it's funny how old things are new again (same story with wasm, RISC archs, etc.)
replies(1): >>41873328 #
1. nxobject ◴[] No.41873328[source]
Lots of GOFAI being implemented again – decision trees, goal searching and planning, agent-based strategies... just not symbolic representations, and that might be the key. I figure you might get an interesting contribution out of skimming old AI laboratory publications and seeing whether you could find a way of implementing it through a single LLM, multiple LLM agents, methods of training, etc.
replies(2): >>41873922 #>>41874791 #
2. anthk ◴[] No.41873922[source]
https://en.m.wikipedia.org/wiki/Constraint_satisfaction_prob...
3. nmadden ◴[] No.41874791[source]
Indeed, modern ML has been a validation of (some of) GOFAI: https://neilmadden.blog/2024/06/30/machine-learning-and-the-...