Lógicas Não-Clássicas
Lógica Temporal
EXEMPLO
- Uma Usina Termoelétrica, deve desligar a turbina se a temperatura da caldeira baixar de um determinado valor, para que a turbina não seja destruída.
- Um Sistema Especialista que possua este conhecimento em sua base de conhecimento, percebe que a temperatura está baixando e deduz que deve desligar a turbina.
- Se a turbina está desligada então ela não será mais destruída. Ao colocar esta nova informaçao na base de conhecimento, o sistema pode deduzir que se a caldeira não será destruída, não é preciso desligar a turbina, e remove esta ação.
- Isto significa que a turbina será novamente destruída e o processo acima será repetido.