theses/dissertations advising A Lógica Paraconsistente Anotada de Quatro Valores - LPA4v Aplicada em Sistemas de Raciocínio Baseado em Casos para o Restabelecimento de Subestações Elétricas