First-order reasoning and planning together with fast learning from low-level data requires: "an architecturally significant weaving of neural and symbolic parts, neither of which would be sufficient to solve the problem" @Grady_Booch at least for now.
— Artur d'Avila Garcez (@AvilaGarcez) May 9, 2022