Leia o texto a seguir:   O aparecimento da lógica paraconsistente somente ocorreu em 1963, com um trabalho do lógico brasileiro Newton Carneiro Aff...

Leia o texto a seguir:

O aparecimento da lógica paraconsistente somente ocorreu em 1963, com um trabalho do lógico brasileiro Newton Carneiro Affonso da Costa. Da Costa já havia exposto suas ideias sobre o conceito da contradição anteriormente, mas só em Da Costa (1963) é que ele formulou, não um sistema, mas uma hierarquia enumerável de lógicas paraconsistentes de primeira ordem, dos respectivos cálculos de descrições e um esboço de teorias paraconsistentes de conjuntos construídos sobre sua lógica. [...]

Os estudos de lógicas paraconsistentes têm sido alvo de grandes estudos da Inteligência Artificial, como por exemplo, no tratamento de bases de dados que contenham inconsistências, fundamentando procedimentos alternativos aos tradicionais no trato deste tipo de problema.

Considerando a lógica paraconsistente, avalie as afirmações abaixo.

I - Como parte das lógicas não-clássicas, temos as lógicas paraconsistentes, que divergem com as lógicas clássicas.

II - Utiliza-se, por exemplo, as lógicas paraconsistentes em um sistema de IA para operar circuitos elétricos digitais.

III - Tendo em vista que a manipulação de informações inconsistentes é importante para um sistema computacional inteligente, surgiu então a lógica paraconsistente para suprir essa necessidade.

É correto apenas o que se afirma em: