Qualitative Reasoning seems to be about reasoning with abstract or vague knowledge (i.e. uncertainty). I think it's only needed because there would too many models (in the logic sense) for a probable worlds approach to be feasible (the same reason why non-monotonic reasoning might be necessary... I used to not like non-monotonic reasoning: you
(
Read more... )