Inference Definition Computer Science