https://www.passeidireto.com/pergunta/132154363/qual-o-objetivo-da-inferencia-em-logica-de-primeira-ordem-na-inteligencia-artifi