Weaviate

Dr. Bradley Allen brings five decades of AI history into a deep conversation on knowledge engineering, neurosymbolic AI, and the future of enterprise intelligence. The discussion begins with the boom-and-bust cycle of rule-based expert systems, AI winters, and why today’s large language model wave may be different. The conversation then turns to how knowledge is organized in practice, from personal piles of papers searched on demand to formal knowledge graphs built with classes, relations, ontologies, A boxes, T boxes, description logic, and subsumption-based reasoning. Allen explains why semantic web and biomedical ontology successes still leave unresolved questions about cost, maintenance, and whether LLMs can dynamically structure information in ways that preserve meaning. That leads into natural language concept definitions, LLM-based classifiers, rationales, probabilistic reasoning, and the challenge of updating classes as new edge cases emerge. From there, the focus widens to vector databases, semantic search, RAG, topic modeling, distributional semantics, and the ongoing revision required for systems that can never be “once and done.” Allen connects modern LLM behavior to the long history of formal languages, from Frege, Russell, Wittgenstein, Turing, and Gödel to theorem proving, soundness, completeness, paraconsistency, paracompleteness, and the pragmatic tradition of meaning through use. The closing stretch explores world models, reinforcement learning, tool-using agents, enterprise knowledge workflows, role-based access control, governance, normativity, and alignment, ending on the need to build accountable AI systems that channel powerful technology toward responsible outcomes. Links: Neurosymbolic Knowledge Engineering with Natural Language, a Ph.D. Dissertation by Bradley P. Allen: https://philpapers.org/archive/ALLNKE.pdf Chapters 0:00 Welcome Dr. Allen! 0:45 A Postmortem of Expert Systems 4:46 AI Winters 8:54 Personal Knowledge Engineering 14:14 Knowledge Graphs 23:32 Distributional Semantics 37:36 Formal Languages and Theorem Proving 51:51 World Models 58:51 Exciting Directions for AI

▬▬▬▬▬▬▬▬▬▬▬▬ CONNECT WITH US ▬▬▬▬▬▬▬▬▬▬▬▬ - Visit http://weaviate.io/ - Star us on GitHub https://github.com/weaviate/weaviate - Stay updated and subscribe to our newsletter: https://newsletter.weaviate.io/ - Try out Weaviate Cloud for free here: https://console.weaviate.cloud/ Got a question? - Forum: https://forum.weaviate.io/ Connect with us on - Twitter: https://twitter.com/weaviate_io - LinkedIn: https://www.linkedin.com/company/weaviate-io/