Use Prolog to improve LLM's reasoning

So we are back to Japanese Fifth Generation plan from 1980's. :)

Watson did it too, a while back.

Missing some LISP but yeah it's funny how old things are new again (same story with wasm, RISC archs, etc.)

This time around we have all sorts of parallel processing capabilities in the form of GPUs. If I recall correctly, the Fifth Generation project envisioned highly parallel machines performing symbolic AI. From a hardware standpoint, those researchers were way ahead of their time.

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.

And they had a self-sustaining video game industry too... if only someone had had the wild thought of implementing perceptrons and tensor arithmetic on the same hardware!

and winter is coming.

For the uninitiated (like me):

The Japanese Fifth Generation Project

https://www.sjsu.edu/faculty/watkins/5thgen.htm

Indeed, modern ML has been a validation of (some of) GOFAI: https://neilmadden.blog/2024/06/30/machine-learning-and-the-...