Diagnostic indexes for knowledge base representation of induction machines stator short circuits