Roberto Bagnara
Dipartimento di Matematica, Università di Parma
bagnara@cs.unipr.it
Abstract interpretation
Constraint satisfaction problems deal with the inference of hidden information.
Qualitative Temporal Reasoning: Allen 1983 finds 13 possible relations between two events A and B.
RCC8 (topology?): consistency checks about spatial relationships between objects.
Qualitative reasoning deals with incomplete knowledge, imprecision. Imprecision ≠ Uncertainty.
Emergence has to do with indetermination laws: if we measure all possible variables, then we have modified the state of the system.