Gravar-mail: Atualização de memória na correção de erros com recurso ao paradigma de inferências pragmáticas