Resumo
Neste projeto investigaremos sobre a aplicação de uma classe de lógicas para consistentes denominada lógicas anotadas QT para o tratamento de fenômenos significativos como os de inconsistências e para completeza em Inteligência artificial e automação em geral. Especificamente para este projeto estaremos interessados nos seguintes tópicos: investigação das teorias normativas do direito (be…