Methods for Partition of Target Systems in Qualitative Reasoning