Towards Stronger Hybrid AI:
Combining Extended Logic Programs with Natural Language and Machine Learning
Speaker: Benjamin Grosof
We are pleased to bring to your attention this Benjamin Grosof Seminar On Hybrid AI
A key challenge for AI overall is to improve neuro-symbolic AI and its super-class, hybrid AI. We discuss how and why to combine more tightly the core areas of knowledge representation & reasoning (KRR), including logic, natural language (NL), machine learning (ML), and several flavors of uncertainty. We formulate several goals for such hybrid AI, and focus on strengthening three aspects. One is expressiveness, including for complex knowledge in NL written by humans and in results produced by ML. A second aspect is scalability, including socially across a diverse set of people/organizations. A third aspect is explainability, including for non-programmers. We present our approach based on extended logic programs (ELP). The approach is largely implemented: as the ErgoAI system. The approach addresses the hybrid-AI goals to a substantial degree, but much more remains to be done. We discuss some related work, and sketch several promising future directions for the field.