Reasoning system for Categories in AI