Ferramentas de IA para Modelagem Lógica