Lógicas Não-Clássicas
Lógica Não Monotônicas
- Fórmulas quantificadas universalmente na l´gica de predicados são álidas para qualquer elemento do domínio, sem nenhuma exceção.
- Certas situações do mundo real (percepção, ambigüidade, senso comum, causalidade ou predição) são a tal ponto complexas, que qualquer conhecimento sobre elas será inevitavelmente incompleto.
- Um formalismo para raciocinar neste tipo de situação deve admitir expressões que sejam válidas em geral e capazes de reconhecer e assimilar exceções quando necessário.
- Neste caso, corre-se o risco de retirar conclusões anteriores face a novas informações, o que caracteriza a não-monoticidade.