Análise de Conceitos Formais para Verificação de Pragas e Doenças de Cultivos Usando Métodos de Aprendizado de Máquina | Synapse