AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How Hard Is This Inference Problem?
Higher order logic is an intractable, very difficult problem. About half of our effort has been to find clever ways to recoup efficiency when you have an expressive language. And the other 50, 60% has been our ontological engineers putting in knowledge. So it's almost like the Eloy and the Morlocks in H.G. Wells time machine.