Lógicas Não-Clássicas
Lógica Temporal
- Um modelo útil de tempo qualitativo é um conjunto de intervalos dos reais ou “momentos”.
- Permite expressar noções tais como “antes”, “após”, “juntar”, “sobrepor” e pode ser usada em modelagem de processo dinâmico qualitativo e em sistemas especialistas dinâmicos.
- Considerando as seguintes relações entre os momentos M(m1,m2) e N(n1,n2) onde m1, n1 são os instantes iniciais e m2, n2 os instantes finais dos momentos M e N:
Operador Temporal Condição
Igualdade M=N: m1=n1 e m2=n2
M é anterior a N: m2 < n1
M é posterior a N: m1 > n2
M é seguido por N m2 = n1
M contém N: m1 < n1 e M2 > n2