The field of Knowledge Engineering has spent the last 50 years wrestling with the challenge of making formal representations worth cost.

LLMs might finally change that! 🚀

I am super excited to share a new episode of the Weaviate Podcast with Dr. Bradley Allen on Knowledge Engineering and Neurosymbolic AI! 🔠🧠

Dr. Allen brings five decades of experience working on AI systems to the podcast. The episode begins with his experience during the expert systems era and why this latest boom cycle of AI is different.

The podcast then dives into his dissertation work on Neurosymbolic AI, covering a wide range of topics from Knowledge Graphs to LLM-based Classifiers, Intensional Definitions, Theorem Provers, World Models, and more! 📚💬

Meeting Dr. Allen and discussing these topics has dramatically improved my personal appreciation for formal logic and Neurosymbolic AI. I hope you find it interesting and useful as well! Links below!👇