Extended Inference Modes in Reasoning by Computer Systems