article.return6aeb82e7ad643 Proposta de framework formal: por uma semântica neurossimbólica híbrida Baixar Baixar PDF