La lógica matemática ha continuado siendo un área muy activa en la inteligencia artificial.