A lógica de primeira ordem permite que dados numéricos e não numéricos sejam tratados através de modelos lógicos. Por sua vez, a aprendizagem indutiva procura, através de classes,